Chomsky definió cuatro tipos distintos de gramáticas en función de la forma de las reglas de
derivación P (Chomsky, 1959). La clasificación comienza con un tipo de gramáticas que
pretende ser universal, aplicando restricciones a sus reglas de derivación se van obteniendo
los otros tres tipos de gramáticas. Esta clasificación es jerárquica, es decir cada tipo de
gramáticas engloba a todos los tipos siguientes. A esta jerarquía de lenguaje se le conoce
como la jerarquía de Chomsky.
- Tipos de Gramáticas