Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Chomsky
Chomsky
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 -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 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-,*-,)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><AL3. ,F@;MA <@M><AL- ,A;T>C=L@- ,<@M*; 4. ,A;T>C=L@- el 5. ,<@M*; - Com're D l$'ro D 'aln 6. ,B; ?>CA?@- ,2 ;*@- ,F@;MA <@M><AL 7. ,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 lenguaje generado por esta
gramtica, as como 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-
Teora de Autmatas y Lenguajes Formales Curso 2001/2002 Marta Gonzalo Garca 22/10/01 2. 3. 4. ,)>G<@- E D F D ,) C= <C>A- ,?>G>T@- D ,?>G>T@-,) C= <C>A,?>G>T@- D 0 D 1 D 2 D 6 D 4 D 7 D 5 D 8 D G D H
Teora de Autmatas y Lenguajes Formales Curso 2001/2002 Marta Gonzalo Garca 22/10/01
/efinen la sinta-is de los identificadores, nC!ero, cadenas " otros s!&olos &'sicos del lengua*e. Importante : !odo lenguaje de tipo 3 es de tipo 2, todo lenguaje de tipo 2 es de tipo 1, " todo lenguaje de tipo 1 es de tipo #. ?e dice 3ue un lengua*e es de tipo % D% E ), % E 1, % E 2, % E @F cuando e-iste una gra!'tica de tipo % 3ue genera ese lengua*e. Gara 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* ?in restricciones I J IKJ AK A> aB Aa LL LL LL E 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 ut2!atas finitos, regulares
I J " K son cadenas de ter!inales " no ter!inales. La cadena K no puede ser la cadena #aca. Todo tipo de gra!'tica puede incluir la ? 7M N. ?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" )
-4-
Teora de Autmatas y Lenguajes Formales Curso 2001/2002 Marta Gonzalo Garca 22/10/01 T$!o 0" )
R#3#r#*! as4 puntes de Introduccin a la Programacin ($urso 2)))O2))1). P5?Q? RL; H5S. Tema 2 : Gramticas. Introduccin a la Teora de Autmatas. (1998) P>?T .T>.I> M LGI$ . $er%icio de &u'licaciones de la (ni%ersidad de )lcal. I*3orma! 0* #* I*t#r*#t4 Perar3ua de 4ra!'ticas " Lengua*es, o http,OOUUU.Ui%ipedia.co!OUi%iO$ho!s%"Vhierarch" o http,OOUUU.it1.edu.!-OWl#e"naOauto!atasOunidad2.ht! (en espa0ol) o UUU.csi.ull.esOWsandeOtalfOtalf.ht!l (en espa0ol) o http,OOUUU.Uerth!oeller.deO/o%usOaufsOnode@.ht!l o http,OOUUU.neta-s.co!OpeopleOnerpOauto!ataOcho!s%"A.ht !l o http,OOUUU.li&.uchicago.eduO%eithOtcl7 courseOtopicsOrege-p.ht!l .oa! $ho!s%" (&iografa, entre#istas...) o http,OO!itpress2.!it.eduOe7&oo%sOcho!s%" (co!pleta &iografa de $ho!s%" online ) o http,OOUUU2.prestel.co.u%OlittletonO*pVnoa!c.ht! (entre#ista de 1992, so&re su #ida " los aconteci!ientos polticos del siglo) o http,OOUUU.counterpunch.orgOcho!s%"int#.ht! (entre#ista despu6s de los ata3ues terroristas a 55::) o http,OOUUU.*ornada.una!.!-O2))1Osep)1O)1)91BO))<n1!u n.ht!l (entre#ista despu6s de los ata3ues terroristas a 55:: , en espa0ol)
-5-