En teoría de la computación, un procedimiento 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.