A concrete instantiation of an execution of a TuringMachine.