Rekurzivně spočetný jazyk
Z Wikipedie, otevřené encyklopedie
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.
viz Rekurzivní jazyk