ECS 120 9a:1 halting problem definition and Turing-recognizability

From David Doty