Gramática generativa transformacional
Durante los años 60, Chomsky introdujo dos ideas centrales para la construcción y evaluación de teorías gramaticales. La primera era la distinción entre competencia y actuación lingüística. Chomsky se refiere a la evidencia de que las personas, cuando hablamos en la vida cotidiana, a menudo cometemos errores (por ejemplo, comenzar una oración y dejarla a medias). Estos errores en el uso lingüístico son irrelevantes para el estudio de la competencia lingüística, ya que la competencia es el conocimiento que permite al ser humano construir y entender oraciones.
Gramática generativa transformacional
En relación con el estudio matemático de la gramática, un rasgo significativo de las gramáticas transformacionales es que son más "poderosas" que las gramáticas libres de contexto. Esta idea fue formulada por Noam Chomsky en la Jerarquía de Chomsky. Actualmente parece haber consenso al afirmar que es imposible lograr la descripción de lenguas naturales mediante el uso de gramáticas libres de contexto, (al menos, si dicha descripción se basa en criterios chomskianos).