^^Turing machine.

Category theory.

Lambda calculus.

Links

scholarpedia/Turing_machine