Estructuras sintácticas
Filosofía Estructuras sintácticas inició un diálogo interdisciplinario entre filósofos del lenguaje y lingüistas. El filósofo estadounidense John Searle lo calificó como «un logro intelectual notable» de su tiempo. Comparó el libro «al trabajo de Keynes o Freud». Le atribuyó haber ocasionado no solo una «revolución en lingüística», sino también haber tenido un «efecto revolucionario» sobre «la filosofía y la psicología». Chomsky y Willard Van Orman Quine, un filósofo del lenguaje marcadamente anti-mentalista, debatieron muchas veces sobre el mérito de las teorías lingüísticas de Chomsky. Muchos filósofos apoyaron la idea de Chomsky de que los idiomas naturales son innatos y se rigen por normas sintácticas. También creyeron en la existencia de reglas en la mente humana que unen significados con expresiones. La investigación de estas reglas fue el comienzo de una nueva era en la semántica filosófica.
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.