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, filosofa " poltica. Muchos no dudan en calificarle 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%".
/esde ni0o co!en12 a desarrollar su afici2n por la poltica, el pri!er artculo 3ue
pu&lic2 a los 11 a0os en el peri2dico del colegio trata&a de la 4uerra $i#il 5spa0ola.
/esde !u" *o#en estu#o #inculado a !o#i!ientos polticos de i13uierdas cercanos al
!ar-is!o, a pesar de 3ue 6l proceda de una fa!ilia *uda de clase !edia7alta. ctual!ente
se define a s !is!o co!o 8socialista li&eral9.
$ho!s%" sie!pre se ha !ostrado especial!ente &eligerante con la poltica e-terior
de 5stados :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!6rica por reg!enes dictatoriales apo"ados por 55::, , la actitud nortea!ericana
en >riente Medio apo"ando la lnea dura de los israeles, la inter#enci2n !ilitar en la
4uerra del 4olfo " 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 conflicto est' ahora
!'s 3ue nunca de actualidad. l final de este te-to, he incluido un par de enlaces a
entre#istas con $ho!s%" despu6s de los ata3ues terroristas.
?u actitud poltica ha hecho de 6l una figura de inspiraci2n para algunos
!o#i!ientos de i13uierdas, " un ene!igo para !uchos otros. 5special!ente negati#a es su
relaci2n con la prensa estadounidense, a la 3ue sie!pre ha acusado de en!ascarar las
acciones del go&ierno de for!a su&*eti#a " de *ustificar !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 3ue !'s nos incu!&e co!o estudiantes de infor!'tica,
ha" 3ue se0alar 3ue su aportaci2n a la ciencia de la $o!putaci2n ha sido !u" significati#a.
?e le considerada el fundador de la 4ra!'tica generati#a transfor!acional. ?us an'lisis del
lengua*e parten de las oraciones &'sicas 3ue 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 finito de smbolos terminales (las
pala&ras en un lengua*e for!al), un con*unto finito de smbolos no terminales, un con*unto
de reglas de produccin con un lado i13uierdo " otro derecho, " un smbolo inicial.
Las reglas se aplican sustitu"endo la parte de la i13uierda por la parte de la derecha.
:na deri#aci2n es una secuencia de aplicaciones de reglas.
$ada gra!'tica define el lengua*e for!al de todas las sentencias 3ue est'n for!adas
e-clusi#a!ente por los s!&olos ter!inales a los 3ue se puede llegar !ediante deri#aci2n 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-,*-,)-
717
Teora de Autmatas y Lenguajes Formales Curso 2001/2002
Marta Gonzalo Garca 22/10/01
2. ,)- .s$endo el sm'olo /aco0
@. ,*-,A- ,A-,*-
A. ,*-,)- '
B. ,*-' ''
<. ,A-' a'
(. ,A-a aa
sta gram#t$ca de1$ne todas las !ala'ras de la 1orma a
n
'
n
+ 2eamos dos ejem!los .s$em!re
!art$endo del sm'olo $n$c$al )0+ ntre !ar3ntes$s se $nd$ca la regla de !roducc$n ut$l$zada+
,)- ,A-,*-,)- .10
,A-,*-,)- ,A-' .40
,A-' a' .50
,)- ,A-,*-,)- .10
,A-,*-,)- ,A-,*-,A-,*-,)- .10
,A-,*-,A-,*-,)- ,A-,A-,*-,*-,)- .60
,A-,A-,*-,*-,)- ,A-,A-,*-' .40
,A-,A-,*-' ,A-,A-'' .70
,A-,A-'' ,A-a'' .50
,A-a'' aa'' .80
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-
@. ,F@;MA <@M><AL- ,A;T>C=L@- ,<@M*;-
A. ,A;T>C=L@- el
B. ,<@M*;- Com're D l$'ro D 'aln
<. ,B;?>CA?@- ,2;*@- ,F@;MA <@M><AL -
(. ,2;*@- 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 ,2;*@- ,F@;MA <@M><AL-
el Com're ,2;*@- ,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 lengua*e generado por esta
gra!'tica, as co!o otros enunciados , el libro compr el baln, el baln
compr el hombre, etc.
jem!lo 6 " ;eglas de !roducc$n"
1. ,<T;@- ,)>G<@-,)C=<C>A-
2. ,)>G<@- E D F D
@. ,)C=<C>A- ,?>G>T@- D ,?>G>T@-,)C=<C>A-
A. ,?>G>T@- D 0 D 1 D 2 D 6 D 4 D 7 D 5 D 8 D G D H
$%os &# 'ramt!as
Gramt!as $%o ( (sin restricciones, recursi#as)
Inclu"en todas las gra!'ticas for!ales. 4eneran todos los lengua*es 3ue pueden
ser reconocidos por una !'3uina de Turing.
Gramt!as $%o ) (dependientes de conte-to)
4eneran los lengua*es dependientes de conte-to. $ontienen reglas de producci2n
de la for!a,

727
Teora de Autmatas y Lenguajes Formales Curso 2001/2002
Marta Gonzalo Garca 22/10/01
A es un no ter!inal
, " so* cadenas de ter!inales " no ter!inales.
" pueden ser #acos, pero ha de ser distinto del #aco.
?e deno!inan gra!'ticas dependientes del conte-to, por3ue, co!o se o&ser#a,
puede ser sustituido por si est' aco!pa0ada de por la i13uierda " de por la
derecha.
5stos lengua*es son todos los lengua*es 3ue pueden ser reconocidos por una
!'3uina de Turing no deter!inista. (aut2!atas lineales acotados)
Gramt!as $%o + (independientes de conte-to, li&re de conte-to)
4eneran los lengua*es li&res de conte-to. 5st'n definidas por reglas de la for!a,

A es un no ter!inal
es una cadena de ter!inales " no ter!inales.
?e deno!inan independientes de conte-to por3ue puede sustituirse por
independiente!ente de las cadenas por las 3ue est6 aco!pa0ada.
Los lengua*es independientes de conte-to constitu"en la &ase te2rica para la
sinta-is de la !a"ora de los lengua*es de progra!aci2n. /efinen la sinta-is de
las declaraciones, las proposiciones, las e-presiones, etc.(es decir, la estructura
de un progra!a)
5stos lengua*es son todos los lengua*es 3ue pueden ser reconocidos por los
aut2!atas de pila.
Gramt!as $%o , (gra!'ticas regulares)
4eneran los lengua*es regulares. Las reglas se restringen a un Cnico no ter!inal
en la parte i13uierda " una parte derecha co!puesta por un Cnico ter!inal 3ue
puede estar seguido o no de un Cnico no ter!inal. 5s decir, nor!as del tipo,
a a B B
a a
5stos lengua*es son los 3ue pueden ser decididos por un aut2!ata finito
(regular). Los lengua*es regulares se utili1an para definir estructura l6-ica de los
lengua*es de progra!aci2n. /efinen la sinta-is de los identificadores, nC!ero,
cadenas " otros s!&olos &'sicos del lengua*e.
I!portanteDD , Todo lengua*e de tipo @ es de tipo 2, todo
lengua*e de tipo 2 es de tipo 1, " todo lengua*e de tipo 1
es de tipo ).
?e dice 3ue un lengua*e es de tipo % E% F ), % F 1, % F 2,
% F @G cuando e-iste una gra!'tica de tipo % 3ue genera
ese lengua*e.
Hara clasificar una gra!'tica he!os de anali1ar una a una
todas sus reglas de producci2n o&teniendo el tipo de cada
una de ellas. La clasificaci2n de la gra!'tica ser' la
correspondiente al tipo de la producci2n de !enor
clasificaci2n.
Gramt!a L#*'-a.#
R#'"as &#
/ro&-!!0*
S 1 r#"a!0*
#*tr# 22 y 22
So"-!0*
Tipo7) Iecursi#as ?in restricciones M'3uinas de Turing
Tipo71 /ependiente de conte-to JK JLK
MM MM ut2!atas lineales
acotados
Tipo72 Independiente de conte-to A L MM F 1 ut2!atas de pila
7@7
Teora de Autmatas y Lenguajes Formales Curso 2001/2002
Marta Gonzalo Garca 22/10/01
Tipo7@ Iegular
A> aB
A a
ut2!atas finitos,
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 ? 7N O. ?i se da este caso, entonces no puede tener
una ? en la parte derecha de ninguna regla.
jem!los"
o T$!o de la regla de !roducc$n ,A-,*- y
T$!o 6" <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 6" <o
T$!o 2" ) ;egla de !roducc$n de T$!o 2
T$!o 1" )
T$!o 0" )
R#3#r#*!as4
puntes de Introduccin a la Programacin ($urso 2)))P2))1). Q5?R?
SL;I5T. Tema 2 : Gramticas
Introduccin a la Teora de Autmatas (1998) Q>?U .T>.I> MLHI$.
?er#icio de Hu&licaciones de la :ni#ersidad de lcal'.
I*3orma!0* #* I*t#r*#t4
Qerar3ua de 4ra!'ticas " Lengua*es,
o http,PPVVV.Vi%ipedia.co!PVi%iP$ho!s%"Whierarch"
o http,PPVVV.it1.edu.!-PXl#e"naPauto!atasPunidad2.ht! (en espa0ol)
o VVV.csi.ull.esPXsandePtalfPtalf.ht!l (en espa0ol)
o http,PPVVV.Verth!oeller.deP/o%usPaufsPnode@.ht!l
o http,PPVVV.neta-s.co!PpeoplePnerpPauto!ataPcho!s%"A.ht!l
o http,PPVVV.li&.uchicago.eduP%eithPtcl7coursePtopicsPrege-p.ht!l
.oa! $ho!s%" (&iografa, entre#istas...)
o http,PP!itpress2.!it.eduPe7&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 despu6s de los
ata3ues terroristas a 55::)
7A7
Teora de Autmatas y Lenguajes Formales Curso 2001/2002
Marta Gonzalo Garca 22/10/01
o http,PPVVV.*ornada.una!.!-P2))1Psep)1P)1)91BP))<n1!un.ht!l
(entre#ista despu6s de los ata3ues terroristas a 55:: , en espa0ol)
7B7