15-453 Formal Languages, Automata, and Computation
Lecture 14: Turing Machines
We introduce a yet more powerful model of computation: Turing machines.
They were designed to embody the intuitive notion of what may be computed
by an algorithm. Turing machines still only have a finite number of
states, but they have an infinite tape which may be traversed in