décidable (décider + -able; capable_passive)
Dont on peut décider l’existence, les propriétés
Que l'on peut résoudre par un algorithme donné avec un nombre fini d'étapes