ComputerProgram
Last edit October 29, 2006
A concrete instantiation of an execution of a
TuringMachine
.