Esta tesis afirma que la máquina de Turing es tan eficiente como un computador.