Program that accepts a description of a Turing Machine (TM) for a decidable language and runs it on various input that the TM accepts or rejects
- Reads a formal description of a TM from a file and constructs it as a 7-tuple
- Accepts strings interactively and processes them using the TM