Source: cirosantilli/universal-turing-machine

= Universal Turing machine
{c}
{wiki}

A Turing machine that simulates another Turing machine/input pair that has been encoded as a string.

In other words: an <emulator>!

The concept is fundamental to state several key results in <computer science>, notably the <halting problem>.