Donate Share

Turing and Post Machines: C++ Simulators

Code

Programming Languages: C++

License: Common Public License 1.0

Repositories

browse code, statistics, last commit on 2003-04-23 cvs -d:pserver:anonymous@turing-machine.cvs.sourceforge.net:/cvsroot/turing-machine login

cvs -z3 -d:pserver:anonymous@turing-machine.cvs.sourceforge.net:/cvsroot/turing-machine co -P modulename

Show:

What's happening?

  • How to compile and to run TM with faults

    To compile and to run a Turing Machine with faults, failures, recovery one should do as following: 1. To download the project from http://sourceforge.net/project/showfiles.php?group_id=79519&package_id=85144 (for instance, turing-with-faults-1-0.zip) 2. unzip turing-with-faults-1-0.zip 3. cd turing-with-faults-1-0 4. cd src 5. make (or gpp *.cpp, or g++ *.cpp) 6...

    2004-05-14 18:55:44 UTC by alexvn

  • TuringMachine with faults, failures, recovery

    In contrast to practical situation an ordinary Turing Machine never fails. An attempt to describe some Turing Machine that may fail was made. Here is brief description of * Turing Machine with faults, failures and recovery and * its C++ Simulator (Beta version). http://alexvn.freeservers.com/s1/turing-s.html...

    2004-05-14 18:31:52 UTC by alexvn

  • Turing Machine (C++ Simulator) : Release 2.2

    Turing Machine (C++ Simulator) : Release 2.2 is availble at http://sourceforge.net/projects/turing-machine/.

    2004-04-18 08:20:11 UTC by alexvn

  • Universal Turing Machine (C++ Simulator) : Release 1.0

    Universal Turing Machine (C++ Simulator) : Release 1.0 is availble at http://sourceforge.net/projects/turing-machine/.

    2003-12-21 17:54:07 UTC by alexvn

  • Turing Machine with faults (C++ Simulator) : Release 1.0

    Turing Machine with faults, failures and recovery (C++ Simulator) : Release 1.0 is availble at http://sourceforge.net/projects/turing-machine/.

    2003-12-21 17:53:16 UTC by alexvn

  • Post Machine (C++ Simulator) : Release 1.2

    Post Machine (C++ Simulator) : Release 1.2 is availble at http://sourceforge.net/projects/turing-machine/.

    2003-12-21 17:51:55 UTC by alexvn

  • Turing Machine (C++ Simulator) : Release 2.1

    Turing Machine (C++ Simulator) : Release 2.1 is availble at http://sourceforge.net/projects/turing-machine/.

    2003-12-21 17:51:08 UTC by alexvn

  • C++ Simulator of a Universal Turing Machine

    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 Tu.

    2003-12-21 04:37:39 UTC by alexvn

  • C++ Simulator of a Post Machine

    C++ Simulator of a Post Machine can be downloaded at : * http://alexvn.freeservers.com/s1/post-m.html * http://sourceforge.net/projects/turing-machine/ Source of Post Machine description : * V.A.Uspensky, "A Post Machine" (in Russian), Moscow, "Nauka", 1979. The program simulates Deterministic and Nondeterministic Multitape Post Machine (PM). Detailed log file is...

    2003-12-21 04:31:54 UTC by alexvn

  • C++ Simulator of a Turing Machine

    C++ Simulator of a Turing Machine can be downloaded at : * http://alexvn.freeservers.com/s1/turing.html * http://sourceforge.net/projects/turing-machine/ The program simulates Deterministic and Nondeterministic Multitape Turing Machine (TM). Detailed log file is generated. Resources used (input size, output size, TM-space, TM-time) are computed as well. A simulated Turing machine...

    2003-12-21 04:30:15 UTC by alexvn

Our Numbers