INSTITURO DE ESTUDIOS SUPERIORES DE CAMPECHE

TEORIA DE LENGUAJES Y COMPILADORES

ALUMNO: FRANCISCO JAVIER CAMBRANIS RANGEL
LA JERARQUIA DE GRAMATICAS DE NOAM CHOMSKY

2011

CATEDRATICO:

Noam Chomsky

Lingista estadounidense nacido en 1928, profesor del Instituto de Tecnologa de Massachussets (MIT). Aparte de activista poltico. como lingista y profesor crtico universitario, es muy conocido por su faceta de intelectual y

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

CLASIFICACIN DE LENGUAJES FORMALES DE CHOMSKY.

Se desarrollan los lenguajes tipo 3, generados por las gramticas tipo 3, lineales izquierdas o derechas, ambas equivalentes, y que se corresponden con los CONJUNTOS REGULARES, dados por las EXPRESIONES REGULARES, capaces de simbolizar conjuntos infinitos mediante especificaciones finitas; a estos lenguajes les corresponden cierto tipo de autmatas, deterministas y no deterministas equivalentes ambos con los que se es capaz de resolver ciertos problemas de ndole menor desde el punto de vista matemtico. Los lenguajes tipo 2 siguen a los anteriores y son generados por las gramticas tipo 2, INDEPENDIENTES DEL CONTEXTO que resuelven problemas de mayor envergadura, y se corresponden con los AUTMATAS A PILA, que a diferencia de los anteriores necesitan de una pila de memoria adicional. Se sigue con los lenguajes tipo1, DEPENDIENTES DEL CONTEXTO a cuyas gramticas generativas se les

exige menos restricciones, y que se corresponden con los autmatas acotados linealmente. Por ltimo Se desarrollan los lenguajes tipo 0, generados por las gramaticas tipo 0 SIN RESTRICCIONES isomrficas con las MQUINAS DE TURING, que resuelven problemas recursivamente enumerables. Se describen brevemente algunos problemas no enumerables que las mquinas deTuring no son capaces de resolver. Se finaliza el temario con una breve descripcin de LAS REDES DE NEURONAS, autmatas capaces de simular en alguna medida el comportamiento del sistema neuronal humano.

CLASIFICACION DE LAS GRAMATICAS

1. SEA ={a, b } V={S, M} P: S asa

S Ma aS b

Es una gramtica tipo 0 pues la longitud del extremo izquierdo en la ultima regla es 2 y del derecho es 1.

2. SEA = {a, b} V= {S, M, N}

P: S Ma M aM M b M bN N a

Es una gramtica tipo 2, pues el elemento izquierdo de toda regla de produccin es una variable. No es tipo 3 por que en la regla S Ma, M no esta al final.

3. SEA = {a, b, c} V= {S}

P: S aSa aS bc

Es una gramtica tipo 1 pues la longitud de los trminos a la izquierda es menor igual a la derecha. Pero no es de tipo 2 pues aS bc la expresin de la izquierdazo es variable.

CLASIFICACION DE CHOMSKY

La Jerarqua de Chomsky consta de cuatro niveles:

Gramticas de tipo 0 (sin restricciones), que incluye a todas las gramticas formales. Estas gramticas generan todos los lenguajes capaces de ser reconocidos por una mquina de Turing. Los lenguajes son conocidos como lenguajes recursivamente enumerables. Ntese que esta categora es diferente de la de los lenguajes recursivos, cuya decisin puede ser realizada por una mquina de Turing que se detenga.

Gramticas de tipo 1 (gramticas sensibles al contexto) generan los

lenguajes sensibles al contexto. Estas gramticas tienen reglas de la forma

con A un no terminal y , y cadenas de terminales y no terminales. Las cadenas y pueden ser vacas, pero no puede serlo. La regla est permitida si S no aparece en la parte derecha de ninguna regla. Los lenguajes descritos por estas gramticas son exactamente todos aquellos lenguajes reconocidos por una mquina de Turing no determinista cuya cinta de memoria est acotada por un cierto nmero entero de veces sobre la longitud de entrada.

Gramticas contexto)

de

tipo

(gramticas

libres

del

Generan los lenguajes independientes del contexto. Las reglas son de la forma con A un no terminal y una cadena de terminales y no terminales. Estos lenguajes son aquellos que pueden ser reconocidos por un autmata con pila.

Gramticas de tipo 3 (gramticas regulares) generan los lenguajes

regulares. Estas gramticas se restringen a aquellas reglas que tienen en la parte izquierda un no terminal, y en la parte derecha un solo terminal, posiblemente seguido de un no terminal. La regla tambin est permitida si S no aparece en la parte derecha de ninguna regla. Estos lenguajes son aquellos que pueden ser aceptados por un autmata finito. Tambin esta familia de lenguajes pueden ser obtenidas por medio de expresiones regulares. + Clasificacin Jerrquica de las Gramticas.+ Uno de los posibles criterios para clasificar las gramticas es hacerlo de acuerdo al formato utilizado para describir al conjunto de producciones. Esta clasificacin fue establecida por el lingista Noam Chomsky.

Gramticas de tipo 0:
Son aquellas gramticas caracterizadas porque en sus producciones no se establece ningn tipo de restriccin respecto a su formato.

Gramticas de tipo 1:

Tambin se les conoce como gramticas sensibles al contexto. Son aquellas gramticas cuyas producciones presentan el siguiente formato: Es decir, slo se permite la sustitucin del smbolo por la cadena cuando el smbolo aparezca en el contexto indicado por la produccin, es decir, con la cadena a la izquierda de y por la cadena a su derecha. Como excepcin a este formato se permite que, pero si esto sucede entonces el smbolo inicial no puede aparecer en el consecuente de ninguna otra produccin de la gramtica. Como caracterstica adicional de este tipo de gramticas se cumple que en cualquier secuencia de derivaciones, por ejemplo siempre se verifica que. Por este motivo a estas gramticas tambin se las denomina gramticas crecientes. Gramticas de tipo 2: Tambin denominadas de contexto libre. Son las gramticas caracterizadas porque su conjunto de producciones presenta el siguiente formato: A diferencia de las gramticas de tipo 1 resulta que el smbolo siempre se puede sustituir por la cadena independientemente del contexto en el que aparezca el smbolo. Gramticas de tipo 3: Tambin denominadas regulares. Las hay de dos tipos, segn sean el formato de sus producciones: Lineales a la derecha, con producciones Lineales a la izquierda, con producciones En ambos casos, . Hay que destacar que no se permite mezclar en una misma gramtica de tipo 3 producciones lineales a la derecha con producciones lineales a la izquierda. Se dice que un lenguaje es de tipo i (i = 0, 1, 2, 3) si, y slo si, la gramtica de ndice ms alto que puede generarlo es de tipo i. Adems, se verifica que si se denomina a la clase de lenguajes generados por gramticas de tipo i entonces se observa que, de la definicin de la jerarqua de gramticas de Chomsky, se deriva el siguiente enunciado An se puede afinar ms y, en los temas sucesivos, se demostrar que estas inclusiones no son propias, es decir, existen lenguajes pertenecientes a la clase que no pertenecen a la clase (i = 0,1,2). Por lo tanto, se cumple el siguiente enunciado

La jerarqua establecida por Chomsky, adems de resultar elegante, permite vertebrar la Teora de la Computacin clasificando las clases de lenguajes en funcin del nmero de recursos computacionales necesarios para reconocerlos

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. Cada gramtica define el lenguaje formal de todas las sentencias que estn formadas exclusivamente por los smbolos terminales a los que se puede llegar mediante derivacin a partir del smbolo inicial.
Ejemplo 1: Gramtica con terminales {a, b}, no terminales {S,A,B} y las siguientes reglas de produccin, y smbolo inicial S. 1. <S> 2. <S> <A><B><S> (siendo el smbolo vaco) <A><B> b bb ab aa

3. <B><A> 5. <B>b 6. <A>b 7. <A>a

4. <B><S>

Esta gramtica define todas las palabras de la forma anbn. Veamos dos ejemplos (siempre partiendo del smbolo inicial S). Entre parntesis se indica la regla de produccin utilizada. <S> <A><B><S> ab <A>b (6) (1) (4)

<A><B><S> <A>b

<S>

<A><B><S> <A><B><A><B><S>

(1) (1)

<A><B><S>

<A><B><A><B><S> <A><A><B><B><S> <A><A><B>b <A><A>bb <A>abb

<A><A><B><B><S> (3) <A><A><B>b (5) (6) (7) (4)

<A><A>bb <A>abb

aabb

Ejemplo 2 : Gramtica que construye un pequeo subconjunto del lenguaje natural o Reglas de produccin: 1. <ENUNCIADO> <SUJETO> <PREDICADO> <ARTICULO> <NOMBRE> 2. <SUJETO> 4. <ARTICULO> 5. <NOMBRE> 6. <PREDICADO> 7. <VERBO> <ENUNCIADO> <FORMA NOMINAL> el hombre | libro | baln <VERBO> <FORMA NOMINAL >

3. <FORMA NOMINAL>

tom | compr <SUJETO> <PREDICADO> <FORMA NOMINAL> <PREDICADO> <ARTICULO>

<SUJETO> <PREDICADO> <FORMA NOMINAL>

<PREDICADO>

<NOMBRE><PREDICADO> <ARTICULO> <NOMBRE><PREDICADO> el <NOMBRE><PREDICADO> el hombre <PREDICADO> el <NOMBRE><PREDICADO>

el hombre <PREDICADO> el hombre <VERBO> <FORMA NOMINAL> el hombre tom <FORMA

el hombre <VERBO> <FORMA NOMINAL> NOMINAL> el hombre tom <NOMBRE> <FORMA NOMINAL>

el hombre

tom <ARTICULO>

el hombre <NOMBRE>

tom <ARTICULO> <NOMBRE>

el hombre tom el

el hombre tom el <NOMBRE>

el hombre tom el libro

el hombre tom el libro pertenecera por tanto al lenguaje generado por

esta gramtica, as como otros enunciados : el libro compr el baln, el

baln compr el hombre, etc.

Ejemplo 3 : Reglas de produccin: 1. 2. 3. 4. <ENTERO> <SIGNO><SECUENCIA> <SIGNO> + | - | <SECUENCIA> <DIGITO> <DIGITO> | <DIGITO><SECUENCIA> | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9