Turing Machine (1936, Alan Turing):

Idea: Finite State Machine that ask for as much memory as it needs. That is, finite state, but unbounded memory.

Simplest One: Change 0s to 1s in the input.

state Tape Symbol New State New tape Symbol Tape Direction
$ q$ 0 $ q$ 1 right
$ q$ 1 $ q$ 1 right
$ q$ space $ p$ space stay

Key point: Computation is local in some sense5.



bighead 2008-10-29