Říkáme, že TM rozhoduje jazyk L, pokud L=L(M) a pro každé $w$ stroj nad w zastaví.
Jazyky rozhodnutelné TM nazýváme rekurzivní jazyky.
» Slovník pojmů (ve vývoji)