Instituto Politcnico

Nacional

Escuela Superior de
Cmputo
Departamento de Ciencias e Ingeniera de
la Computacin
Academia de Algoritmia y
Programacin

Teora
Computacional

Mtra. Snchez Garca

Luz Mara

Contenido
Jerarqua de Chomsky Gramticas tipo 3
Gramticas tipo 2
Gramticas tipo 1
Gramticas tipo 0
Descripcin de las gramticas
Gramticas tipo 3
Gramticas tipo 2
Gramticas tipo 1
Gramticas tipo 0

Jerarqua de Chomsky

Jerarqua de Chomsky
En funcin de la forma de sus
producciones, se puede caracterizar
qu tan compleja es una gramtica
formal.
Noam Chomsky mostr que esta
caracterizacin
clasifica
jerrquicamente a las gramticas
formales: Gramticas en un nivel estn
incluidas en los siguientes niveles y
la
inclusin
entre niveles es

propia.

Jerarqua de Chomsky

Jerarqua de
Chomsky
Gramticas Tipo 3 (gramticas regulares)
Generan los lenguajes regulares. Las reglas
(producciones) se restringen a un nico no
terminal en la parte izquierda y una parte
derecha compuesta por un nico terminal que
puede estar seguido o antecedido, de un nico no
terminal. Es decir, normas del tipo:
Aa
A aB
A Ba
Estos lenguajes son los que pueden ser
decididos por un
autmata finito (regular).
Los lenguajes regulares se utilizan para
definir estructura lxica de los lenguajes de
programacin. Definen la sintaxis de los

identificadores, nmeros, cadenas y otros

elementos bsicos del lenguaje.

Jerarqua de Chomsky
Gramticas Tipo 2(independientes o libres de
contexto)
Generan los lenguajes libres de contexto.
Estn definidas por reglas de la forma: A
A es un no terminal
es una cadena de terminales y no terminales.
Se denominan independientes de contexto
porque
A
puede
sustituirse
por

independientemente de las cadenas por las que

est acompaada.
Estos lenguajes son todos los lenguajes que
pueden ser reconocidos por los autmatas de
pila. Los lenguajes independientes de contexto
constituyen
la
base
terica para la
sintaxis de la mayora de los lenguajes de
programacin. Definen la sintaxis de las
declaraciones,
las
proposiciones,
las
expresiones, etc.(i.e. la estructura de un
programa).

Jerarqua de Chomsky
Gramticas Tipo 1 (Continuacin)

Se denominan gramticas dependientes del

contexto, porque, como se observa, A puede
ser sustituido por si est acompaada de
por la izquierda y de por la derecha.
Estos lenguajes son todos los lenguajes que
pueden ser reconocidos por autmatas
lineales acotados (Mquina de Turing
Determinista).

Jerarqua de
Chomsky
Gramticas Tipo 0 (sin restricciones, recursivas)

Incluyen todas las gramticas formales.

El ms general, al que pertenece la
semntica de los lenguajes naturales y
artificiales.
A estos lenguajes no se les impone restriccin
alguna.
Estos lenguajes son todos los lenguajes que
pueden ser reconocidos por una mquina de
Turing.

Jerarqua de Chomsky
Observaciones
Se dice que un lenguaje es de tipo k [k = 0,
k = 1, k = 2, k = 3] cuando existe una
gramtica de tipo k que genera ese lenguaje.
La clasificacin de la gramtica ser la
correspondiente al tipo de la produccin de
menor clasificacin.

Jerarqua de Chomsky
Observaciones

Descripcin de las
gramticas
Regulares (tipo 3 o G3)
Gramticas Regulares (tipo 3 o G3) El
lado izquierdo consiste slo de una
variable.
El lado derecho consiste de Un smbolo
terminal
seguido de un no terminal
Un smbolo no terminal seguido de un
terminal
Slo un smbolo terminal
La cadena vaca
P.g.: A aB | a |

Descripcin de las
gramticas
Regulares (tipo 3 o G3)

Descripcin de las
gramticas
Libres de Contexto, GLC, (tipo 2 o G2)
Gramticas Libres de Contexto, GLC, (tipo
2 o G2) El lado
izquierdo consiste slo de
una variable.
No hay restricciones para el lado derecho.

P.g.: S aSb | ab |

Descripcin de las
gramticas
Libres de Contexto, GLC, (tipo 2 o G2)

Descripcin de las
gramticas
Dependientes de contexto (tipo 1 o G1)
Gramticas Dependientes de Contexto (tipo
1 o G1) A es un smbolo no terminal. Adems,
las reglas son no-contractivas, i.e. la longitud
del lado izquierdo es menor o igual a la longitud
del lado derecho. Esta propiedad de nocontraccin garantiza que un lenguaje sensitivo al
contexto no contiene .
P.g.:
S abc |
aAbc
bB baBb

Ab Bcb a Ac
aBbcc
aB aa |
aaA

Descripcin de las
gramticas
Dependientes de contexto (tipo 1 o G1)

Descripcin de las
gramticas
Sin restriccines (tipo
0 o G0)
Gramticas
sin las
restricciones para
reglas.
P.g.:
S aSBC | aBC
CB

B bb
aB
bC

Abc
bc

(tipo
o

aB
ab
cC c

G0) no ha
,
y

Descripcin de las
gramticas
Gramticas sin restriccin (tipo 0 o G0)