Odločitev problem, ki se lahko reši z algoritmom, ki ustavi na vseh vhodov v končno število korakov. s pripadajočimi jezik se imenuje decidable jezik.