Jerarqua de Chomsky En lingstica la jerarqua 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.

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

Segn Chomsky se clasifica las gramticas en cuatro tipos (cuales son, como vemos ms adelante, entre si verdaderamente diferentes).

Entonces sea una gramtica (y ). Las gramticas se distinguen solamente en el sistema de producciones que siempre ser un conjunto finito y que se clasifica en los siguientes tipos: Tipo 0: Gramticas generales sin restricciones

Es decir, se sustituye por lo menos un smbolo no-terminal. Tipo 1: Gramticas sensibles al contexto

Es decir, se sustituye un smbolo no-terminal por algo manteniendo el contexto; entonces una derivacin siempre produce palabras ms largas o iguales ( Tipo 2: Gramticas libres de contexto )

Es decir, se sustituye solo smbolos no-terminales por palabras no vacas Tipo 3: Gramticas regulares (o lineales)

Es decir, lineales a la izquierda (porque los smbolos no-terminales aparecen en una derivacin siempre a la izquierda de la palabra)

Es decir, lineales a la derecha (porque los smbolos no-terminales aparecen en una derivacin siempre a la derecha de la palabra)

Se ha introducido explcitamente la regla

en las gramticas de

tipos 1, 2, y 3 para permitir que el lenguaje puede ser generado dado que las reglas solo permiten un crecimiento de la longitud de las palabras a lo largo de las derivaciones. Retomamos la clasificacin de las gramticas hacia final del curso (por ejemplo, respondemos a la pregunta si son de verdad clases separadas).
http://trevinca.ei.uvigo.es/~formella/doc/talf05/talf/node17.html

Tipo

Lenguaje

Autmata

Normas de produccin de gramticas

recursivamente enumerable (LRE)

Mquina de Turing (MT)

Sin restricciones

dependiente del contexto (LSC)

Autmata linealmente acotado

independiente del contexto (LLC)

Autmata con pila

A aB 3 regular (RL) Autmata finito Aa

Problema de la palabra: Instancia: Solucin:

Es decir, este problema consiste en decidir, para una gramtica y una palabra dadas, si acaso la palabra est generada por la gramtica. Problema de la derivacin: Instancia: Solucin:

Es decir, este problema consiste en encontrar, cuando exista, una derivacin, en una gramtica dada, de una palabra dada tambin. Los problemas mencionados pueden ser resueltos efectivamente en algunos niveles de la Jerarqua de Chomsky. En otros niveles superiores pueden ser irresolubles estos problemas.
http://delta.cs.cinvestav.mx/~gmorales/ta/node11.html

Conclusin: Las expresiones regulares no saben contar, con lo que podemos apreciar que tenemos una gramtica ms restrictiva que la anterior. Recordemos que una gramtica es tanto ms restrictiva cuanto mayor es el orden de su tipo. Por lo tanto, las gramticas ms restrictivas son las regulares, lo que significa que pueden modelar un nmero menor de comportamientos del lenguaje, como el presentado de su incapacidad para contar. Bibliografa:
http://es.wikipedia.org/wiki/Jerarqu%C3%ADa_de_Chomsky http://trevinca.ei.uvigo.es/~formella/doc/talf05/talf/node17.html http://delta.cs.cinvestav.mx/~gmorales/ta/node11.html