C++ Simulator of a Post Machine

[Alex Vinokur]

C++ Simulator of a Post Machine can be downloaded at :
* http://alexvn.freeservers.com/s1/post-m.html
* http://sourceforge.net/projects/turing-machine/

The program simulates Deterministic and Nondeterministic Multitape Post Machine.

Post Machine is defined by set of setup files.


Demo programs :
* An addition of one to a number : Deterministic, 1 tape
* An addition of two numbers : Deterministic, 1 tape
* An addition of two numbers : Deterministic, 2 tape
* A recognition of odd numbers : Deterministic, 1 tape
* A recognition of odd numbers : Nondeterminitsic, 1 tape

Source : V.A.Uspensky, "A Post Machine" (in Russian), Moscow, "Nauka", 1979.

=====================================
Alex Vinokur
mailto:[email protected]
http://mathforum.org/library/view/10978.html
news://news.gmane.org/gmane.comp.lang.c++.perfometer
=====================================