Exam-style question
Try this first
Explain why Turing machines are important in computer science. In your answer, describe what is meant by a general or formal model of computation, explain what a Universal Turing machine contributes, and relate this to the idea of computability.
Model answer
What a good answer should say
- A Turing machine is a general or formal model of computation because it describes computation using a precise set of states, symbols, tape operations, head movements and transition rules.
- This allows computational processes to be studied independently of a particular physical computer or programming language.
- A Universal Turing machine is important because it can act as a machine that carries out the instructions of other Turing machines, when their descriptions are provided as input.
- This supports the idea that one general machine can represent many different fixed programs.
Explanation
Why this works
A strong answer identifies Turing machines as a formal model rather than merely describing their physical components. It also connects the Universal Turing machine with the representation and execution of other machines, and links the model to the definition of computability.
Common mistake
No common mistake is linked to this question yet.