Decidable jazyk

decidable nebo rekurzivní jazyk je formální jazyk to je rekurzivní množina, tj., pro kterého tam existuje algoritmus řešit pokračování problém rozhodnutí: Daný řetězec w, dělá w patřit k jazyku? Algoritmus není povolený k běhu do nekonečné smyčky a musí produkovat ano/žádná odpověď pro nějaký řetězec vstupu po konečném množství času. Formovat poněkud nejasný termín “algoritmus”, jeden obvykle zaměstná Turing stroje, ale několik jiných rovnocenných přístupů je možné.

Všichni pravidelný, kontext-volný a kontextové jazyky jsou rekurzivní, ale tam existovat rekurzívně enumerable languagess to být ne rekurzivní; jeden příklad je dán váhavým problémem.