Computer Program

A concrete instantiation of an execution of a TuringMachine.