Noam Chomsky

Lingista estadounidense nacido en 1928, profesor del Instituto de Tecnologa de

Massachussets ,Chomsky ha publicado ms de 70 libros y ms de 1000 artculos sobre diversos
temas como lingstica, filosofa y poltica. Muchos no dudan en calificarle como uno de los
personajes ms destacados del siglo XX. hay que sealar que su aportacin a la ciencia de la
Computacin ha sido muy significativa. Se le considerada el fundador de la Gramtica
generativa transformacional. Sus anlisis del lenguaje parten de las oraciones bsicas que se
desarrollan y terminan en una variedad de combinaciones sintcticas al aplicar una serie de
reglas.
Gramtica: describe las estructuras de las frases y de las palabras de un lenguaje se aplica igual,
a las lenguas naturales humanas como lenguajes de programacion
Gramticas Formales
Una gramtica formal consta de un conjunto finito de smbolos terminales (las
palabras en un lenguaje formal), un conjunto finito de smbolos no terminales, un conjunto
de reglas de produccin con un lado izquierdo y otro derecho, y un smbolo inicial.
Las reglas se aplican sustituyendo la parte de la izquierda por la parte de la derecha.
Una derivacin es una secuencia de aplicaciones de reglas.

Tipos de gramticas
Gramticas Tipo 0 (sin restricciones, recursivas)
Incluyen todas las gramticas formales. Generan todos los lenguajes que
pueden ser reconocidos por una mquina de Turing.
Gramticas Tipo 1 (dependientes de contexto)
Generan los lenguajes dependientes de contexto. Contienen reglas de
produccin de la forma:
A

A es un no terminal

, y son cadenas de terminales y no terminales.

y pueden ser vacos, pero ha de ser distinto del vaco.

Se denominan gramticas dependientes del contexto, porque, como se

observa, A puede ser sustituido por si est acompaada de por la izquierda
y de por la derecha.
Estos lenguajes son todos los lenguajes que pueden ser reconocidos por una
mquina de Turing no determinista. (autmatas lineales acotados)

Gramticas Tipo 2 (independientes de contexto, libre de contexto)

Generan los lenguajes libres de contexto. Estn definidas por reglas de la forma:

A A es un no terminal

es una cadena de terminales y no terminales.

 Se denominan independientes de contexto porque A puede sustituirse por
independientemente de las cadenas por las que est acompaada.

Los lenguajes independientes de contexto constituyen la base terica para la sintaxis

de la mayora de los lenguajes de programacin. Definen la sintaxis de las
declaraciones, las proposiciones, las expresiones, etc.(es decir, la estructura de un
programa) . Estos lenguajes son todos los lenguajes que pueden ser reconocidos por
los autmatas de pila.

Gramticas Tipo 3 (gramticas regulares)

Generan los lenguajes regulares. Las reglas se restringen a un nico no
terminal en la parte izquierda y una parte derecha compuesta por un nico
terminal que puede estar seguido o no de un nico no terminal. Es decir,
normas del tipo:
A a B
Aa
Estos lenguajes son los que pueden ser decididos por un autmata finito (regular).
Los lenguajes regulares se utilizan para definir estructura lxica de los lenguajes de
programacin. Definen la sintaxis de los identificadores, nmero, cadenas y otros
smbolos bsicos del lenguaje.

Todo lenguaje de tipo 3 es de tipo 2, todo lenguaje de tipo 2 es

de tipo 1, y todo lenguaje de tipo 1 es de tipo 0.

Se dice que un lenguaje es de tipo k [k = 0, k = 1, k = 2, k

= 3] cuando existe una gramtica de tipo k que genera ese
lenguaje.
Para clasificar una gramtica hemos de analizar una a una
todas sus reglas de produccin obteniendo el tipo de cada
una de ellas. La clasificacin de la gramtica ser la
correspondiente al tipo de la produccin de menor
clasificacin.
Reglas de Si , relacin
Gramtica Lenguaje Solucin
Produccin entre || y ||

Tipo-0 Recursivas Sin restricciones Mquinas de Turing

|| || Autmatas lineales
Tipo-1 Dependiente de contexto A
acotados

Tipo-2 Independiente de contexto A || = 1 Autmatas de pila

A> aB Autmatas finitos,

Tipo-3 Regular
Aa regulares

y son cadenas de terminales y no terminales. La cadena no puede ser la cadena

vaca.
Todo tipo de gramtica puede incluir la S -> . Si se da este caso, entonces no puede tener
una S en la parte derecha de ninguna regla.