Our Official Turing Machine
There are several turing machine simulators available on the web.
Our "official" TM will be one of
Java simulators for various kinds of machines
written by Eileen Head. Its syntax is based on that used by
Hopcroft and Ulman.
I have installed it on holmes, so it will be available in the Unix
Lab without additional work on your part. To use it in the Unix Lab
- If you are familiar with running java applications, here is the
info you probably want to know:
- The .class files are located in /home/rpruim/m381/classes
- The graphical simulator is TM.class
- Grader.class and QuickText.class give ascii output. These require
you to make a file (see documentation for details) containing the
inputs you want to run your machine on.
- You may need to set your CLASSPATH to reflect the location of these files.
Alternatively (and probably easier),
you can add /home/rpruim/bin to your path and use
tm, gtm, and ttm in place of TM, Grader and QuickText. These
scripts should allow you to execute the java applications from any directory.
Here are some files that may be of interest:
Local mirror of documentation. This includes links to several
sample TM files.
In case you want a local copy, all the files you need are in this
gzipped tar-ball. (Includes documentation linked above.)
Some TM code
Here are some sample Turing Machines:
Other Machine Simulators
Back to Math 381/CS 360/Phil 360 Home Page
This page maintained by:
Monday, 05-Mar-2001 10:04:57 EST
Department of Mathematics and Statistics