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
Una gramática generativa, en el sentido en que Noam Chomsky utiliza el término, es un sistema de reglas formalizado con "precisión matemática" que, sin necesidad de información ajena al sistema, genera las oraciones gramaticales de la lengua que describe o caracteriza y asigna a cada oración una descripción estructural o análisis gramatical. Todos los conceptos dados a conocer en esta definición de gramática "generativa" serán explicados y ejemplificados en esta sección. Las gramáticas generativas son de dos tipos: este artículo se ocupa principalmente del tipo conocido como gramática generativa transformacional (o simplemente transformacional). La gramática transformacional fue iniciada por Zellig S. Harris en el desarrollo de un trabajo sobre lo que denominó análisis del discurso (el análisis formal de la estructura del texto continuo). Fue perfeccionada por Chomsky, quien le dio, además, una base teórica diferente.  Harris distinguió en el conjunto de las oraciones gramaticales de una lengua dada dos subconjuntos complementarios: oraciones nucleares ("kernel sentences") y oraciones no nucleares ("nonkernel sentences"). El sistema de Chomsky de gramática transformacional, aunque desarrollado con las bases del trabajo de Harris, difiere de este en varios aspectos como el de pe