Rekurzivně spočetný jazyk

Z Wikipedie, otevřené encyklopedie

Skočit na: Navigace, Hledání

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

[editovat] Související články

Citováno z „http://cs.wikipedia.org/wiki/Rekurzivn%C4%9B_spo%C4%8Detn%C3%BD_jazyk“