C++ Simulator of a Universal Turing Machine

[Alex Vinokur]

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


The program simulates a Universal Turing Machine (UTM).

The UTM used in the Simulator is three-tape Turing Machine:
* Tape#0 contains transition table and initial instantaneous description
of a Particular Turing Machine (TM);
* Tape#1 and Tape#2 are working UTM-tapes.

The UTM can simulate the behavior of a Multitape TM.

The package consists of two executable files :
* t2u - compiler TM-to-UTM
which translates description and input of TM to UTM-language;
t2u generates several output files, one of them is used as input of the utm.
* utm - the Simulator itself.

Detailed log file is generated.
Resources used (input size, output size, UTM-space, UTM-time) are computed as well.


Testsuites. Two Turing Machines (TM-1 and TM-2) are used to create inputs for UTM.
Each of them is an addition program which adds two numbers:
* TM-1 is one-tape TM,
* TM-2 is two-tape TM.



--
=====================================
Alex Vinokur
mailto:[email protected]
http://mathforum.org/library/view/10978.html
=====================================