La investigación de Turing en los fundamentos de la computación había probado que una máquina digital, en teoría, puede simular el comportamiento de cualquier otro sistema digital, teniendo una cantidad suficiente de tiempo y memoria.