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