See TuringMachine.