AQA A2 Computing 1.4 Turing Machines Flashcards
Turing Machine
An FSM that controls one or more tapes, where at least one tape is of unbounded length
Equivalent Turning machine
All other types of computing machine are reducible to an equivalent Turning machine
Power of a Turning Machine
No physical computing device can be more powerful than a Turing machine. If a Turning machine cannot solve a yes/no problem, nor can any physical computing device
Universal Turning mchine
A UTM, U is an interpreter that reads the description of any arbitrary Turning machine M and faithfully executes operations on data D percisely as M does. For single-tape Turning machines, imagine that is written at the beginning of the tape, followed by D
Interpreter
an interpreter works its way through a set of instructions identifying the next instruction then executing it
Principle of universality
a universal machine is a machine capable of simulations any other machine