U.T.N. F.R.T.

S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

JERARQUA DE CHOMSKY:
Gramtica

Lenguaje

Modelo Matemtico

Tipo 0: Irrestricta

Recursivamente
enumerable
(Nivel Pragmtico)

Mquina de Turing
(MT)

Tipo 1: Dependiente
del Contexto

Dependiente del
Contexto
(Nivel Semntico)

Autmata Linealmente
Limitado (ALL)

Tipo 2: Independiente
del Contexto

Independiente del
Contexto
(Nivel Sintctico)

Autmata de Pila (AP)

Tipo 3: Regular

Regular
(Nivel Lxico)

Autmata Finito (AF)

ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

JERARQUA DE CHOMSKY:
Esta clasificacin, realizada por Noam Chomsky a fines de
la dcada de 1950, implica una jerarqua de los lenguajes
generados por las gramticas de cada tipo, ya que cada
gramtica de tipo X surge de aplicar ciertas restricciones al
tipo X-1.
De tal modo que el conjunto de lenguajes recursivamente
enumerables contiene al conjunto de lenguajes
dependientes del contexto, ste contiene a los lenguajes
independientes del contexto y stos a los regulares:

L0 L1 L2 L3
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

JERARQUA DE CHOMSKY:
TIPO 0 (Irrestricta o Sin Restricciones - GI):
Gramtica estructurada por frases sin ninguna restriccin.
O sea que sus reglas de produccin tienen, en la parte izquierda al
menos un smbolo no terminal y en la parte derecha cualquier
secuencia de terminales o no-terminales, inclusive vaca.
Todo lenguaje formal generado por una GI y que no puede ser
generado por una gramtica de menor jerarqua, se llama Lenguaje
Irrestricto o Recursivamente Enumerable (LI).

ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

JERARQUA DE CHOMSKY:
Ejemplo de Gramtica Tipo 0:
G = N , T , P, S
N = { S, U, V, X, Y, Z } T = {a, b}
P: S UVX
bV Vb
ZX VbX
YX VaX
Yb bY
Ya aY
El lenguaje generado por
Zb bZ
Za aZ
esta gramtica es:
X
aV Va
L(G) = {ww / w
T* }
UV bUZ | aUY |
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

JERARQUA DE CHOMSKY:
Veamos la generacin de algunas palabras:
S UVX X
S UVX aUYX aUVaX aaX aa
S UVX bUZX bUVbX baUYbX baUbYX
baUbVaX baUVbaX babaX baba
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

JERARQUA DE CHOMSKY:
TIPO 1 (Dependiente del / Sensible al Contexto - GDC):
Gramtica estructurada por frases cuyas reglas de produccin se
restringen en la longitud de su parte derecha, la cual no puede ser
menor que la longitud de la parte izquierda. O sea que no tienen reglas
compresoras. Excepto la regla de borrado S , siempre que S no
figure a la derecha de ninguna regla, con el nico objetivo de generar la
palabra vaca.
Todo lenguaje formal generado por una GDC y que no puede ser
generado por una gramtica de menor jerarqua, se llama Lenguaje
Dependiente del Contexto (LDC).

ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

JERARQUA DE CHOMSKY:
Ejemplo de Gramtica Tipo 1:
G = N , T , P, S
N = { S, T, B, D } T = { a, b, c }
P: S T
DB BD
El lenguaje generado por esta
Dc
gramtica es:
T aTBD | abD
L(G) = {an bn cn / n 1 }
bB bb
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

JERARQUA DE CHOMSKY:
Veamos la generacin de algunas palabras:
S T abD abc
S T aTBD aabDBD aabBDD aabbDD
aabbcD aabbcc
S T aTBD aaTBDBD aaabDBDBD
aaabBDDBD aaabbDDBD aaabbDBDD
aaabbBDDD aaabbbDDD * aaabbbccc
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

JERARQUA DE CHOMSKY:
TIPO 2 (Independiente / Libre del Contexto - GIC):
Gramtica estructurada por frases cuyas reglas de produccin se
restringen en la longitud de su parte izquierda, que debe ser igual a 1.
O sea que la parte izquierda es un no-terminal y la parte derecha puede
ser cualquier secuencia de terminales o no-terminales.
Todo lenguaje formal generado por una GIC y que no puede ser
generado por una gramtica de menor jerarqua, se llama Lenguaje
Independiente del Contexto (LIC).

ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

JERARQUA DE CHOMSKY:
Ejemplo de Gramtica Tipo 2:
G = N , T , P, S
N = { S } T = { a, b }
P: S aSb | ab

El lenguaje generado por esta

gramtica es:
L(G) = {an bn / n 1 }
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

JERARQUA DE CHOMSKY:
Veamos la generacin de algunas palabras:
S ab

S aSb aabb

S aSb aaSbb aaabbb

ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

JERARQUA DE CHOMSKY:
TIPO 3 (Lineal / Regular - GR):
Gramtica estructurada por frases cuyas reglas de produccin se
restringen en la longitud de su parte izquierda, que debe ser igual a 1.
O sea que la parte izquierda es un no-terminal y la parte derecha puede
ser una secuencia de terminales con un no-terminal como sufijo (GR
por la derecha) o con un no-terminal como prefijo (GR por la izquierda)
o simplemente una secuencia de terminales.
Existe una equivalencia entre ambas formas.
Todo lenguaje formal generado por una GR por la derecha o por la
izquierda, se llama Lenguaje Regular (LR).
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

JERARQUA DE CHOMSKY:
Ejemplo de Gramtica Tipo 3 (regular por derecha):
G = N , T , P, S
N = { S, A } T = { a, b }
P: S bbS | aaA
A aaA | bb

El lenguaje generado por esta

gramtica es:
0, k
1}
L(G) = {(bb)n (aa)k bb / n
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

JERARQUA DE CHOMSKY:
Veamos la generacin de algunas palabras:
S aaA aabb
S aaA aaaaA aaaabb
S bbS bbaaA bbaabb
S bbS bbaaA bbaaaaA bbaaaabb
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

JERARQUA DE CHOMSKY:
Ejemplo de Gramtica Tipo 3 (regular por izquierda):
G = N , T , P, S
N = { S } T = { a, b }

El lenguaje generado por esta

gramtica es:
L(G) = {aaa, bbb}.{ab,ba}*

P: S Sab | Sba | aaa | bbb

ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

JERARQUA DE CHOMSKY:
Veamos la generacin de algunas palabras:
S Sab aaaab
S Sba Sabba bbbabba
S Sba Sbaba Sabbaba aaaabbaba
S Sab Sabab Sbaabab bbbbaabab
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

FORMATOS ESTNDARES:
Para todas las gramticas se puede definir un formato estndar,
de tal modo que las reglas de produccin adopten formas ms
comprensibles o ms fciles de implementar con un computador.
Como veremos en algunos casos el formato de las reglas puede
poner en evidencia caractersticas del lenguaje generado por las
mismas. Por ejemplo en las de Tipo 1 se puede apreciar la
dependencia del contexto en la derivacin de las palabras.
En otros casos las reglas de borrado (N
) pueden traer como
consecuencia la posibilidad de derivaciones arbitrariamente
largas. Por ejemplo la siguiente gramtica de Tipo 2 que genera
parntesis bien balanceados (damos slo las reglas):
1. S SS
2. S (S)
3. S
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

FORMATOS ESTNDARES:
Con esta gramtica es posible hacer derivaciones arbitrariamente
largas de una palabra tan sencilla como ( ) (el subndice de las
flechas indica la regla utilizada):
S 1 SS 1 SSS 1 . . . 3 SSS 3 SS 3 S 2 (S) 3 ( )
Si pudiramos tener una gramtica equivalente, pero sin reglas
que produzcan la cadena vaca, ya no sera posible hacer
derivaciones arbitrariamente largas. Esto puede ser una ventaja
a la hora de determinar si una palabra se deriva o no de una
gramtica, o sea en el proceso de anlisis del lenguaje generado
por la gramtica.
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

FORMATO ESTNDAR DE TIPO 0:

En el caso de las gramticas de tipo 0 o irrestrictas, se puede
transformar las reglas para obtener una gramtica equivalente de la
forma:
F.E.T.0

N1N2....Ni M1M2....Mj | donde t es un terminal y los

Nt

N y M son no-terminales.

La transformacin consiste en reemplazar todos los terminales de las

reglas que no cumplen con este formato, por nuevos smbolos noterminales y agregar reglas de la forma nuevo no-terminal deriva a
terminal correspondiente.
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

FORMATO ESTNDAR TIPO 0:

Por ejemplo, la GI vista anteriormente quedara:
G = N , T , P, S

N = { S, A, B, U, V, X, Y, Z } T = {a, b}

P: S UVX
ZX VBX
YB BY
ZB BZ
X
UV BUZ | AUY |

BV VB
YX VAX
YA AY
ZA AZ
AV VA
Aa
Bb
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

FORMATO ESTNDAR TIPO 1:

En el caso de las gramticas de tipo 1 o dependientes del contexto,
se puede transformar las reglas para obtener una gramtica
equivalente de la forma:
F.E.T.1

1 N 2 1 2 N N , + , i *
S

Pero S no figura a la derecha de

ninguna regla de produccin.

Podemos decir que N puede reemplazarse por siempre que N est

en el contexto (
1 , 2). En este formato se pone de manifiesto la
dependencia del contexto de este tipo de gramtica.
Recordemos que la excepcin S solo sirve para generar la
palabra vaca, cuando as lo requiera el lenguaje.
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

FORMATO ESTNDAR TIPO 1:

La transformacin de las reglas que no cumplen con el formato
estndar, se puede formalizar mediante los siguientes pasos:
1) Obtener el F.E.T. 0 de las reglas en cuestin.
2) Para cada regla de la forma:
X1X2...XL Z1Z2...ZK
donde los (Xi , Zj) son no-terminales, se debe agregar los noterminales nuevos Y1, Y2, ... , YL y reemplazarla por las
siguientes producciones:
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

FORMATO ESTNDAR TIPO 1:

X1X2...XL Y1X2...XL
Y1X2X3...XL Y1Y2X3...XL
..............................
Y1Y2...YL-1 XL Y1Y2...YL-1YLZL+1...ZK
Y1Y2...YL-1YLZL+1...ZK Z1Y2...YLZL+1...ZK
..............................
Z1Z2...ZL-1YLZL+1...ZK Z1Z2...ZK
Se puede verificar que estas reglas cumplen con el formato
estndar de tipo 1 y que son equivalentes a la regla de partida.
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

FORMATO ESTNDAR TIPO 1:

Apliquemos estos pasos al ejemplo de GDC visto anteriormente:
1) La nica regla que no cumple con el formato estndar es:
DB BD, y ya est en el F.E.T. 0.
2) Agregamos los nuevos no-terminales: E, F
y reemplazamos la regla en cuestin por las siguientes
producciones:
DB EB
EB EF
EF BF
BF BD
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

FORMATO ESTNDAR TIPO 1:

De tal modo que la GDC equivalente resulta ser:
G = N , T , P, S N = { S, T, B, D, E, F } T = { a, b, c }
P: S T
DB EB
EB EF
EF BF
BF BD
Dc
T aTBD | abD
bB bb
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

FORMATO ESTNDAR TIPO 1:

Veamos ahora un ejemplo arbitrario de una regla de tipo 1, que
no cumple con el formato estndar: aXb YcZde
1) Agregamos los nuevos no-terminales: A, B, C, D, E
y reemplazamos la regla por las siguientes producciones:
AXB YCZDE
Aa
Bb
Cc
Dd
Ee
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

FORMATO ESTNDAR TIPO 1:

2) Agregamos los nuevos no-terminales: F, G, H
y reemplazamos la regla : AXB YCZDE
por las siguientes producciones:
AXB FXB
FXB FGB
FGB FGHDE
FGHDE YGHDE
YGHDE YCHDE
YCHDE YCZDE

ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

FORMATO ESTNDAR TIPO 1:

De tal modo que la regla de partida se sustituye por las
siguientes producciones:

AXB FXB
FXB FGB
FGB FGHDE
FGHDE YGHDE
YGHDE YCHDE
YCHDE YCZDE

Aa
Bb
Cc
Dd
Ee

Como vemos todas las reglas cumplen con el formato dependiente

del contexto.
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

FORMATO ESTNDAR TIPO 1:

Analicemos ahora el problema de agregar la generacin de la
palabra vaca a una GDC que originalmente no la genera.
Se presentan dos casos:
1) Si ninguna de las producciones de la GDC contiene el axioma en
su parte derecha, se agrega la regla de borrado: S
como excepcin de regla compresora, que tendr como nico
efecto permitir la derivacin de la palabra vaca.
2) Si el axioma aparece en la derecha de alguna produccin, entonces
se realiza el siguiente artificio:
a) se introduce un nuevo smbolo inicial S1
b) se agrega a las producciones originales las reglas: S1 S |
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

FORMATO ESTNDAR TIPO 1:

En el ejemplo de GDC que hemos visto, se presenta el primer caso.
De tal modo que si deseamos agregar la generacin de la palabra
vaca, la gramtica resultante sera:

G = N , T , P, S
N = { S, T, B, D } T = { a, b, c }
P: S T |
DB BD
El lenguaje generado por esta
Dc
gramtica es:
T aTBD | abD
n bn cn / n 0 }
L(G)
=
{
a
bB bb
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

FORMATO ESTNDAR TIPO 1:

Veamos por ltimo un ejemplo del segundo caso:

G = N , T , P, S
N = { S, A } T = { a, b }
P:

S bSbb | SAS
Sb aaA
A bb
SA aa

Qu lenguaje genera esta gramtica ?

ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

FORMATO ESTNDAR TIPO 1:

La GDC equivalente que genera la palabra vaca es:

G = N , T , P, S1
N = { S1, S, A } T = { a, b }
P:

S1 S |
S bSbb | SAS
Sb aaA
A bb
Qu lenguaje genera esta gramtica ?
SA aa
ING. JORGE BUABUD

U.T.N. F.R.T.
S. y S. de los L.

GRAMTICAS Y MODELOS
MATEMTICOS

FORMATOS ESTNDARES TIPO 2 y 3:

Los siguientes son los formatos estndares de tipo 2 y tipo 3, cuya
obtencin veremos cuando profundicemos el estudio de los lenguajes
independientes del contexto y regulares respectivamente:
Forma Normal de Chomsky
FNC 2

N1 N2N3
Nt
S

Forma Normal de Greibach

FNG 2

N tW
S

Forma Normal de Chomsky

FNC 3

N1 tN2
Nt
S

N
N , t
T , W
N* y
si tiene la regla S
, entonces
S no figura a la derecha de
ninguna regla de produccin.
ING. JORGE BUABUD