Other Hierarchy of Languages
45/45
The family of recursive languages
(accepted by TMs that always halt)
The family of rec. enumerbale languages
(accepted by TMs)
All Lang.
LSelfAcceptance
LNonSelfAcceptance
Ì
Ì