Chomskyjeva hijerarhija
U računarstvu, posebno u domeni programskih jezika, Chomskyjeva hijerarhija (rjeđe se koristi i termin Chomsky–Schützenbergerova hijerarhija) je hijerarhija klasa formalnih gramatika koje generiraju formalne jezike. Hijerarhiju ovih gramatika (također zvanih i gramatike frazne strukture) je opisao Noam Chomsky 1956. godine Također je imenovana po Marcel-Paulu Schützenbergeru koji je odigrao krucijalnu ulogu u razvoju teorije formalnih jezika. Definicija: Jedna gramatika G {\displaystyle G} se sastoji od ( Z , A , P , S ) {\displaystyle (Z,A,P,S)} Z = konačni broj znakova, A = konačni broj znakova, P = je konačni broj pravila, S = znak iz Z, koji je startni zna.