Rekurzivně spočetný jazyk

(Přesměrováno z Rekurzivně spočetná množina, přímý odkaz na 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

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ší.

Rekurzivně spočetný jazyk v jiných jazycích: Deutsch, English, Español, Hrvatski, Italiano, 日本語, 한국어, Polski, Português, Slovenčina, 中文

Tento článek je převzat z české wikipedie - otevřené encyklopedie, originální článek naleznete na adrese: „http://cs.wikipedia.org/wiki/Rekurzivn%C4%9B_spo%C4%8Detn%C3%BD_jazyk“
Stránka byla naposledy upravena v Stránka byla naposledy editována 14. 6. 2008 v 13:24.
Veškerý text je dostupný za podmínek GNU Free Documentation License (Autorské právo pro podrobnosti).