Un problème de décision qui peut être résolu par un algorithme qui s'arrête sur toutes les entrées en un nombre fini d'étapes. Au langage est appelé un langage decidable.