Turing postulierte, dass alle Berechnungen und logischen Operationen von einer einzigen Maschine, der von ihm so benannten Universellen Turing-Maschine, durchgeführt werden könnten, indem sie eine lineare Abfolge von Symbolen liest und modifiziert.
Turing propuso que todas las operaciones lógicas y de computación podían ser llevadas a cabo por una máquina sencilla, a la que llamó Máquina Universal Turing, que leyera y modificara una secuencia lineal de símbolos.