Investigación sobre la reducción de P en el artículo de Cook de 1971: de la máquina Oracle a la máquina Turing