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:alexvn@connect.to
http://mathforum.org/library/view/10978.html
news://news.gmane.org/gmane.comp.lang.c++.perfometer
=====================================
.
|
