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?@- ,)=A T@- ,B; ?>CA?@2. ,)=A T@- ,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?@- ,)=A T@- ,B; ?>CA?@,)=A T@- ,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><ALel Com're ,2 ;*@- ,F@;MA <@M><AL- el Com're tom ,F@;MA <@M><ALel 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>A2. ,)>G<@- E D F D @. ,) C= <C>A- ,?>G>T@- D ,?>G>T@-,) C= <C>AA. ,?>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, aB 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 Tipo7) Tipo71 Tipo72 L#*'-a.# Iecursi#as /ependiente de conte-to R#'"as &# /ro&-!! 0* ?in restricciones J K JLK MM MM MM F 1 S 1 r#"a! 0* #*tr# 2 2 y 2 2 So"-! 0* M'3uinas de Turing ut2!atas lineales acotados ut2!atas de pila

Independiente de conte-to A L

7@7

Teora de Autmatas y Lenguajes Formales Curso 2001/2002 Marta Gonzalo Garca 22/10/01 A> aB Aa ut2!atas finitos, regulares

Tipo7@

Iegular

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 o T$!o 6" <o T$!o 2" <o T$!o 1" <o T$!o 0" ) ;egla de !roducc$n de T$!o 0

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> M LHI$ . ?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