De Chomsky-hiërarchie van talen is een classificatiesysteem dat formele grammatica's categoriseert op basis van hun generatieve kracht. Het werd in de jaren vijftig voorgesteld door Noam Chomsky, een gerenommeerd taalkundige en computerwetenschapper. De hiërarchie bestaat uit vier niveaus, die elk een andere klasse van formele talen vertegenwoordigen. Deze niveaus staan ​​bekend als Type-1950 (Normaal), Type-3