Décidabilité

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Propriété d'un problème de décision qui signifie l'existence d'une procédure effective (algorithme), dans le modèle de calcul choisi, qui s'arrête toujours et répond correctement si une entrée appartient au langage.