A turing machine that parses the formal definition to a running turing machine.