Définitionsdécidabilité

décidabilité

nom féminin
/de.si.da.bi.li.te/
  1. MathématiquesÉtat de ce qui est décidable.
  2. InformatiqueÉtat d’un problème résolvable par un algorithme donné avec un nombre fini d’étapes.La première est celle de la décidabilité logique ou théorique : ce problème, est-il soluble ?

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.