Die Chomsky-Hierarchie
teilt alle von Grammatiken erzeugbare Sprachen in vier Typen auf, die sich hinsichtlich ihrer generativen Mächtigkeit unterscheiden.