Jerarqua de Chomsky

Erick Jimenez Perez

Bartolome Tellez Chavez

23-02-2017

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 1 / 29

 Indice

1 Jerarqua de Chomsky

2 Gramatica Formal

3 La jerarqua tipo 0)

4 La jerarqua de tipo 1)

5 La jerarqua de tipo 2)

6 La jerarqua de tipo 3)

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 2 / 29

 Jerarqua de Chomsky

En lingustica la jerarqua de Chomsky (ocasionalmente tambien llamada la

jerarqua de ChomskySchutzenberger) es una clasificacion jerarquica de
distintos tipos de gramaticas formales que generan lenguajes formales.
Esta jerarqua fue descrita por Noam Chomsky en 1956.

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 3 / 29

 Gramatica Formal

Una gramaatica formal es la estructura matematica con un conjunto de

reglas de formacion que define las cadenas de caracteres admisibles en un
determinado lenguaje formal o lenguaje natural. Esun conjunto de reglas
para rescribir cadenas de carecteres, junto con un simbolo inicial desde es
cual debe comenzar la reescritura.Por lo tanto, una gramatica formal
generalmente se piensa como una generadora de lenguajes. Sin embargo, a
veces tambien puede ser usada como la base para un reconocedor: una
funcion que determina si una cadena cualquiera pertenece a un lenguaje o
es gramaticalmente incorrecta.
1.A bA
2.A c

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 4 / 29

 El elemento en mayusculas es el smbolo inicial. Los elementos en
minusculas son los smbolos terminales. Para generar cadenas de
caracteres, la idea es sustituir el smbolo inicial de la izquierda por los
smbolos de la derecha, y luego repetir el proceso hasta que solo haya
smbolos terminales. Por ejemplo:
A bA bbA bbbA bbbc
Consiste en el conjunto de todas las cadenas de caracteres que pueden ser
generadas por medio ellas. Por ejemplo: bbbc, bbbbbbbbc, c, bc, etc.
Estas reglas pueden utilizarse para generar la frase .el nino duerme
placidamente, as:
1.O SUJ PRED (Oracion Sujeto Predicado)
2.SUJ Det N (Sujeto Determinante Nombre)
3.PRED V COMP (Predicado Verbo Complemento)
4.Det el
5.N nino, (hombre, anciano)
6.V duerme, (re, come)
7.COMP placidamente, (intranquilo)

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 5 / 29

 1.O (smbolo inicial)
2.SUJ(ETO) PRED(ICADO) (por la regla 1)
3.Det(erminante) N(OMBRE) PRED(ICADO) (por la regla 2)
4.Det(erminante) N(OMBRE) V(ERBO) COMP(LEMENTO) (por la regla
3)
5.el N(OMBRE) V(ERBO) COMP(LEMENTO) (por la regla 4)
6.el nino V(ERBO) COMP(LEMENTO) (por la regla 5)
7.el nino duerme COMP(LEMENTO) (por la regla 6)
8.el nino duerme placidamente (por la regla 7)

Det N V COMP
El nino duerme placidamente
hombre rie intranquilo
anciano come

Las categoras sintacticas definen la estructura del lenguaje representando

porciones mas o menos grandes de las frases.

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 6 / 29

 Es una
P Gramatica formal
(N, , P, S)quepuedeserclasificadocomoregularizquierdaoregularderecha.
Las gramaticas regulares solo pueden generar a los lenguakes regulares de
manera similar a los automatas finitos y las empresiones regulares.
Dos gramaticas regulares que generan el mismo lenguaje regular se
denominan equivalentes. Toda gramatica regular es una gramatica libre de
contexto.
Una gramatica regular derecha es aquella cuyas reglas de produccion P son
de la siguiente forma: P
1. A a, dondeAesunsmbolonoterminalyNyaunoterminaen
P
2. A aB, dondeAyBperteneceaNyapertenecea
3. A , dondeApertenceaN
En una gramatica regular izquierda, las reglas son de la siguiente
P forma:
1. A a, dondeAesunsmbolonotemrinalenNyaunotemrinalen
P
2. A Ba, dondeAyBpertenecenaNyaPertenecea
3. A , dondeAperteneceaN

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 7 / 29

 Una definicion equivalente evita la regla 1 (A a)
A aL
L
en el caso de la gramaticas reglares derecha y por:
A La
L
en el caso de las izquierdas.
Ejemplo
P de la gramatica regular G con N =S,A,
= a, b, c, Psedefinemediantelassiguientesreglas :
S aS
S bA
A
A cA
donde S es el simbolo inicial. esta gramatica describ el mismo lenguaje
expresada mediante la empresion regular a*bc*.

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 8 / 29

 La Jerarqua de tipo 0

Gramaticas de tipo 0 (sin restricciones), que incluye a todas las gramaticas

formales. Estas gramaticas generan todos los lenguajes capaces de ser
reconocidos por una maquina de Turing. Los lenguajes son conocidos
como lenguajes recursivamente enumerables. Esta categora es diferente de
la de los lenguajes recursivos, cuya decision puede ser realizada por una
maquina de Turing que se detenga.

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 9 / 29

 Lenguaje recursivamente enumerable

Un lenguaje recursivamente enumerable es un tipo de lenguaje formal que

es tambien llamado parcialmente decidible o Turing-computable. Son
conocidos como lenguajes tipo-0 en la Jerarqua de Chomsky.
Un lenguaje recursivamente enumerable es un lenguaje formal para el cual
existe una maquina 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
contraposicion a los lenguajes recursivos en cuyo caso se requiere que la
maquina de Turing pare en todos los casos. Todos los lenguajes regulares,
independientes de contexto, dependientes de contexto y recursivos son
recursivamente enumerables.

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 10 / 29

 Propiedades de cierre

Los lenguajes recursivamente enumerables son cerrados con las siguientes

operaciones. Esto es, si L y P son dos lenguajes recursivamente
enumerables, entonces los siguiente lenguajes son recursivamente
enumerables tambien:
el cierre estrella L * de L
La concatenacion L o P de L y P
La Union L P de L y P
La interseccion L P de L y P
L P puede no ser recursivamente enumerable
L es recursivamente enumerable si y solo si L es tambien recursivo

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 11 / 29

 La Jerarqua de tipo 1

Gramaticas de tipo 1 (gramaticas sensibles al contexto) generan los

lenguajes sensibles al contexto. Estas gramaticas tienen reglas de la forma
A A con A un no terminal y , y
cadenas de terminales y no terminales. Las cadenas y pueden ser
vacas, pero no puede serlo. La regla S S esta permitida si S no
aparece en la parte derecha de ninguna regla.
Los lenguajes descritos por estas gramaticas son exactamente todos
aquellos lenguajes reconocidos por una maquina de Turing determinista
cuya cinta de memoria esta acotada por un cierto numero entero de veces
sobre la longitud de entrada, tambien conocidas como automatas
linealmente acotados.

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 12 / 29

 Lenguaje sensible al contexto

Un lenguaje sensible al contexto es equivalente a una maquina de

Turing no determinista linealmente acotada, tambien llamado
Automata linealmente acotado. Se trata de una maquina de Turing
no determinista con una cinta de solo kn posiciones, donde n es el
tamano de la entrada y k es la constante asociada a la maquina. Esto
significa que cada lenguaje formal que puede ser decidido por una
maquina es un lenguaje sensible al contexto.

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 13 / 29

 Ejemplo

Un ejemplo de un lenguaje sensible al contexto que no es libre de contexto

es L = an , b n , c n |n >= 0
no es un lenguaje libre de contexto, pero si es un lenguaje sensible al
contexto. Una gramatica para L:

Transiciones
S aB ab
S aSBC bB bb
CB HB bC bc
HB HC cC cc
HC BC

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 14 / 29

 Automata linealmente acotado

Un automata linealmente acotado, abreviadamente LBA (del ingles, Linear

Bounded Automaton),o ALA es un automata similar a una maquina de
Turing determinista.
Los automatas linealmente acotados son similares a una maquina de
Turing, sabemos que esta ultima tiene una cinta infinita.
Para cada lenguaje sensible al contexto L existe un automata
linealmente-acotado M tales que L=L(M) L=L(M), es decir, M acepta
exactamente las secuencias de L. Para cada lenguaje L aceptada por un
automata linealmente-acotado ALA existe una gramatica sensible al
contexto que produzca exactamente LM=L(G) LM=L(G).

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 15 / 29

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 16 / 29
 Un automata linealmente acotado esta formado por los siguientes
componentes: M : Q, A, B,, q0, F , , S

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 16 / 29

 La Jerarqua de tipo 2

Gramaticas de tipo 2 (gramaticas libres del contexto) generan los

lenguajes independientes del contexto.
Las reglas son de la forma A
con A un no terminal
y una cadena de terminales y no terminales.
Estos lenguajes son aquellos que pueden ser reconocidos por un automata
con pila.

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 17 / 29

 Gramatica libre de contexto

Una gramatica libre de contexto (o de contexto libre) es una gramatica

formal en la que cada regla de produccion es de la forma:
Vw
Donde V es un smbolo no terminal y w es una cadena de terminales y/o
no terminales. El termino libre de contexto se refiere al hecho de que el no
terminal V puede siempre ser sustituido por w sin tener en cuenta el
contexto en el que ocurra. Un lenguaje formal es libre de contexto si hay
una gramatica libre de contexto que lo genera.

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 18 / 29

 Definicion formal

As como cualquier gramatica formal, una gramatica libre de contexto

puede ser definida mediante la 4-tupla:
G=(Vt , Vn , P, S)
donde :
Vt esunconjuntofinitodeterminales
Vn esunconjuntofinitodenoterminales
P es un conjunto finito de producciones
S Vn eldenominadoSmboloInicial
los elementos de PPsondelaforma
Vn (Vt Vn ) Vn

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 19 / 29

 Ejemplo

1. S ASB
2. A b
3. aaA aaBB
4. S d
5. A aA
6. B dcd
Derivada a la Izquierda y a la Derecha
S ASB aASB abSB abdB abddcd

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 20 / 29

 La Jerarqua de tipo 3

Genera los lenguajes reglares. Estas gramaticas se restringuen a aquelloas

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
S
tambien esta permitida si S no aparece en la parte derecha de nimguna
regla.
Estos lenguajes son aquellos que pueden ser aceptados por un automata
finito.

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 21 / 29

 Lenguajes Regulares (de tipo 3)

Son los lenguajes mas 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
produccion son de la siguiente forma:

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 22 / 29

 Un lenguaje regular es un tipo de lenguaje formal que satisface las
siguientes propiedades:
Los lenguajes mas sencillos que se consideraran son los lenguajes regulares,
es decir, los que se pueden generar a partir de los lenguajes basicos, con la
aplicacion de las operaciones de union, concatenacion y * de Kleene un
numero finito de veces.
Puede ser reconocido por:
un automata finito determinista
un automata finito no determinista
un automata de pila
un automata finito alterno
una maquina de Turing de solo lectura
Es generado por:
una gramatica regular
una gramatica de prefijos
Es descrito por:
una expresion regular
Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 23 / 29
 Lenguajes regulares sobre un alfabeto

Un
P lenguaje regular sobre un alfabeto
dadosedefinerecursivamentecomo :
El lenguaje vacio esunlenguajeregular
El lenguaje cadena vaca
P esunlenguajeregular
para todo smbolo a aesunlenguajeregular
Si A y B son lenguakes regulares entonces A B(unon), A
B(Concatenaci on)yA(clausuraoestrelladeKleene)sonlenguajesregulares
Si A es un lenguaje regular entonces (A) es
P el mismo lenguaje regular
No existen mas lenguajes regulares sobre

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 24 / 29

 Propiedad de Cierre

Los lenguajes regulares son cerrados con las siguientes operaciones, de

modo que si L y P son lenguajes regulares los siguientes lenguajes tambien
seran regulares:
El complemento 00 L00 00 L
00 deL
La clausura o estrella de Kleene L* de L
El homomorfismo q(L) de L
La concatenacion LP de L y P
La union L PdeLyP
La interseccion L PdeLyP
La diferencia L P de L y P
El reverso LR de L

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 25 / 29

 El conjunto de gramaticas 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 tambien dependiente del contexto, este
es recursivo y a su vez, recursivamente enumerable.
Las inclusiones son, sin embargo, propias, es decir, existen en cada
nivel lenguajes que no estan en niveles anteriores.

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 26 / 29

Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 27 / 29
Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 28 / 29
Erick Jimenez PerezBartolome Tellez Chavez Jerarqua de Chomsky 23-02-2017 29 / 29