Andrs Felipe Flrez Sebastin Paniagua Leonardo Valencia

Jerarqua de Chomsky: Historia

Su nombre como se describe es en honor al Lingista y Filsofo estadounidense Noam Chomsky. Desde temprana edad fue introducido en la lingstica por su padre, especializado en lingstica histrica del hebreo. Estudi en la Universidad de Pensilvania, donde se doctor en 1955 con una tesis sobre el anlisis transformacional y en 1956 publica el libro Tres modelos para la descripcin del lenguaje explicando las propiedades de los lenguajes formales y la gramtica, en el que segn l se dividan en tres tipos: Regulares, libres de contexto y sensibles al contexto. Pese a su popularidad fuera de la lingstica, la Jerarqua de Chomsky apenas es mencionada al estudiar fenmenos gramaticales y es ms bien usada para su implementacin en lenguajes formales estructurados en informtica.

Lenguaje Formal
Es un lenguaje cuyos smbolos primitivos y reglas para unir esos smbolos estn formalmente especificados. LF: {,S,N, P} : smbolos iniciales. S :smbolos terminales N: smbolos no terminales P: coleccin de reglas

Jerarqua
Tipo 0 Gramtica No restringidos Autmata Mquina de turing(MT)

Sensibles del contexto

Maquina turing no-determinista

Independientes del contexto

Autmatas No-determinsticos

Regulares

Autmatas finitos

Gramtica regular

El lado izquierdo de cualquier regla de reescritura debe consistir en un solo no terminal, el lado derecho debe ser un terminal seguido por un no terminal, o un solo terminal o la cadena vaca.

Ejemplo
Z yX X y X Las siguientes reglas no estara permitidas yW X X xZy YX WvZ

Gramtica independiente del contexto

A diferencia de las gramticas regulares, estas gramticas no tienen restricciones con respecto a la forma del lado derecho de sus reglas de reescritura aunque an se requiere que el lado izquierdo de cada regla sea un no terminal.

Ejemplo
S zMNz

M aMa
N z

N bNb
N z

Gramtica sensible al contexto

gramtica sensible al contexto (CSG) es la gramtica formal en la cul los lados izquierdos y lados derechos de cualquier regla de produccin puede ser rodeado por un contexto de terminal y smbolos no terminales. Forma: x A y x v y A es un no terminal x, y y v son cadenas de terminales y no terminales. x y y pueden ser vacos, pero v ha de ser distinto del vaco

Ejemplo

Ejemplo : G = ({S, B, C}, {a, b, b}, S,P), donde P es:

S aSBc | aBC bB bb bC bc CB BC cC cc aB ab

Gramtica no restringida

Un lenguaje recursivamente enumerable es un lenguaje formal para el cual existe una mquina de Turing que acepta y se detiene con cualquier cadena del lenguaje. Pero que puede parar y rechazar, o bien iterar indefinidamente, con una cadena que no pertenece al lenguaje, en contraposicin a los lenguajes recursivos en cuyo caso se requiere que la mquina de Turing pare en todos los casos.

En las reglas de produccin: *La parte izquierda no puede ser la palabra vaca. *En la parte izquierda ha de aparecer algn smbolo no terminal.