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ů.

[editovat] Podívejte se také na