TIPOS DE CLASIFICACIN DE

GRAMTICA SEGN CHOMSKY

Romina Cofr Mondaca
Teora Autmata 2016

INTRODUCCIN

Las gramticas nos permitirn

reconocer lenguajes y los
autmatas podrn reconocer las
palabras de dichos lenguajes.
En el presente trabajo, se
presentar materia referente al
campo de la lingstica. En la
dcada de los aos 50 el lingista y
pensador Noam Chomsky.

OPERACIONES ENTRE
LENGUAJES
Puesto que los lenguajes son subconjuntos,
las operaciones usuales entre conjuntos son
tambin operaciones vlidas entre lenguajes.
Por ejemplo A y B son lenguajes sobre , es
decir A,B * y funcionan las operaciones;
unin , interseccin , diferencia A B,
complemento Ac = * - A.

Tambin tenemos nuevas operaciones

definidas especialmente para los strings:
Concatenacin y Cierre de Kleene.

CLASIFICACIN DE
GRAMTICAS FORMALES

L A JERARQUA DE CHOMSKY
CONSTA DE CUATRO NIVELES:

Tipo

Lenguaje

Recursivamente Enumerable

Dependiente del Contexto

Indepentendiente
Contexto
Regular

del

CUALQUIER LENGUAJE DE TIPO

3 CONTIENE ES A SU VEZ UN
LENGUAJE DE TIPO 2, ES DECIR
CADA NIVEL CONTIENE L A
ANTERIOR, SIN EMBARGO, LO
CONTRARIO NO ES CIERTO.

GRAMTICA DE TIPO 0

Se conocen as porque no tiene restriccin

alguna en cuanto a sus reglas de produccin.
Tanto el lado izquierdo como el derecho de las
reglas de produccin pueden contener
cualquier cadena finita de terminales
(constantes) y no terminales (variables),
siempre y cuando exista por lo menos un no
terminal en el lado izquierdo.

GRAMTICA DE TIPO 1

Llamadas dependientes del contexto. La

parte derecha de todas las reglas debe
obtenerse por sustitucin de
exactamente un smbolo no terminal de
la palabra que aparece a la izquierda de
dicha regla y no hay ninguna regla
compresora salvo quiz S := , siendo S
el axioma. Formalmente,
P = { vAw:=vxw : v,w,x, AN}

GRAMTICA DE TIPO 2

Llamadas independientes del

contexto. La parte izquierda de
todas las reglas debe ser
exactamente un nico no terminal
y no hay ninguna regla compresora
salvo quiz S:= , siendo S el
axioma. Formalmente,
P = {A:= w : w , AN}

GRAMTICA DE TIPO 3

O llamadas regulares. No hay ninguna regla

compresora salvo quiz S:= , siendo S el axioma;
adems la parte izquierda de todas las reglas debe
ser exactamente un nico no terminal y la parte
derecha o es un nico smbolo terminal o bien es
un terminal seguido de un no terminal o al revs.

Las gramticas regulares se dividen en dos clases

atendiendo a esta ltima condicin.
Gramtica lineal a la izquierda, sus reglas son de
uno de los tipos siguientes A:= b, A:= Ab, siendo
AN , bT.
Gramtica lineal a la derecha, sus reglas son de
uno de los tipos siguientes A:= b, A:= bA, siendo
AN , bT.

FIN
Romina Cofr Mondaca

Bibliografa
Florencio, N. I. (2011).
Tipos de Lenguajes
Formales.
Merino, I. L. Teora de
Autmatas y Lenguajes
Formales.