Sethi Deterministic Turing Machine Simulator is a Turing Machine Simulator that takes a text file containing the Machine's description and an input string, which consists of {0,1} and outputs a message. As a deterministic Turing Machine, not only will it reject if the transition function isn't specified for some given arguments (of the tape and state symbols), but it will also report "Invalid TM" if multiple transitions are specified for a given pair (state, tape symbol).
| Licenses | Freeware |
|---|---|
| Implementation | C++ |