Teora de Autmatas y Lenguajes Formales Curso 2001/2002

Marta Gonzalo Garca 22/10/01

CLASIFICACIN DE LENGUAJES FORMALES DE CHOMSKY.
Noam Chomsky
Lingista estadounidense nacido en 1928, profesor del Instituto de
Tecnologa de Massachussets (MIT). parte de co!o lingista "
profesor uni#ersitario, es !u" conocido por su faceta de intelectual "
crtico acti#ista poltico.
$ho!s%" ha pu&licado !'s de () li&ros " !'s de 1))) artculos
so&re di#ersos te!as co!o lingstica, *losofa " poltica. Muchos no
dudan en cali*carle co!o uno de los persona+es !'s destacados del
siglo ,,. $o!o no poda ser de otra !anera, Internet !uestra la
rele#ancia de este persona+e- e.isten nu!erosas p'ginas relacionadas
con /oa! $ho!s%".
0esde ni1o co!en23 a desarrollar su a*ci3n por la poltica- el
pri!er artculo 4ue pu&lic3 a los 11 a1os en el peri3dico del colegio
trata&a de la 5uerra $i#il 6spa1ola. 0esde !u" +o#en estu#o #inculado
a !o#i!ientos polticos de i24uierdas cercanos al !ar.is!o, a pesar de
4ue 7l proceda de una fa!ilia +uda de clase !edia8alta. ctual!ente se
de*ne a s !is!o co!o 9socialista li&eral:.
$ho!s%" sie!pre se ha !ostrado especial!ente &eligerante con
la poltica e.terior de 6stados ;nidos, +ugando un i!portante papel en
las protestas contra la guerra de <ietna! en los =)>s. si!is!o ha
denunciado " criticado los cr!enes co!etidos en $entroa!7rica por
reg!enes dictatoriales apo"ados por 66;;, , la actitud nortea!ericana
en ?riente Medio apo"ando la lnea dura de los israeles, la inter#enci3n
!ilitar en la 5uerra del 5olfo " en general la poltica e.terior del !undo
occidental. La!enta&le!ente " co!o consecuencia de los tr'gicos
sucesos del 11 de septie!&re, el con@icto est' ahora !'s 4ue nunca de
actualidad. l *nal de este te.to, he incluido un par de enlaces a
entre#istas con $ho!s%" despu7s de los ata4ues terroristas.
Au actitud poltica ha hecho de 7l una *gura de inspiraci3n para
algunos !o#i!ientos de i24uierdas, " un ene!igo para !uchos otros.
6special!ente negati#a es su relaci3n con la prensa estadounidense, a
la 4ue sie!pre ha acusado de en!ascarar las acciones del go&ierno de
for!a su&+eti#a " de +usti*car !asacres en otros lugares del !undo en
no!&re de la +usticia " de los #alores de!ocr'ticos.
$entr'ndonos "a en el te!a 4ue !'s nos incu!&e co!o
estudiantes de infor!'tica, ha" 4ue se1alar 4ue su aportaci3n a la
ciencia de la $o!putaci3n ha sido !u" signi*cati#a. Ae le considerada
el fundador de la 5ra!'tica generati#a transfor!acional. Aus an'lisis
del lengua+e parten de las oraciones &'sicas 4ue se desarrollan "
ter!inan en una #ariedad de co!&inaciones sint'cticas al aplicar una
serie de reglas.
Gramt!as Forma"#s
;na gra!'tica for!al consta de un con+unto *nito de smbolos
terminales (las pala&ras en un lengua+e for!al), un con+unto *nito de
-1-
Teora de Autmatas y Lenguajes Formales Curso 2001/2002
Marta Gonzalo Garca 22/10/01
smbolos no terminales, un con+unto de reglas de produccin con un
lado i24uierdo " otro derecho, " un smbolo inicial.
Las reglas se aplican sustitu"endo la parte de la i24uierda por la
parte de la derecha. ;na deri#aci3n es una secuencia de aplicaciones de
reglas.
$ada gra!'tica de*ne el lengua+e for!al de todas las sentencias
4ue est'n for!adas e.clusi#a!ente por los s!&olos ter!inales a los
4ue se puede llegar !ediante deri#aci3n a partir del s!&olo inicial.
jem!lo 1" Gram#t$ca con term$nales %a& '(& no term$nales %)&A&*( y las s$gu$entes reglas de
!roducc$n& y sm'olo $n$c$al )+
1+ ,)- ,A-,*-,)-
2+ ,)- .s$endo el sm'olo /aco0
1+ ,*-,A- ,A-,*-
2+ ,*-,)- '
3+ ,*-' ''
4+ ,A-' a'
5+ ,A-a aa
sta gram#t$ca de6$ne todas las !ala'ras de la 6orma a
n
'
n
+ 7eamos dos ejem!los .s$em!re
!art$endo del sm'olo $n$c$al )0+ ntre !ar8ntes$s se $nd$ca la regla de !roducc$n ut$l$zada+
,)- ,A-,*-,)- .10
,A-,*-,)- ,A-' .20
,A-' a' .40
,)- ,A-,*-,)- .10
,A-,*-,)- ,A-,*-,A-,*-,)- .10
,A-,*-,A-,*-,)- ,A-,A-,*-,*-,)- .10
,A-,A-,*-,*-,)- ,A-,A-,*-' .20
,A-,A-,*-' ,A-,A-'' .30
,A-,A-'' ,A-a'' .40
,A-a'' aa'' .50
jem!lo 2 " Gram#t$ca 9ue construye un !e9ue:o su'conjunto del lenguaje natural
o ;eglas de !roducc$n"
1+ ,<=<C>A?@- ,)=AT@- ,B;?>CA?@-
2+ ,)=AT@- ,F@;MA <@M><AL-
1+ ,F@;MA <@M><AL- ,A;T>C=L@- ,<@M*;-
2+ ,A;T>C=L@- el
3+ ,<@M*;- Com're D l$'ro D 'aln
4+ ,B;?>CA?@- ,7;*@- ,F@;MA <@M><AL -
5+ ,7;*@- tom D com!r
,<=<C>A?@- ,)=AT@- ,B;?>CA?@-
,)=AT@- ,B;?>CA?@- ,F@;MA <@M><AL- ,B;?>CA?@-
,F@;MA <@M><AL- ,B;?>CA?@- ,A;T>C=L@- ,<@M*;-,B;?>CA?@-
,A;T>C=L@- ,<@M*;-,B;?>CA?@- el ,<@M*;-,B;?>CA?@-
el ,<@M*;-,B;?>CA?@- el Com're ,B;?>CA?@-
el Com're ,B;?>CA?@- el Com're ,7;*@- ,F@;MA <@M><AL-
el Com're ,7;*@- ,F@;MA <@M><AL- el Com're tom ,F@;MA <@M><AL-
el Com're tom ,F@;MA <@M><AL- el Com're tom ,A;T>C=L@- ,<@M*;-
el Com're tom ,A;T>C=L@- ,<@M*;- el Com're tom el ,<@M*;-
el Com're tom el ,<@M*;- el Com're tom el l$'ro
el hombre tom el libro pertenecera por tanto al lenguaje generado por esta
gramtica, as como otros enunciados : el libro compr el baln, el baln compr
el hombre, etc.
jem!lo 1 " ;eglas de !roducc$n"
1+ ,<T;@- ,)>G<@-,)C=<C>A-
-2-
Teora de Autmatas y Lenguajes Formales Curso 2001/2002
Marta Gonzalo Garca 22/10/01
2+ ,)>G<@- E D F D
1+ ,)C=<C>A- ,?>G>T@- D ,?>G>T@-,)C=<C>A-
2+ ,?>G>T@- D 0 D 1 D 2 D 1 D 2 D 3 D 4 D 5 D G D H
$%os &# 'ramt!as
Gramt!as $%o ( (sin restricciones, recursi#as)
Inclu"en todas las gra!'ticas for!ales. 5eneran todos los
lengua+es 4ue pueden ser reconocidos por una !'4uina de
Turing.
Gramt!as $%o ) (dependientes de conte.to)
5eneran los lengua+es dependientes de conte.to. $ontienen
reglas de producci3n de la for!a-

A es un no ter!inal
, " so* cadenas de ter!inales " no ter!inales.
" pueden ser #acos, pero ha de ser distinto del #aco.
Ae deno!inan gra!'ticas dependientes del conte.to, por4ue,
co!o se o&ser#a, puede ser sustituido por si est'
aco!pa1ada de por la i24uierda " de por la derecha.
6stos lengua+es son todos los lengua+es 4ue pueden ser
reconocidos por una !'4uina de Turing no deter!inista.
(aut3!atas lineales acotados)
Gramt!as $%o + (independientes de conte.to, li&re de
conte.to)
5eneran los lengua+es li&res de conte.to. 6st'n de*nidas por
reglas de la for!a-

A es un no ter!inal
es una cadena de ter!inales " no ter!inales.
Ae deno!inan independientes de conte.to por4ue puede
sustituirse por independiente!ente de las cadenas por las 4ue
est7 aco!pa1ada.
Los lengua+es independientes de conte.to constitu"en la &ase
te3rica para la sinta.is de la !a"ora de los lengua+es de
progra!aci3n. 0e*nen la sinta.is de las declaraciones, las
proposiciones, las e.presiones, etc.(es decir, la estructura de un
progra!a)
6stos lengua+es son todos los lengua+es 4ue pueden ser
reconocidos por los aut3!atas de pila.
Gramt!as $%o , (gra!'ticas regulares)
5eneran los lengua+es regulares. Las reglas se restringen a un
Bnico no ter!inal en la parte i24uierda " una parte derecha
co!puesta por un Bnico ter!inal 4ue puede estar seguido o no
de un Bnico no ter!inal. 6s decir, nor!as del tipo-
a C a C
a a
6stos lengua+es son los 4ue pueden ser decididos por un
aut3!ata *nito (regular). Los lengua+es regulares se utili2an
para de*nir estructura l7.ica de los lengua+es de progra!aci3n.
-3-
Teora de Autmatas y Lenguajes Formales Curso 2001/2002
Marta Gonzalo Garca 22/10/01
0e*nen la sinta.is de los identi*cadores, nB!ero, cadenas "
otros s!&olos &'sicos del lengua+e.
Importante!! : Todo lenguaje de tipo 3 es de tipo 2, todo
lenguaje de tipo 2 es de tipo 1, y todo lenguaje de tipo 1
es de tipo 0.
Ae dice 4ue un lengua+e es de tipo % D% E ),
% E 1, % E 2, % E FG cuando e.iste una
gra!'tica de tipo % 4ue genera ese lengua+e.
Hara clasi*car una gra!'tica he!os de
anali2ar una a una todas sus reglas de
producci3n o&teniendo el tipo de cada una de
ellas. La clasi*caci3n de la gra!'tica ser' la correspondiente al tipo de
la producci3n de !enor clasi*caci3n.
Gramt!a L#*'-a.#
R#'"as &#
/ro&-!!0*
S 1
r#"a!0*
#*tr# 22 y 2
2
So"-!0*
Tipo8) Iecursi#as
Ain
restricciones
M'4uinas de
Turing
Tipo81
0ependiente de
conte.to
JK JLK
MM MM ut3!atas
lineales
acotados
Tipo82
Independiente de
conte.to
A L
MM E 1 ut3!atas de
pila
Tipo8F Iegular
A> aB
A a
ut3!atas
*nitos, regulares
J K " L son cadenas de ter!inales " no ter!inales. La cadena L no
puede ser la cadena #aca.
Todo tipo de gra!'tica puede incluir la A 8N O. Ai se da este caso,
entonces no puede tener una A en la parte derecha de ninguna regla.
jem!los"
o T$!o de la regla de !roducc$n ,A-,*- y
T$!o 1" <o
T$!o 2" <o
T$!o 1" <o
T$!o 0" ) ;egla de !roducc$n de T$!o 0
o T$!o de la regla de !roducc$n ,I- 'a
T$!o 1" <o
T$!o 2" ) ;egla de !roducc$n de T$!o 2
--
Teora de Autmatas y Lenguajes Formales Curso 2001/2002
Marta Gonzalo Garca 22/10/01
T$!o 1" )
T$!o 0" )
R#3#r#*!as4
puntes de Introduccin a la Programacin ($urso 2)))P2))1).
Q6ARA SL<I6T. Tema 2 : Gramticas.
Introduccin a la Teora de Autmatas. (1998) Q?AU /T?/I?
MLHI$. !er"icio de #u$licaciones de la %ni"ersidad de &lcal.
I*3orma!0* #* I*t#r*#t4
Qerar4ua de 5ra!'ticas " Lengua+es-
o http-PPVVV.Vi%ipedia.co!PVi%iP$ho!s%"Whierarch"
o http-PPVVV.it2.edu.!.PXl#e"naPauto!atasPunidad2.ht! (en
espa1ol)
o VVV.csi.ull.esPXsandePtalfPtalf.ht!l (en espa1ol)
o http-PPVVV.Verth!oeller.deP0o%usPaufsPnodeF.ht!l
o http-PPVVV.neta.s.co!PpeoplePnerpPauto!ataPcho!s%"Y.ht
!l
o http-PPVVV.li&.uchicago.eduP%eithPtcl8
coursePtopicsPrege.p.ht!l
/oa! $ho!s%" (&iografa, entre#istas...)
o http-PP!itpress2.!it.eduPe8&oo%sPcho!s%" (co!pleta
&iografa de $ho!s%" online )
o http-PPVVV2.prestel.co.u%PlittletonP+pWnoa!c.ht! (entre#ista
de 1992, so&re su #ida " los aconteci!ientos polticos del
siglo)
o http-PPVVV.counterpunch.orgPcho!s%"int#.ht! (entre#ista
despu7s de los ata4ues terroristas a 66;;)
o http-PPVVV.+ornada.una!.!.P2))1Psep)1P)1)91ZP))=n1!u
n.ht!l (entre#ista despu7s de los ata4ues terroristas a
66;; , en espa1ol)
-'-