En nuestro caso, vamos a definir un procedimiento efectivo o algoritmo como un conjunto finito de instrucciones ordenadas que se pueden ejecutar en un número determinado de pasos.