Décidable
Décidable* (adjectif) Se dit d’une formule qui est démontrable ou falsifiable dans une théorie déductive. CONTRAIRE : indécidable Des exemples: Ce problème est décidable pour deux mots automatiques.Des problèmes décidables et indécidables. *Larousse.