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 proposed that all computations and logical operations could be performed by a simple machine, which he called the Universal Turing Machine, reading and modifying a linear sequence of symbols.