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.


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

More information

Biography of Emil Leon Post.

Emil Leon Post, Finite Combinatory Processes - Formulation 1, Journal of Symbolic Logic, 1, 103-105, 1936. DOI: 10.2307/2269031
Note: this gives a model similar to Turing's, with infinite boxes in either direction. It says nothing like queues.

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

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

Entry modified 31 August 2023.
HTML page formatted Wed Apr 3 17:05:51 2024.

Cite this as:
"Post machine", in Dictionary of Algorithms and Data Structures [online], Paul E. Black, ed. 31 August 2023. (accessed TODAY) Available from: