next up previous
Next: Finite Automata (chapter 2) Up: History Previous: The Chomsky Hierarchy


Turing machines

=0.4 \epsfbox{Turing.ps}

Alan Turing (1912-1954) introduced an abstract model of computation, which we call Turing machines, to give a precise definition which problems can be solved by a computer. All the machines we are introducing can be viewed as restricted versions of Turing machines.

I recommend Andrew Hodges biography Alan Turing: the Enigma.



Thorsten Altenkirch 2001-05-08