Todo esto le permitió introducir la concepción del diseño de una máquina de Turing.