Definition
Universal Turing Machine
A Turing machine
is called universal if for all Turing machines and all it holds that: where
is the encoding (code) of a Turing machine .
Existence
Existence of Universal Turing Machine
Universal Turing machines exist (Turing 1936).
Interpreter
A universal Turing machine corresponds to an interpreter.