AQA A-level Computer Science (7517)Specification point 4.4.4.7

AQA 7517 4.4.4.7: Halting problem

The free BugBot lessons that teach this point, a robot to try it on, and the past-paper questions that test it.

Lessons that teach it

1. A6.8 Computable problems and the Halting problem Theory of computation
   Non-computable problems, the Halting problem and why it cannot be solved, and what step limits can and cannot tell you.
2. A6.10 Project: the mission robot Theory of computation
   Validate a mission with a regular expression, carry it out with a Mealy machine, and report with sets.

Try it on a robot

The task from A6.8 Computable problems and the Halting problem, running here. Change the program and press Run.

The specification is AQA's own document; this page says which of our lessons teach point 4.4.4.7 and is not endorsed by the board.