back to brucewatkins.org home page

Turing Machines

• Turing's original paper
• Turing Machine at Scholarpedia
• Annotated Turing (book)
• Understanding Turing's Paper (from 52 papers)
• Turing Machines at Stanford Encyclopedia of Philosophy
• Turing's Proof at Wikipedia
• TM implemented in 79 bytes of Javascript

Finite State Automata

• 1959 Paper by Rabin and Scott
• Harvard Lecture on nondeterministic finite automata
• Automata Theory at Stanford
• Stanford Automata Course Lectures
• Nondeterministic Automaton: Literature Generator