"Ensayo sobre la Jerarqua de Chomsky" La jerarqua de Chomsky sirve para clasificar de manera jerrquica los distintos tipos de gramticas

formales, para de esta manera generar lenguajes. Fue creada por Noam Chomsky en el ao de 1956. Esta jerarqua consta de 4 niveles: 1) Gramtica de tipo 0 (Sin Restricciones): En este nivel de jerarqua se incluyen todas las gramticas formales, las cuales generan todos los lenguajes capaces de ser reconocidos por un mquina de Turing. A estos lenguajes se les conoce como "lenguajes recursivamente enumerables". 2) Gramtica de tipo 1 (Gramticas sensibles al contexto): Como su nombre lo dice, generan los lenguajes sensibles al contexto, estas gramticas tienen reglas de la forma A -> en donde: A = cadena no terminal = cadena terminal/no terminal, puede ser vaca = cadena terminal/no terminal, no puede ser vaca = cadena terminal/no terminal, puede ser vaca Tambin existe la regla S -> , pero la condicin para que se pueda usar es que S no aparezca en la parte derecha de ninguna regla. Los lenguajes descritos por estas gramticas son todos aquellos lenguajes reconocidos por las mquinas autmatas linealmente acotados. 3) Gramtica de tipo (Gramticas libres del contexto): Este nivel genera los lenguajes independientes del contexto. Las reglas son de la forma A -> donde: A = cadena no terminal = Cadena terminal/no terminal Estos lenguajes son reconocidos por autmatas con pila. 4) Gramtica de tipo (Gramticas Regulares): En este nivel se generan los lenguajes regulares, en este tipo de gramticas se restringen a las reglas que contengan en su parte izq. a una cadena no terminal y en la parte derecha un solo terminal (posiblemente seguido por un no terminal). La regla S -> est permitida siempre y cuando S no aparezca en la parte derecha de ninguna regla. Estos lenguajes solo son aceptados por un autmata finito. Ahora definiremos los diferentes lenguajes que se utilizan en la gramticas: Lenguajes recursivamente enumerables(Tipo 0): Las gramticas que generan estos lenguajes pueden tener reglas compresoras. Las reglas de produccin son de la siguiente forma:

 Lenguajes Sensibles del Contexto(Tipo 1): No existen reglas compresoras en este caso, salvo la que deriva el axioma a la palabra vacia. Las reglas de produccin son de la siguiente forma:

Lenguajes Independientes del Contexto(Tipo 2): La mayora de los lenguajes de programacin entran en sta categora en cuanto a la sintaxis, aunque en realidad estos son dependientes del contexto. Las reglas de produccin son de la siguiente forma:

Lenguajes Regulares(Tipo 3): Son los lenguajes ms simples dentro de la Jerarqua de Chomsky, se suelen expresar mediante expresiones regulares. Existen 2 tipos: Lineales por la derecha: Lineales por la izquierda:

Conclusiones: En lo personal, aun no entiendo por completo todos los conceptos que inclu en mi ensayo, pero considere que eran importantes para el tema, y por la misma razn no los omit. Adems de que aprend de una manera aun no muy profunda como se jerarquizan los las gramticas regulares y sobre todo reforc el conocimiento visto en clase sobre los temas de lenguajes y gramticas regulares.