NIST

Post machine

Definition: (no definition here, yet, but you can help.)

Note: Similar to a Turing machine, but uses a queue instead of an infinite tape.

Implementation

Alex Vinokur's Post machine simulator (C++).

More information

Biography of Emil Leon Post.

Post, E. L., Finite Combinatory Processes - Formulation 1, Journal of Symbolic Logic, 1, 103-105, 1936.


Go to the Dictionary of Algorithms and Data Structures home page.

If you have suggestions, corrections, or comments, please get in touch with Paul E. Black.

Entry modified 23 January 2006.
HTML page formatted Tue Dec 6 16:16:32 2011.

Cite this as:
"Post machine", in Dictionary of Algorithms and Data Structures [online], Paul E. Black, ed., U.S. National Institute of Standards and Technology. 23 January 2006. (accessed TODAY) Available from: http://www.nist.gov/dads/HTML/postMachine.html

to NIST home page