Definition: A model of computation consisting of a finite state machine controller, a read-write head, and an unbounded sequential tape. Depending on the current state and symbol read on the tape, the machine can change its state and move the head to the left or right. Unless otherwise specified, a Turing machine is deterministic.
See also other models: cell probe model, random access machine, pointer machine, multiprocessor model, related terms: big-O notation, busy beaver, variants: alternating Turing machine, nondeterministic Turing machine, oracle Turing machine, probabilistic Turing machine, universal Turing machine.
Note: From Algorithms and Theory of Computation Handbook, page 24-19, Copyright © 1999 by CRC Press LLC. Appearing in the Dictionary of Computer Science, Engineering and Technology, Copyright © 2000 CRC Press LLC.
An article in the Stanford Encyclopedia of Philosophy.
If you have suggestions, corrections, or comments, please get in touch with Paul E. Black.
Entry modified 21 November 2005.
HTML page formatted Tue Dec 6 16:16:33 2011.
Cite this as:
Algorithms and Theory of Computation Handbook, CRC Press LLC, 1999, "Turing machine", in Dictionary of Algorithms and Data Structures [online], Paul E. Black, ed., U.S. National Institute of Standards and Technology. 21 November 2005. (accessed TODAY) Available from: http://www.nist.gov/dads/HTML/turingMachine.html