Sunteți pe pagina 1din 7

INSTITUTO TECNOLOGICO SUPERIOR PHURPECHA

INTEGRANTES
MARCO ANTONIO CARRILLO HERNANDEZ FRANCISCO CUCUE VELAZQUEZ FRANCISCO JAVIER FLORES CUCUE JOSE DE JESUS MACIAS HUAROCO

GRAMTICAS DE CHOMSKY

Es una clasificacin jerrquica de distintos tipos de gramticas formales que generan lenguajes formales. Esta jerarqua fue descrita por Noam Chomsky en 1956.

LA JERARQUA DE CHOMSKY CONSTA DE CUATRO NIVELES


Gramticas de tipo 0 (sin restricciones)

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.

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.

S-ar putea să vă placă și