Por tanto, en esta interpretación presentamos la Máquina de Turing como un modelo abstracto de un ordenador, puesto que es capaz de ejecutar el mismo conjunto de instrucciones que un computador.