First page Back Continue Last page Overview Graphics
Halting Problem
Assume that there exists a Turing-machine program, called SolvesHaltingProblem that determines for any program Example and input SampleData whether program Example halts given input SampleData