Procedimiento efectivo

Un procedimiento efectivo o método efectivo es una secuencia de pasos repetible y determinista; es decir, una en que siempre se irán obteniendo los mismos conjuntos de valores de salida para los mismos conjuntos de valores de entrada.

Todos los algoritmos son procedimientos efectivos. Sin embargo, no todos los procedimientos efectivos son algoritmos, debido a que los algoritmos poseen propiedades adicionales que los primeros no tienen.

Los procedimientos efectivos siempre dan una respuesta correcta, se completan en un número finito de pasos y trabaja para todas las instancias de problemas de clase.