automata.TMSimulator