Decidibilidad
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Propiedad de un problema de decisión que indica la existencia de un procedimiento efectivo (algorítmico), en el modelo de cómputo elegido, que siempre termina y responde correctamente si una entrada pertenece al lenguaje.