Por esta misma razón, la idea abstracta de una máquina que funciona como parámetro para decidir cuándo algo es un algoritmo o procedimiento efectivo es de gran valor, esto es una máquina de Turing.