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
LPřijmeSámSebe
LNepřijmeSámSebe
Ì
Ì