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