17/2/2014

Jerarqua de Chomsky - Wikipedia, la enciclopedia libre

Jerarqua de Chomsky
De Wikipedia, la enciclopedia libre En lingstica la jerarqua de Chomsky (ocasionalmente tambin llamada la jerarqua de ChomskySchtzenberger) es una clasificacin jerrquica de distintos tipos de gramticas formales que generan lenguajes formales. Esta jerarqua fue descrita por Noam Chomsky en 1956.

ndice
1 La jerarqua 2 Lenguajes Recursivamente Enumerables (de tipo 0) 3 Lenguajes Dependientes del Contexto (sensibles al contexto, de tipo 1) 4 Lenguajes Independientes del Contexto (Libres de contexto, de tipo 2) 5 Lenguajes Regulares (de tipo 3) 6 Vase tambin 7 Referencias 7.1 General

Noam Chomsky.

La jerarqua
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 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 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 determinista cuya cinta de memoria est acotada por un cierto nmero entero de veces sobre la longitud de entrada, tambin conocidas como autmatas linealmente acotados. Gramticas de tipo 2 (gramticas libres del contexto) generan los lenguajes independientes del contexto. Las reglas son de la forma con un no terminal y una cadena de terminales y no terminales. Estos lenguajes son aquellos que pueden ser reconocidos por un autmata con pila.
http://es.wikipedia.org/wiki/Jerarqu%C3%ADa_de_Chomsky 1/4

17/2/2014

Jerarqua de Chomsky - Wikipedia, la enciclopedia libre

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 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. Ntese que el conjunto de gramticas correspondiente a los lenguajes recursivos no es un miembro de la jerarqua. Cada lenguaje regular es a su vez libre del contexto, asimismo un lenguaje libre del contexto es tambin dependiente del contexto, ste es recursivo y a su vez, recursivamente enumerable. Las inclusiones son, sin embargo, propias, es decir, existen en cada nivel lenguajes que no estn en niveles anteriores.

Tipo 0 1 2 3

Lenguaje dependiente del contexto (LSC)

Autmata

Normas de produccin de gramticas Sin restricciones A A aB

recursivamente enumerable (LRE) Mquina de Turing (MT) independiente del contexto (LLC) Autmata con pila regular (RL) Autmata finito

Autmata linealmente acotado A

Aa

Lenguajes Recursivamente Enumerables (de tipo 0)

Las gramticas que generan estos lenguajes pueden tener reglas compresoras. Las reglas de produccin son de la siguiente forma:

Lenguajes Dependientes del Contexto (sensibles al contexto, de tipo 1)

No existen reglas compresoras, salvo, opcionalmente, la que deriva el axioma a la palabra vaca. Existen reglas en las que un smbolo no terminal puede derivar a formas sentenciales distintas, segn los smbolos que aparezcan a su alrededor. Las reglas de produccin son de la siguiente forma:

http://es.wikipedia.org/wiki/Jerarqu%C3%ADa_de_Chomsky

2/4

17/2/2014

Jerarqua de Chomsky - Wikipedia, la enciclopedia libre

Lenguajes Independientes del Contexto (Libres de contexto, de tipo 2)

La mayora de los lenguajes de programacin entran en sta categora en cuanto su forma sintctica, aunque en realidad los lenguajes de programacin son dependientes del contexto, se reconocen a travs de lenguajes de tipo 2 porque su reconocimiento es de O(n) mientras que los de tipo 1 tienen un orden de reconocimiento O(n^3) en el peor caso. Por este motivo se ejecuta un anlisis semntico para reconocer si el programa es correcto. Las reglas de produccin son de la siguiente manera:

No se pudo entender(error desconocido): \mathrm{P} =\{(S\rightarrow \lambda )o(A\rightarrow v)|v\in \Sigma ^{+};A\in N\}

Lenguajes Regulares (de tipo 3)

Son los lenguajes ms simples dentro la Jerarqua de Chomsky. Se suelen expresar mediante expresiones regulares. Existen 2 tipos: lineales por la derecha y lineales por la izquierda. Las reglas de produccin son de la siguiente forma: Lineales por la derecha:

Lineales por la izquierda:

Vase tambin
Gramtica regular Gramticas sensibles al contexto Gramtica libre de contexto Otra explicacin: Gramtica (autmata)

Referencias
General
Joaqun Aranda, Natividad Duro, Jos Luis Fernndez, Jos Jimnez, Fermando Morilla, "Fundamentos de Lgica Matemtica y Computacin", Sanz y Torres, 2006, ISBN 84-96094-74-X.
http://es.wikipedia.org/wiki/Jerarqu%C3%ADa_de_Chomsky 3/4

17/2/2014

Jerarqua de Chomsky - Wikipedia, la enciclopedia libre

Obtenido de http://es.wikipedia.org/w/index.php?title=Jerarqua_de_Chomsky&oldid=64512475 Categoras: Lenguajes formales Lingstica generativa Noam Chomsky Esta pgina fue modificada por ltima vez el 8 mar 2013, a las 22:13. El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; podran ser aplicables clusulas adicionales. Lanse los trminos de uso para ms informacin. Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de lucro.

http://es.wikipedia.org/wiki/Jerarqu%C3%ADa_de_Chomsky

4/4