C++ Simulator of a Post Machine

"Alex Vinokur" <alexvn@bigfoot.com>
3 Dec 2003 20:23:49 -0500

          From comp.compilers
Related articles
C++ Simulator of a Post Machine alexvn@bigfoot.com (Alex Vinokur) (2003-12-03)
| List of all articles for this month |
From: "Alex Vinokur" <alexvn@bigfoot.com>
Newsgroups: comp.compilers
Date: 3 Dec 2003 20:23:49 -0500
Organization: Compilers Central
Keywords: available, theory
Posted-Date: 03 Dec 2003 20:23:48 EST

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

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.