Další hierarchie jazyků
45
/45
Tř. rozhodnutelných
jazyků
(přijímaných TS,
které vždy zastaví)
Třída rekurzivně
vyčíslitelných
jazyků
(přijímaných TSs)
Všechny
jazyky
L
PřijmeSámSebe
L
NepřijmeSámSebe
Ì
Ì