AQA A-Level Computer Science notes on computation models. Covers Turing machines, structure, transition functions, state diagrams, halting state, decision problems, and universal machines as interpreters of computation—ideal for study and exam preparation.