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.
Теринг предложил, чтобы все вычисления и логические действия выполнялись простой машиной, которую он назвал Универсальной Машиной Теринга, распознающей и видоизменяющей линейную последовательность символов.