método efectivo

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.