turing machines

• Methods of Proof — Diagonalization
  June 8, 2015
• Information Distance — A Primer
  December 4, 2012
• Turing Machines—A Primer
  July 4, 2011
• Determinism and Finite Automata—A Primer
  July 2, 2011
• Turing Machines and Conway's Dreams
  June 30, 2011