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:
- siempre da alguna respuesta;
- siempre da la respuesta correcta y nunca da una respuesta errónea;
- siempre es completado en un número finito de pasos;
- trabaja para todas las instancias de problemas de la clase.