Problém zastavení TM (halting problem) je algoritmicky nerozhodnutelný.
Neexistuje algoritmus, který by pro daný kód TM a daný vstup rozhodl, zda se TM zastaví.
» Slovník pojmů (ve vývoji)