Chomského hierarchie
Třída regulárních jazyků = Typu 3 
!
Třída bezkontextových jazyků  = Typu 2 
Třída kontextových jazyků =
Typu 1 
Třída rekurzivně vyčíslitelných jazyků = Typu 0 
Typ 3 Ì  Typ 2 Ì Typ 1 Ì Typ 0
38/45