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 postula que toutes les opérations informatiques et logiques pouvaient être résolues par une simple machine, qu’il appela la machine de Turing universelle, capable de lire et de modifier une séquence linéaire de symboles.