First you need to install stack. If you don't want to it is already on the cs servers.

git clone https://github.com/ethanpailes/tmi
cd tmi
stack build
cp $(stack exec which tmi) .

The last line is optional. It just copies the binary from where stack puts it to your current directory. This may take a while because stack is going to pull in a bunch of libraries. Once you have tmi built you should be able to run in with:

./tmi <args here>

For example

./tmi p3.txt 0001110000
./tmi p3.txt 0001110000 -v

Hopefully these will print Accept to the screen. If it does not one of us screwed up.

cp /h/epaile01/tmi .

I may end up fixing bugs at some point in which case I will try to update this version of the interpreter.

This is pretty hacked together so I did not polish the command line interface as much as I would have liked. Usage is as follows.

tmi <Turing machine file> <input tape> [<flag>]

Note that the arguments are fixed position and the flag must be the third argument if it exists. Here is the name of your file. It should follow the format described by the perl scrip provided by the course staff. That script is the authority. My interpreter is not affiliated with the course. is a list of symbols in Sigma. is one of two things.

-t       test. runs some fuzz tests based on the langauge we are asked
          to decide. (Disabled at Ben's request).
-v       verbose. spits out each application of delta on a seperate line.
          useful for debugging a specific input.