SDBA §12.4 Turing Machine Simulator
Written in ANSI-C

User Guide

1. (Online) Download/Copy the compiled simulator (sample controllers and tapes included)
2. Unzip the file.
3. Click on tm.exe to run program.
4. Enter the name of a controller file. Sample controllers included in download:
   • inc.tm Incrementer in base two (12.4.1)
   • add1.tm Add 1 to number in base two (12.4.2)
   • duplicat.tm Duplicator (12.4.3)
   • twoscomp.tm Take the 2s complement of a Binary Number
   • turing1.tm Turing's first example: compute the sequence 0 1 0 1 0 1...
   • busybeav.tm Busy Beaver Two Input, 3 State Solution
5. Enter the name of the file containing the tape. Sample tape files included in download:
   • inc.tap Used with Incrementer (inc.tm), turing1.tm, busybeav.tm (Tape: S)
   • add1.tap Used with add1.tm and twoscomp.tm (Tape: 1000)
   • duplicat.tap Used with duplicat.tm (Tape: ABBA)
6. Hit return repeatedly and the simulator will run line-by-line.

Notes

1. Visit SDBA website for additional controllers.
2. 2. For a full description and explanation of Turing Machines, please see the textbook.
3. View the ANSI-C Source Code of the simulator.
4. All controllers and Tapes are written in ASCII so you can open and look at the code.