savannah-hackers
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Savannah-hackers] submission of C++ Simulator of a Universal Turing Mac


From: alexvn
Subject: [Savannah-hackers] submission of C++ Simulator of a Universal Turing Machine - savannah.nongnu.org
Date: Mon, 22 Dec 2003 23:54:35 -0500
User-agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.0; SEARCHALOT.COM)

A package was submitted to savannah.nongnu.org
This mail was sent to address@hidden, address@hidden


Alex Vinokur <address@hidden> described the package as follows:
License: gpl
Other License: 
Package: C++ Simulator of a Universal Turing Machine
System name: utm
Type: non-GNU

Description:
The program simulates a Universal Turing Machine (UTM).

  The UTM used is a 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.

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

Sources : http://alexvn.freeservers.com/s1/utm.html


Other Software Required:


Other Comments:



_______________________________________________
  Message sent via/by Savannah
  http://savannah.nongnu.org/







reply via email to

[Prev in Thread] Current Thread [Next in Thread]