Proceso eficiente

Sea dado algún conjunto , alguno de cuyos elementos tenga la propiedad . Entonces, un proceso efectivo (método, algoritmo ) es un proceso que para cualquier elemento permite un número finito de pasos para averiguar si el elemento tiene una propiedad o no. $METRO$ $tu$ $x \en M$ $X$ $tu$

Proceso semieficiente

Si un elemento tiene la propiedad , un proceso semieficiente permite revelarla en un número finito de pasos. Si no tiene la propiedad , es posible que un proceso semieficiente no pueda decir nada definido en un número finito de pasos. $X$ $tu$ $X$ $tu$ $X$

Por lo tanto, mediante un proceso semieficiente, descubrimos que tiene la propiedad o no logramos averiguar nada sobre . $X$ $tu$ $X$

Véase también

conjunto solucionable
Decidibilidad algorítmica de la teoría formal.