Turing machine

The Turing Machine is an abstract machine introduced in 1936 by Alan Turing to give a mathematically precise definition of algorithm or 'mechanical procedure'. The concept is still widely used in theoretical computer science, especially in complexity theory and the theory of computation. The thesis that states that Turing machines indeed capture the informal notion of effective or mechanical method in logic and mathematics is known as the Church-Turing thesis.

Simulators

• Visual Turing Machine, a visual designer and simulator, (free software, platform independent).
• Visual Turing, a Turing machine interactive simulator/IDE (free software for Windows).
• Suzanne Britton's Turing Machine Simulator (java applet).
• C++ Simulator of a Nondeterministic and Deterministic Multitape Turing Machine (free software).
• C++ Simulator of a Universal Turing Machine (which accepts Multitape Turing Machine) (free software).
• Turing Train Terminal - A working Turing machine built out of scale trains.
• TMML - Describing a Turing Machine with XML