Un método efectivo (también llamado procedimiento de decisión o procedimiento efectivo) para una clase de problemas es un método para el cual cada paso en el método puede ser descrito como una operación mecánica y que, si es seguido rigurosamente y, tanto como sea necesario, está limitado a que: