Eine universelle Turingmaschine kann die Beschreibung einer Turingmaschine MMM und eine Eingabe www lesen und dann MMM auf www simulieren.
Sie formalisiert die Idee eines programmierbaren Computers.