Other Hierarchy of Languages
45
/45
T
he family of
r
ecursive languages
(accepted by TMs
that always halt)
T
he family of r
ec.
enumerbale
languages
(accepted by TMs)
All
Lang.
L
SelfAcceptance
L
NonSelfAcceptance
Ì
Ì