The Turing Machine is an abstract model of computer execution and storage introduced in 1936 by Alan Turing in On Computable Numbers, with an Application to the Entscheidungsproblem to give a mathematically precise definition of algorithm or 'mechanical procedure'. As such it is still widely used in theoretical computer science, especially in complexity theory and the theory of computation. The thesis that states that Turing machines indeed capture the informal notion of effective or mechanical method in logic and mathematics is known as Turing's thesis. |
The Turing machine is an abstract model of computer execution and storage introduced in 1936 by Alan Turing in On Computable Numbers, with an Application to the Entscheidungsproblem to give a mathematically precise definition of algorithm or 'mechanical procedure'. As such it is still widely used in theoretical computer science, especially in complexity theory and the theory of computation. The thesis that states that Turing machines indeed capture the informal notion of effective or mechanical method in logic and mathematics is known as Turing's thesis. |
A Turing Machine consists of: |
A Turing machine consists of: |