Estructuras sintácticas
En 1955, Chomsky tenía un doctorado en lingüística. Aun así, al principio tuvo que luchar para publicar su teoría y sus ideas sobre el lenguaje. Ofreció el manuscrito de La estructura lógica de la teoría lingüística (LSLT) para su publicación. Pero el departamento de publicaciones tecnológicas del MIT se negó a publicarlo. La revista de lingüística académica WORD también rechazó con rapidez uno de sus trabajos. Así que siguió siendo un extraño en el campo de la lingüística. Sus reseñas y artículos en ese momento aparecían principalmente en publicaciones no lingüísticas. Mouton & Co. era una editorial holandesa con sede en La Haya. Desde 1954 había ganado reputación académica al publicar trabajos sobre Estudios Eslavos. En particular, habían publicado obras de los lingüistas Nicolaas Van Wijk y Roman Jakobson. Pronto comenzaron una nueva serie llamada Janua Linguarum o la «Puerta de los idiomas». Pretendía ser una serie de «pequeñas monografías» sobre lingüística general. El primer volumen de la serie Janua Linguarum fue escrito por Roman Jakobson y Morris Halle. Se llamó Fundamentos del lenguaje y fue publicado en 1956. Chomsky ya había conocido a Jakobson, profesor de la Universidad de Harvard, durante sus años de investigador allí. Halle fue compañero de Chomsky durante su postgrado en Harvard y después en su trabajo en el MIT. En 1956 Chomsky y Halle colaboraron para escribir un artículo sobre fonología, publicado en una recopilación en honor de Jakobson. Esta antología fue publicada por Mouton en 1956.
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.