Problém rozhodnutí, které lze řešit pomocí algoritmu, který zastavuje na všech vstupech v konečném počtu kroků. Přidruženého jazyk se nazývá rozhodnutelný jazyk.