available: Turing Machine interpreter progarm

Thread View: comp.theory

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by David Woodruff, dsw Wed, 19 May 1993 04:45

#1944

Author: David Woodruff, dsw
Date: Wed, 19 May 1993 04:45

32 lines
2116 bytes

Hello,

I have written a turing machine interpreter with a reasonable user
interface and fair documentation.  It is available via anonymous ftp
from mitlns.mit.edu.  Copy all the files from the turing subdirectory.
You are welcome to it.  I would appreciate all and any comments and
suggestions.

With it you can create, alter and run turing machine models. 
Quintuple sets may be entered interactively or by means of an ASCII
file.  The interpreter can run 'macros', for executing frequently used 
command sequences, which may be entered interactively or by means of
file.  Both quintuple sets and macros can be saved to disk. 
Interactive help is available.

The program was written on VAX/VMS in C, but I have taken pains to be
sure that it is machine independant.  The purpose of the program was
two-fold:  to give me a tool for testing turing machines submited by
students in my discete math course, and to test some of my ideas on
what a command interface and a help utility should look like.

                                 Enjoy!
                                          David Woodruff


*******************************************************************************
"Call me Ishmael.  Some years ago-- never | David S. Woodruff  26-407
mind how long precisely-- having little   | MIT Lab for Nuclear Science
or no money in my purse, and nothing      | 77 Mass. Ave,  Cambridge MA, 02139
particular to interest me on shore, I     | (617) 253-6943
thought I would sail about a little and   |   
see the watery part of the world."        | dsw@mitlns.mit.edu   MITLNS::DSW

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads