En esta versión, se afirma que los algoritmos o procedimientos efectivos, elaborados tanto por un ser humano como por una máquina, pueden ser captados por una máquina de Turing.