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.
Lenguaje formal
En 1956, Noam Chomsky creó la jerarquía de Chomsky para organizar los distintos tipos de lenguaje formal. Los lenguajes formales derivados de un alfabeto que consta de una sola letra, conocida como lenguajes unarios, pueden ser considerados como conjuntos de números naturales, y las cuestiones de la representación de tales conjuntos mediante los dispositivos básicos de la teoría de lenguaje formal forman un tema especial de estudio. Los lenguajes unarios formales son básicamente conjuntos periódicos (Jez & Okhotin, 2007).