Definition, synonyms and related words
A Turing machine capable of simulating the behavior of any Turing machine.