C++ Simulator of a Universal Turing Machine

Discussion in 'C++' started by Alex Vinokur, Dec 19, 2003.

  1. Alex Vinokur

    Alex Vinokur Guest

    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:
    http://mathforum.org/library/view/10978.html
    =====================================
     
    Alex Vinokur, Dec 19, 2003
    #1
    1. Advertising

Want to reply to this thread or ask your own question?

It takes just 2 minutes to sign up (and it's free!). Just click the sign up button to choose a username and then you can ask your own questions on the forum.
Similar Threads
  1. Alex Vinokur
    Replies:
    0
    Views:
    736
    Alex Vinokur
    Nov 12, 2003
  2. Kvele

    Turing machine

    Kvele, Jan 7, 2005, in forum: C Programming
    Replies:
    3
    Views:
    1,240
    Jack Klein
    Jan 7, 2005
  3. roxorsoxor2345

    Programming a Turing Machine

    roxorsoxor2345, Dec 15, 2006, in forum: C++
    Replies:
    1
    Views:
    495
    frame
    Dec 15, 2006
  4. Matthew Moss

    [QUIZ] The Turing Machine (#162)

    Matthew Moss, May 9, 2008, in forum: Ruby
    Replies:
    26
    Views:
    529
    Matthew Moss
    May 13, 2008
  5. Matthew Moss

    [SUMMARY] The Turing Machine (#162)

    Matthew Moss, May 15, 2008, in forum: Ruby
    Replies:
    4
    Views:
    203
    Robert Dober
    May 16, 2008
Loading...

Share This Page