Estructuras sintácticas
El interés de Chomsky en el lenguaje comenzó a una edad temprana. Cuando tenía doce años, estudió gramática hebrea con su padre. También estudió árabe en su primer año en la Universidad de Pensilvania. En 1947 conoció a Zellig Harris, fundador del departamento de lingüística de la universidad. Harris era un lingüista consolidado. Investigó en la dirección trazada por el lingüista estadounidense Leonard Bloomfield. Dejó a Chomsky revisar una copia de su libro Methods in Structural Linguistics (1951). Así fue como Chomsky comenzó a conocer una teoría formal de la lingüística. Pronto decidió especializarse en el tema. Para su tesis, Chomsky se propuso aplicar los métodos de Harris al hebreo. Siguiendo el consejo de Harris, estudió lógica, filosofía y matemáticas. Encontró las opiniones de Harris sobre el lenguaje similares al trabajo de Nelson Goodman en los sistemas filosóficos. Chomsky también se vio influido por las obras de W. V. O. Quine y Rudolf Carnap. Quine mostró que uno no puede constatar completamente el significado de una afirmación mediante observaciones. Carnap había desarrollado una teoría formal del lenguaje que utilizaba símbolos y reglas que no se referían al significado. A partir de ahí, Chomsky trató de elaborar una gramática del hebreo. Esta gramática generaría las formas fonéticas o sonoras de las oraciones. Con este fin, organizó los métodos de Harris de una manera diferente. Se le ocurrió un conjunto de reglas recursivas para describir las formas y estructuras de la oración. Son reglas que se remiten a sí mismas. También se dio cuenta de que había muchas maneras diferentes de presentar la gramática. Trató de desarrollar un método para medir la sencillez de una gramática. Para ello, buscó «generalizaciones» entre los posibles conjuntos de reglas gramaticales. Chomsky finalizó su trabajo de fin de grado The morphophonemics of modern Hebrew en 1949. Posteriormente, publicó una versión revisada y ampliada del mismo como trabajo de fin de máster en 1951.
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