Como se ha dicho previamente en los orígenes de la computabilidad, Turing afirmó que un procedimiento computable es aquél que puede ser computado por una máquina de Turing.