Teorías lingüísticas
Una vez analizado el estructuralismo como la primera gran teoría lingüística del siglo XX, pasaremos a analizar la que se considera la segunda gran corriente lingüística, esto es, el Generativismo. Se considera como fecha clave de su nacimiento 1957 con la publicación de "Estructuras sintácticas" de Chomsky, lingüista considerado el fundador del Generativismo. Con esta obra, Chomsky se opone tajantemente a las hipótesis de Bloomfield. De acuerdo con lo señalado por Tusón, el lingüista se opone, en primer lugar, a que los textos tengan únicamente una dimensión lineal según proponía Bloomfield. En segundo lugar, considera que Bloomfield adopta una perspectiva demasiado taxonómica o, lo que es lo mismo, demasiado clasificatoria y se olvida de responder preguntas como ¿cómo se aprende una lengua?; por tanto, defiende más bien una teoría del lenguaje. En tercer y último lugar, de acuerdo con Tusón, Chomsky y sus discípulos defienden una tesis innatista según la cual los seres humanos poseemos una capacidad de lenguaje propia de nuestra especie. En relación directa con esta última idea se encontraría el principio de Gramática Universal que destaca Chomsky, según el cual la mente humana tiene una orientación lingüística específica, que sería innata, no aprehendida. El desarrollo de esta capacidad por cada individuo sería la gramática particular. Desde el punto de vista de Chomsky y seguidores, debe operarse sobre datos empíricos con el fin último de construir una teoría universal, reflejo del conocimiento implícito de los hablantes.
Gramática formal
Cuando Noam Chomsky formalizó la idea de las gramáticas generativas en 1956, clasificó este tipo de gramáticas en varios tipos de complejidad creciente que forman la llamada jerarquía de Chomsky. La diferencia entre estos tipos es que cada uno de ellos tiene reglas más particulares y restringidas y por tanto generan lenguajes formales menos generales. Dos tipos importante son las gramáticas libres de contexto (Tipo 2) y las gramáticas regulares (Tipo 3). Las lenguas que pueden ser descritas mediante esos tipos de gramáticas son lenguas libres de contexto y lenguas regulares, respectivamente. Estos dos tipos son mucho menos generales que las gramáticas no restringidas de Tipo 0 (es decir, que pueden ser procesadas o reconocidas mediante máquinas de Turing). Estos dos tipos de gramáticas se usan más frecuentemente puesto que los analizadores sintácticos para estos lenguajes pueden implementarse de manera eficiente. Por ejemplo, todas las lenguas regulares pueden ser reconocidas por un autómata finito. Para subconjuntos de gramáticas libres de contexto, existen algoritmos para generar analizadores sintácticos LL y analizadores sintácticos LR eficientes, que permiten reconocer los correspondientes lenguajes generados por esas gramáticas.