Desde que Chomsky estableció la descripción de los lenguajes formales en 1956, la teoría del lenguaje formal se ha desarrollado rápidamente. Esta teoría ha tenido un profundo impacto en la informática, particularmente en los lenguajes de programación, los métodos de compilación y la complejidad computacional.
Chomsky dividió la gramática en cuatro tipos, a saber, tipo 0, tipo 1, tipo 2 y tipo 3. La diferencia entre estos tipos de gramáticas es que imponen diferentes restricciones a las producciones.
La sintaxis de las palabras en la mayoría de los lenguajes de programación se puede describir mediante gramática regular o gramática de tipo 3.
Introducción a Chomsky:
El lingüista estadounidense Noam Chomsky es el fundador de la gramática generativa transformacional. Nació el 7 de febrero de 1928 en Filadelfia, Pensilvania, Estados Unidos.
Del 65438 al 0947, bajo la influencia de Harris, comenzó a estudiar lingüística. En 1951, completó su tesis de maestría "Fonología de morfemas hebreos modernos" en la Universidad de Pensilvania. En 1955, completó su tesis doctoral "Análisis de transformación" y recibió su doctorado.
Chomsky recuerda su primer artículo, escrito cuando tenía 10 años, sobre la amenaza de expansión del nazismo tras la caída de Barcelona. A partir de los 12 o 13 años, Chomsky se identificó más profundamente con el anarquismo.