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