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:

1. Ce problème est décidable pour deux mots automatiques.
2. Des problèmes décidables et indécidables.

*Larousse.