Rekurzivně spočetný jazyk

Rekurzivně spočetný jazyk je taková množina slov z tohoto jazyka, pro niž existuje Turingův stroj, který pro všechna slova z abecedy Σ buď slovo akceptuje, nebo zamítá, či cyklí. Jedná se o pojem z teorie vyčíslitelnosti.

[editovat] Související články

• Rekurzivní jazyk

Tento článek je příliš stručný nebo neobsahuje důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte nebo alespoň nahradíte tuto šablonu nějakou konkrétnější.

---