Rekurzivní jazyk
Z Wikipedie, otevřené encyklopedie
Jazyk je rekurzivní, pokud Turingův stroj slova z tohoto jazyka pouze akceptuje anebo zamítá (nezacyklí se), tzn. vždy skončí po konečném počtu kroků.
Jazyk je rekurzivní, pokud Turingův stroj slova z tohoto jazyka pouze akceptuje anebo zamítá (nezacyklí se), tzn. vždy skončí po konečném počtu kroků.