1LAAA Turing’s Machine A mechanical formalism (1937) –State (memory), rules (program) –Tape (data) Evolutionarily successful –Beat out Church’s mathematical.