A Hierarquia de Chomsky é uma classificação de gramáticas formais descrita pelo linguista Noam Chomsky. A hierarquia possui 4 níveis, sendo os dois últimos (os níveis 2 e 3) particularmente utilizados na descrição e implementação de linguagens de programação.
Os 4 níveis de gramáticas definidos na Hierarquia de Chomsky são: