‘Versisn en esputol dela obra sulada Theory of Ceaputation, Famal Languages, Autoate ad Complety de]. Glenn Brookshear, publica orginal Inglés por The Beamin /Curranings Publishing Company ne Rederod City, Calflora, EULA, ©1989 Esta eiciin en espanol es a nica autrizad, Poriada: Fintor audio Cus, Compile fr dela ere, Mien, 1972 (0 x Alen tenia na sobre tl (Celecii particu. Repeodacie can storizacen. 191993 por Addison-Wesley Iberoameticins, S.A. Wileingion, lm, ELA Iimpteso en Bots Unidos. Printed ie US. 29456789 100RS.9098 97 9695 96 A Earlene y CherylPREFACIO Hr dlgerado et ibeo con 6 nde que sve como texto paren er fteo- (Que desde un panto devs prctico, lw problemas peemanccensinsolucén, Sumgue exist aru solucien en ls capacidades tbricas de Tos process Computiclonaes, Tombien vetemos que os investizadores wdavia no han poco clasiicar gran canta de problanas. Por io tanto, an ro existe Fespuestaa ln pregunta des ets prblenas teu ono solin. FEnresumen locapiiulos siguientes presentan una ampli gama de temas, Ratwlaremes temas fan abstracts como el poster commputacional de 1s adquinas tic y ts capackiades de los process computacioales. Tan ‘ign -verenos lp reaclin entre sts Ideas aatracta y sitaciones tn reales ‘uma ta acpeas de consraccin decompladoreselpoercompulaciona de Teslenguss de progromacue,y pregunta con resprctoa quétan prétca es resolver Geter problemas uiizand compuradoees. Problemas de repaso del capitulo Mursite que ls sigulntss igualdades (conocidas coma keyes de DeMorgar) aon verdaders para tes cajunios XY y Z culesquera, ‘fam demosrar queA=0, demuzste ue A'S By BS A). no-Dax un GRCa BAAR 2 Demuesre que par es conjnts XY y Zcunesquler: a XAOD- An NvaKnz b Kura KuVIa Ke 2. Suponga que X = (6 My xximpan, Y= Wie Hy ves penal THES uy sc muito dete, Deseon coin dle y onjuntos siguientes. akay de Z-Y 0 g AQ-X p XunD hxngz © Xo¥ hk &oNaZ eyaz § Xam s Xuy4 Preenteuna ba on tsa cements deca we dels cnponion Spann a ste he Bebo res © tye Ue dowel 5. Enqentre empl de cnfunisno vaio pr locus serena cada une dels nuncnda sigue. RK-Y=Y hAXD=BxA eC P-Q=O-P 6 a Defina una uncing: n-sMque sea wa wo pro no sobre i. Deine ara freon Hg se sbre per ho wn un 7 Demueseque 014 2-4 + n= t+) par tedopon valores de nguepertnercan a 8 Demuestegue P42 eon gt = ENCE Den ‘es valores de m que perteneacana Rr. 2 Demenreque P+ 2 4 os 4g = OA ME ‘valores dem que pertenezcan aR. ° Inte 4 Na + 10 Demonte ue = A 4 os + ag = EES De, los valores dem que petenercan a M1, Deemer que 424.27 bon ge = Bees ‘valores de que prtenezcan a. 12. Muestre ques" — yes divisible porx rireda = sibolo; inguin doe arteioros: slew lanaina de err: Extado := Tobia [Estado,Extradel; It Estado ="etor thea sala ta rina de er, ‘unt Estado ="acoptar” “roceador sca banoda ov abla de wansonme ols fue ts Bjercicios 1, DiseRe un diagram de traaiciones para rconocerexpresianes até. {ics de longi arbirara quecomprendenenetos postvesseparadce Dor sgnos de sama rest, maltiplicacin o divin 2, Paciba ue aulizador ncn diretunena partir del siguiente agsa- sa de wansicione. igo ce oO 18. Gonstcuye wna tobe de raneiciomes «partir cel diagram de eferciio2 {yscrba un anallzador lao basa en es abl 4, _Kevestequese purde movifcarundiagramade reascionesque conti fe unareo follado por ura cadena d2simbolos de longitu dovo mis (octal sigue que pera corzera arco seregeierelncadena complet Joo un sole imbue} pare que caneng s6lo arc rotulodas eon 2mbolos senalas, pers de manera que sign aplando ls mismas fendenas que antes.28 cxPmULD munennras MTOR TIERONE ECURATES 12 AUTOMATAS FINITOS DETERMINISTAS (Concluimosta vecion anterior preguntandosilos digramasdetransicianes proporcionan una herranda con el poder aufilente para desarolat programasque reconoacen strata siedcticas de complefidadarbitraria, Enestaseccin atendemos esa pregunta, formalizando con mayor preston ‘el proceso de reeonociadentn de etructuras por meio de agrarns de teanaiclones. Nut tae dente as care cteraeas pertinent dean sistema de reconociniento de patronesconsiuldo sobre el principio dels WensEtrasorunsdclasculersleradnicalypork meow er ast wepicton: Asie dapontiv etude en fp de eta por ese deca tagerersnevnc s sinon de wna dterinae {Srnigins benelo cud par detec sibel convo ean PaandCend eaedoachaylstlorectad, estar ne wamlson de ESSijqueconstetn uncaring zeroes ol permanence ido cee aumarain eeu precsamnt rain gue oa ‘el om solo depended sm mecaniuo de contol de guia, ‘onrumodo pre cone cul de pr elmvo ead depending dk edhe edo scaly etc deena "bones nc Rrcpi an que opams de wn antitank dates mo debe coreceranbgitad, omis qe suede cee pga pre compa Exe ew puro tportnts ct ‘tatdarenon antosormayor Gel Pore tment, chsrvames qo ta itt dela lar ler dean Taman htt fcveereoquelnlnn bo ee une tit de Cees ocatng etnce mein de etns gas coe Aumans ini ead fo. oe rlonalmente “un automata finito coterminista se visualiza de lo aranonpacentbsoennfigiat a lnwciomodecrtrldels mast ‘preetoparanreunguoqvecutone una epecede cen dre Tecaospoabescainepovnioser acres deen eu Pncdor ev lento Sa 6 jo deers ai agua apt ‘oz cannl pel di nck conde sratesscapsde Strucerar wn sls Zito Coridromon que ca ene un rer Agnes pro qu seerende nse aaa ere Laine care gditrnsSbolosceesncrindtequerdan derek pormedio de ere een de ice say poi om a gure 19 ex eed por a SECS one nso, Intern delet ce mae it90 cAPTULDS sEuaTat POLY ENOL REGHLES AITOMATASFIMTOS DEVERMIMETAS 31 nie are ‘ tanner f cextezaaeieetm | pera semievacn asia drecion roca do coil Fepreseteclin de air io erin siguiente posiiom de Ia cinta. Asta posicisn donde descansa la cabeza de ‘echura corespondies la sigalente cela que se ler Pararepresentarun programaen elmecanismo de control lizamosun lagramade transcionescuyos estadosrepresntan os esiadosdela que ‘ay cuyos aos reprosentan una posible wansicién en néguina. En este Cantexto, los estados de nko y aceplaciin dat dagrama correspandlen los ‘stados de nici y de acepacton del autoenata. ‘Decimoe que un autématsfintadeterminisia aceptasu cadena de entra- da si despues de comensar suscileatos en elestadotnilalcea la cabera de Jectuca bree primer simbok de a entrada, la miquinacainbiaa ue estado ddeaceptacin despucs de ore tin smbul de lacadenu véae Fig 1.10). Sidespuds deer ellie simbulodelncadens la aiqvinand queds en tm ‘stad deaceplacion, demos que lacadenaha so rechazada. orende,un ‘itdmata fata determinisa oon exec, una maquina anaizadors de covigaacin de sop t adenine que scepin aquellasendenae aceptndas por su diagrama de trani- ). Enestasexpresonesdb ‘str ef mismo mvimero de parents Iguierdos y devechos. Ademss, at coer una expresion de injulerda a devecha, ei rere de paréntesisM0 CAPTILD AUTOWATAS FRITOR YLENOUNES REGUL recon detetados n0 debe exceder el mimaro de parénelsinqulendoe conrad fara x pao Cow et orraconts umn iui nes Aiceque andlstsdeestasexprevionesaritncicasrejulerela habla para ‘eatdareusnio parénlesisnquerdos se han encontrasio sn que ext at Partnesis derecho corespandients. Pesto que un aulimata fit ‘determinsta no ene manera de abracray ese recvento para ua referench postrior, pesos avin que easy de expresionesartmetias que ontinen prise ura tar que reba capac elon oul ints. Sin embargo, paca denosearsreueinos Gers ard. En primer hig preentamae anctcionoyconde wesunacadenadeZ* _ynesumenteronanegativo. Serta de una fara sbeviad pra represen ta cadena dem copas del patn t.Asl, s3.— gh entonees 3 sam, 22 yey = yey y Y= On cadens vac). “Ahora nectomes ol siguiente tore, ‘THOREMA 12 ‘Sun enguale regula contiene codes dea frma pas ener arbitraamente grandeo,n, entonces debe contner cadena dela forma ry donde ary 5 00900 igual arosrascion Sapanga que M es wn autdmata fins determinsta tal que LM) contiene 7" pata una m ariaeiamenie grande. Enfimces, debe ‘estr un entero postive mayor que el mimerode elados en My ‘al ques se encuerire en (ND. Pesto que existon mas simbolos len x" que estados en M, el proceso de aceptacion de x4- dard ‘como restltado que se recorca mas de una Vex alguno de 10s {stados deAante dellegaraalgunadelasyde acadena Exdecie, durante Ia loctura de atgunas des 2serecorrerd ona ruta circle al diagrnma de tansiciones de la mndquina. ij es el acimero dex Jeldas al recoror esa ruta, entonces I maquina puede acoptar la ‘cadena ¥ ecorren eta cui ana vermis (vEase Fig 16) Por Intent, exste un entre postivom (especficamentek+ )quenoes igual ak tal quesry’ se encuontea en LM. ‘Uo conscuencia nmi del eorenn 1.2 quel lengua 1 ett) ns seguar Une consacueci un pc ee mos fue > Actmatas fos deterinitan nrcen de poder subcetepaa mal trresones atari conienen patents Sun na ft ‘eteinstasceptara tales expresones,entonce tenia que seep spresines det fom CF pas enters nr orinente grander Sin Srbargorel orem t2noadie que we utconte deans po anion 9, Rtn qua 9 rome al aoptar xy Figira 148 Poids on daar do vara qu aept trio yreimo xy? be en dade el eer de prtnrniends nen {gralalntneede pork dere Astalagulrascepianerpeonet {Eh lncomacos ome comers. ars conclu,devenos aotarqoe ot subinaas Gites determin, saree tongan un poder nad, oso nes tase repos sins dead erguaje de progamason eativepeterdo quid encuenteqae Snsulbsot stone pose reconcrer oslo dally delaestrctura de I popruma yuu tras cons ex probable queens perita npn pecs expononeeaitnseas. Tor ova parte, nbnencontarf que Tos autématas fiitos pueden procesar fs entrctura dle ‘ongtr wees como palabras reservadas, nombres de vatiblesy eimbolos ide operaciones. La steplicidad de ete nivel del lengua no es fori: permite consul ef analizador kdeo del coemplador ubizando tcnicas ‘sencilas como ls preseniadas en ese cpt. Bjercicios 1, Como puede trae el autieata nit deterriniot Ma (6,2, 5,1, ‘par ober ona maquina que aceple llenguaje$*- LAND? (Enionsss, ‘leomplementn deun lengua regular com rspectoaZ* es regular) 2 lahore ura sta de ns autdmatas fits deterministae bassdos en el alfabeto fs y que fengan un estado y luego ls que tengan dos estado. 2 Muestre quest un aut fino determina e capa deacptar on _nimero de cadeas ii, enences dete act sa cadena ue Conta en Ia conaknaiOs de te bagmator les c ‘pet dl wegen cena (qo sr vac) Come esas ‘ts cadena acepable (Esse tee corm el lem de bombo ‘empinglrma, pic indie gue porden goers Ces cadres coplabes “bombeando” 0 “Pmpland” uw ena acopuable} ‘Sugeteria: Canad de nuevo Seatac do ota 12, 40 Mestre quena existe un autinata finn determinsta Mal qe LIM) = eyrrem 5.” Murstre que punde uiizare un auidmat fio determinists para reconncer una cadena de partetesankdadosy equilbeedossise segura ‘quela profundidad del anidamdento no excecerdunnivel determina. 1.4 AUTOMATAS FINITOS NO DETERMINISTAS Uns wes que nos hemos ptcatad de las ian de os stimatas inns 9 examinarahorealgunwe modifiocones que pueden ia ete tar su potencl.Aquly en los eaptulossubsecuente, erro enfoque cerh considera una educcion de las restriccones que heres inypuesw abe los _miguints, Despots de tod, la intulldn not india que ata nai tls flenbiedeberia ser cape de desempenarlreas es varias, po ota, _aceptarunlengosje queno podran sceptar ins versiones mia resiringis Sin ‘embargo. estamosa punt de ver quenvestraitulién no sempre es correla, [En fo que levamos de nuestro estudio, heenos insistido en que hs ‘diagrams de transiciones de los automaay que considers deben set nsvommrarastos noceTenMaeras 6 cents. puri teuestad spd ce wn aro ‘eermeonferminds Lamsecetoiseqvepratas daroa Foran cents ys ps un poems Perms denen deer. Asa quero enetaes Spee engi por de srs ne ee ae Tee ate eae termine ola aes tear en program que onepe arr opcones opis Tiina srtda om crs " "Kamen tan con, errdrem ifoSpo 3 gus concep sna acannon ogre nc mechan sotnain fut dermans ooytmben tala ‘iia Snmn «pur de onus feo ao pede rerun ‘nw do dressage deli .on eaten yu S/S Semen ec de be mae tee Serna ancon ote deamon pd ron saa Sete densa puck var rare gleam dona ue Foun mds Se ors tain, 0 que ange apie com Teel clam niguna ue roe compete Sl cesatjonpi codec de tarion dna, ¢ cosh eh nthetenerte dice flan igen que bes see Sito FFgoe VAT Ding de wansclones qu ass tones quo epresatan {laror 9 caceres qu fopresorten numero reslon on rats cocina!44 emuos aintuucssreatea visiounes Reon sree ‘Paraser ms precios, aunque una cadena conionce con un digits est nS Indica con exactud cul esel arco quedebesegulrses paride estado nical ‘puts eristen das posblidades una que conduceata seein del dlgrama que ‘Seccrbe fa estrctoradeurimerc en nolacin deci y 048 qe Teva a ‘eacripelon de unentro-Porlo ant an automalafinilo programadocon este ‘iagreme tera no deers. Recuerde que en el aso de wn antémata fino deterainist, decios ‘que una cadena te aceptzaialnalizarlala quia queda enuneslodode Aceptacin. Sin embargo, en el caso de wn automata fino no determina, ‘lintenio de andlisis Ge una cadena puede levar un eor simplemente Porque se fomton ls decisiones incorrectas on pnts donde estan ‘Yarns opciones (el tomamot una decision incorrectaen el primer pato del ansis de Ia cadena 352 wilizando la figura 1.17, 90 Wegariamos « un ‘ctado de aceptniém, a sar de que a cada en caostén es compatible ‘conotuas ruta del diagram) Por esto, demos que un zulSmata AP ‘detorinita acepta una cadena eet poste que su andlisis deje a bt fra en unestado deaceptacib. ~~ mo sucedeen el caso de fs putbmatsfliosdeterminits,) se considera come simbolo de foicio. Cada una do as Hines dee figura 20se lara rela de eeseritara consists enna pate eguienla yuk sdevech, conectadss por ana ech, La parte devechs deentas representa ‘a descripciin ra detallada dea prt icqultda, Por eurepl, la primera ‘eplade reeernura dela figura 1 20unicaqueuna crase>enelnetructera {de un seguido por un seguido por un . Mas Adelante eas mise figura, aparece une desripelon ts etal de estos Do terminales Ast afiguma 120 describe de manera erdequicalaestrcita ‘dena fase, comenzando con el simbale inicio ease> onmmAreAs REGUS tegen + uj tijoton + cqustartivo> cesistontives + Mavi “etustantivo> > Juan -predlcadae -+ cvetbo itransitve> _ — verbo inranstive> - ptinar -everbo rancives > goipear ceverbotranaive> > are - 2 austere > Figura 120 Grantica un doors un pequto wibconinia ‘eclanguieoopahol Esta colccin deo ternslesy terminals uocanunsébola dein ronjart seme gamdte cotta or ese, ys eden ena igondecntctsentcnins Ge -rasedocode nee representa fo termanalDe manera fora ra gratia se elie om na Fetaraplat¥- 13-8) donde Ves un corjniofie demo teins, et ‘Sink fins detevinaas, fencers de NJene sala icy Res Coren fo de rgias de estar. En ger bos Indoe dees € gute delay egias de weer de um aaa peden {etiiracn detonate noteirale sempre yopidoel ln gue SDeontengeporlo mono unnotermia ASemasellad derecho desig ‘eplusdceeersata pode constr enna cack vaca (enese a8, ‘Bprn que pain eprvetae potter dea ea puseser ‘Dodie vaca En regia aa regia “Aim de eva confusions, se empleo coches para dain os cermictesdcloso cranes Prem en un grmtucaquedencrbe {Sc esucora elu fon en espaol ol teminn foe pia aparecer Coma reopen i Yoo fal representandouna ples enna Ras. En este cio, los corchete Meoalsandfcenci se dunk el ting. Er ture etd, sin Embargo distinguierosentreteinalesy no termiraes co unanetscisn ‘eos engort). Salve que se espciiqusIncorraroreprewalaFeros 8 st52 APTA AvTOMATAGPMTOSYLENGUKES RECALARES, Jos otis cn rs nays ao terminals con sins {ls Deestmaree, aneregtdelatornaS-y9Nagefcad eaters 5sepunie finan sore rial regulate Nt See quan ganda ers wa der ern al comenese cone smb dein pos prodircercaera aie ‘eros patrons qu se eacuerran iden deus tin Go ‘esiuratdels ramiaconan expresses corps dela ech, fats que slo quden minal Us ewe eps eet Precre ee ‘rect como dealin det cide, Por gene bade ee), Moise Juan ude gers pari del gradi del gua 1.20 cuando a desea ion da a figura Conn emp gun 2? ac ts ‘acai, com ot nmbolo ie & 7 wea devin que must Fle grerane acne. ‘Ste tennis dura rami Gon snboon dello dios que esr gamut det alate En err ex, a cere peed por sere rd cars de 5 Porto ant er pada Clu labo {spaifcanlenpejece3quscontte nis cadena generadspor Gres leagues lereqrentscon 1, Silo does pocigcatonarqurelongale seer porta promi dela gs Late fey we ese tie ooh ete “eusanto> purr Mata edo por ara otto» tr puro= Matas cn aeton Marin in eusttion ‘Stettlo inical de ©, Fes ta coeccitn de no terminals de G' que ‘Agareon en et lado izgaledo de algura reg hy p consite la Sipe (P.O) para el cual’ contene uns reg de reccitura de Informa Po 208 Inver si Meselauiimtafintono determinita 5.2.9.1, entonoes podemos defnir’ como lagramitica regula ‘GEE para cual os no terminals sn bos estados de, el sinbolo Spica ests rege de eesetura sn dela forma P-> 2231 (P.3, Qhenhenp yQ->siQesthenF. ‘En amos cos, LMI = 4G Jy que la devivacion de una cadena detagramatica drectomente guna ruts enel diag track anciioncade Maque conde del stadoinidal aun estado de reptacin y vigevena.Como germplo, vessels Figura 125, “Lalmportanca delenfoque gramatical dela especifcacion de lengths ¢ taceapitenteen los doseaptuls siguientes, dondeveremosqueelempleode PRanlocas lleva a unesquemade clasfieadion para ivetscs pos de lenga- [Be Forel momento la compusickn de gramiicas se puede comparat con 8 ‘Belosdlagromeas de sini ques wiizan con frecuencia nl octulided al SecteL sitond de lenguojes de programocéa comm Pascl, Modula? y ‘Ks Encontsare que eran drgrams desntsis son, eneseni, clr fora. de ‘epresonckin dea rls de eesctorade una gramstin (ace Fig, 128) s56 camo! mrdusrAs wor Y nMLAERreuATE Diagramas de sitar Fogle reese =|) teaver ~ Gowen» [Raa de tives] +O) Ista do archivos +O [Ria de enitcatoes] «DQ teadombie-+ ‘igure 125 Npwos daganas de cae qo tncrbon pron tiginy ‘St ropamanion atcl conparnce sn tas onan ‘omar expheioe Bercicios 1. Flsbore una lita con todas las frase peeradas por la gracdtia de laguna 120. pores 2. Muestrequees pasiblemdifiarlaramsticaquese prents contin ‘in (on sib inca 5) para formar ona gaamatica regular, sin ‘cambiar el lngusje que genera (Cul de le grccis de In sec anterior 65 en wens ef mismo problems, une en tn cent ‘irene? Say x5 Bx xow you 2 Converts sien grams regular en ota gaming que secon ri deci eon et entra, pre queata es pcre mis lengeje Deco cn $s proplaspalbrsellenguaksgenerado, sa8 Soy soF Dijon degrama de raion pra un auimala nto que cee ect ucomeredo porta ranaticrepua(onsimbolo iil) pe See omtinaein Becta lengtonsus props. didasae rarer 5. revente una gramaticasegolar que gener el lengua} aceptado por atomata into cuyo Jingrama de ranaiciones se prezenta conti uncon. 16 EXPRESIONES REGULARES Hecnos defn la lnguajerreulares come aquellos queson reconacon sr nanny kes monnsdo coon {fenetaden pot aortic: reglaes En eta acd csarolaemos ok Eerenencton ee Tos kas Tulse, la eval propercines mayores dials acer deg coop de dicho lang. “Aquinuestoenfoqu sed mwstrercea spusten consuls lengua Jes nictoness parse Se pequetos bes deconstruct, Comenzaos we eeeulerar igs kngnjs ats vention que pueden formas con elCARTINOY AUREMATASERITOSY LLCS REGULARS ifebeto 2 E> dcr, ns nterean ls subconunios més sips de 37 ‘Quis usted conjfuraré que sels lo Subcongnion que conssion en danas spice de lorgit uno, y de heeho eats Som los engoaes he ‘Uiinarems comoagunoa de nees os Bloque de cnstuccon Desputede todo, at =, colons los lengajes yf pareceran vero logs le cansrciéanatrales par a construction de os lengusje de Exar sin embargo dor leryaajs que pocriamos conta wilztndo 1e Keene de 2. Dibujewn dlagrama detransiciones que acepi estrella lengua aceplado poral siguiente diagramn. -OL TOO 4. Dibjpun dia detransisineaquaepela rin deoslenguaks eps porn gions lagu. 4. Diu un diagrams de wansciones que acept la corextenacion del lego aceptado por$5 carimas AunoMATaSraMTOs VUERGUAIES AECLLWES seguido por el eng aceptao por Q , i § Gameon wasn . ‘Srigtione diagramed maacotes nn engtaeacepiade por 6 pt30 1.7 COMENTARIOS FINALES ner ner at ‘ho pasien cunclricae usando sitmats ron, ames eps Songs metas eet pnoennmnme naceonee eee eee eomntueomime neers iocnensenccmennae ee Soa nuncenceeraamerane Sate eee erecneceeeeee Sunsceeaaneeinominns ‘cropt Sra aad Tacit ouemnummpemres Ja sins den mayors elon lengujr de pograacon etch Spee cre omcmes ‘cust de cules fon los lngunjes que pueden pena ae gramaticas PROMLEMAS DE REPASO DEL CARL 68 ‘cuyas reglas de resrituca se adhere a dstiniasceticiones. Esto Hone Sllvancis en la medida en qo, al hacese mis compleas In tegiv de eerie, abi o algerinna de recanocmlento del lengua asocado 9 ‘Mavens: complicadg. Ast sinosaslgontatareade diefar un compiador faa ua lenguef de progremacion €@ algin tipo de procesidor para un Evgvaje natural), nos postaria bar nosso dlc en tn grams ms sencilla psible. Sia Enbargo, nuestro obive ire] es descubri hasta dinde puoden expenses dquinespararesolve problems hastoahoreeproblemadoe echoe eli cxel de andi intscticp de longajs. Como verernos eros ‘aptuloee quent, ese problema Henela compietdadsaficent para quela ‘queda de en soluclin nos lve aka Heiter aparentes dls process ‘compataconales. Problemas de repaso de! capftulo 1. MuestrequelacoleccGndetodaslascadenasdes, yy z.quecoatienen Un nimero impar de, un mero Impar dey y un mimero par de> fet mlenguaje regular del allabeto tx, 92. 2 Mestre quesi Ly son equajesregulares.entonces fs regular 23. Musstrequesil,y I sonlengus regulares.enonces Beep. 44. a Sizes umalfbets, zeta colcelén de pllndromosdeZ*an enguje regulor? Porque. 1. Si es un lengase regular, sl coe de pines de un Ienguaie regular Pot qo 5. Mestre quesi Les un lguseregutar del alfabeto 5, entorees amb {rregulr ef lengusje ue consis en las ls cadnas deforma wv, Gondewe Lye er 1 6 Mvsstre quest Les un lengua regutr,ntnces también ef eglar Tenguaye que s Ghana escribir en form inversa Tas cadenas de 2. Mucsie que st es ux lengua regular, ertonces tabi 2 regular La Coimeidn de cadenas cya inversas 5 encueniran ae ib enTO CAPRA | AUTONATAS FritoR YLENGUMES REGULATES 0, a v. La cadena 527533001 es una stn de los dios que aparecen nl problema deadicién preseniadoecontinuacin, i leyeramo' la cola ‘sen forma descendents y de dere azaierd (colonel eros Iniines que 8 supone que extn el columns exirera inqulerd, Disate un diagram de tansciones para un sistas Erito que sceple ‘edcamente aquellas cadenas de digs que pusden oblenerse de On problema deadicion de ete tipo 2 va 1 ‘Sedicequeunaregladeresetuade un cushy un ‘no erminal port per trminal-no emia ellnel ports queda ‘lineal por i deecha, ependicnde de sel no etal ert le lequerds a dercha(epectvament) del terminal (a regia > ‘tr sera ea! po fied, meres quel rein N= 2 sera Ties pla deecha}. Observe qe mrs etic a gratin ‘gular peritia rela eas por i dene per no porla quien Miuestrequetoslergujeregulores se genera deinvoscentamns In definiln para peruse icles por otquleda aleve ‘furs ezluyen ls hneales porn deecha xpliqu mo 9 econ ent probes com problema 6, sgn eign jen Saranac ee -Mastre que es regular el lenguafe de fs, que consiste en aquelas ‘aden que no contieran tres Fconzecaliva. Muaste que cualquier lengua rita ex regula. Diseieun diagram detransiciones para unaulimats frit determin ‘que acepir las mismas cadens que ol autmata ito no deters ‘presenta a continue ut. 6 v. ws. a BoB PROOLEWAS OE REPASOELCABINAG TH Suporgsquspemis quelrautonaasioscomblen deuneiads Seti fe ens ener de rad, En agra de trarchannes ete tip de tances nclment Se reer Om rao unttgiel en vee ean snbolo dealt, selene Corn Warsi Momsteqoe lagu diagrama de transite ue {Suptarccimesieepeedetodinee pas queyanocontengnesteto Ge tarstones porous aver tepid mio Lenguaje dagen ‘rotincado pusde se no determin} ‘Desc guaje representa por cada una dels sigan expe Parr eg 6 Georuyey) berbyery ob (ever “acribaexpresiones eegulaes que desceban los siguientes Lengua. ‘a Todas ins cadena ve consist en un aerero impor ces. 1, Todas la cadens que consisen en un ndmvero Tenpar de x y un nlimero pardew. . Todas las cadenas derry y tales que cada yesté inmediat ‘mente preseida por une inmediatumenteseguda por una ‘Dewarole una graméticn para gonerar las cadenas que constituyen Utsraes de ipo eal en el lerguafe de programacin Fas. Suponga quel es unlengoae regular del allabeto2= (x yt-Mueste que fuwe Dye Lylmwe © yore Hse tambignlengusjestegulares der. Encumntre un lengua regular (que no contengn 3) que no peda sr of lemyuaje sceptado por vo autimana fit determinista Con on solo certo deareptacon. Muestrequesi uautimata finite deteminista Macepta unacadena que Contin eis simbols ue estas ine Menonces M debe cepa uh ‘mero infito de cadenas. Diseieunalgritno que converts dagramas de ransiciones de ute ‘ras fn a expresionesreglares equivalents. Most que lengua fe" primal noes regular. Mucste queel lengua "sm =m pare alpine 6) noes rel. [ncsatreuna expres regularque representa intersecciondelos Tengunksrepresenadon por cada ‘ung de los sigue pares de cexpremnes ule.72 gemin: amouTsrares IBEULESrE MLE a. _ eUriy ug Getruyy (usr ay © (EUR ey GUM yy UU & GU GLa eoneeoyy Marae gus en langue regular, mes confutn decades et delnged mpurestmtae un eng rpuan _Bezpllomim al crunandecadee lang pat ustique wegen, Mocie qu Lun lenge rua qu no conn nto deer acptado pot wnat fio determin er slo Sinko descertcie ernosmostradoquels union de dos lenguajes regulars er regula, 22 siempre regular Ia unide de una coleclén de lengusjes regulars? Justihque se respuct. [Bncuentreun dlagrama de tansiciones que aoept el egnaje genera por la gramstica regular que se presenta a conbinuacin (el sino dl Lug ecu epee ie prev aw > oy Sy REZZao ‘Muevtre que un lengua eegulse que ne contiene puede se genoa ‘una grardtien por regular que no contenga tinguna rela ‘Mocs quest el lengusjesceptado por un putSmat iritocontene una ‘eadens no vacia, ntanoes debe contener a adena no vacla caja ongitud no ea mayor que el name de estado en el autémata Dische un diagrama de tanscioes para un autieata fin que acepte ellenguaje corsistete eras cadenas de alae x9. 2 en donde {prin xysempreetseuide por anavy dondeal prin ysempre igs wna Escada lenguaje regular lengusje aceptado pot un asim into “determinista eyo agama de wansiiones pda dibue sabre uns ‘superficie pla sn quealguno de sus arco ve crue? [PRORLEMAB OE MORMON TS, Problema deprogramaciin 1. Bretba un progema que eva cadeas de entrada piss vero se alleen aos patrons deserts por gua 127 2 Diseneeimplante on algoitmo para evalua gramtcasregulzes y ‘eterna generan por lo rsenaauna cada ro vacia(puade come” ‘arpor traducr el problema 30 de repaso del capitulo aun enuncado sexta de grams). 2, Deuarrolle un paquets de software que genere autométicamente aralizadores sntetico para nguafes eyulaes Ea primer ugar, set ‘be un programa que epi gramatca egulares como entrada y genere ‘ome Sala las bles de traicones correspordientes. Lego, crib tn programa ue analcesucadera deentrada deacuerdoconia tabla de transkones generada por el programa anterior. 4. Desarile on pagum simile al del problema cle programaciin’3, pero (que acepe exprsiones reulaes en ver de gramdtcssregulareCAPITULO 2 Autématas de pila y lenguajes independientes del contexto 2 Autimatas de pila ‘Denton de fs aumotas dept “Antématne de pia combo acepinares de ries 22 Gramiticas independicntes del conteto Define cas geamétics eelependiones de contest (Geadict lndepencites del contexts yaulbmuatas de pla Fora normal de Chomsky 123 Lites de los autdmats de pits ‘Aleance de es engujesindependlantes del canesto ‘Autimates de pla determlists Principio de preandisis 2a Anafizadare sipseticos 10) Pace de ands inden LL ‘Aplicactin del principio de pease ‘Tabla de alls sirtctoo 25 Analizadoreesinsictces LX) Proceso de anisssntitco LR Iimplantacion de analizadoresvnictcos ZR “Tables de analiss sine LR er kn nazadoees snes LR) y LG) 26 Comentarios Grates Fr el eapitato anterior vimos cna se pueden consinat anafizedores Iinicosublieandoles priadpios detorautSmatas tos, cinvestgamaslos Teeguotstepufates que ests antomtas son capaces de reconoccr. Tam- bck vimos que las tenis elle Teadonndas con os automates infios son imitadas,especficamente, encantramos quelos sskemas de *76 eamuLog _AMOMATASDE PLAT LENGUNS RCEFENDEMTES OE OOMTEXTO andlsssinticticoasacosenestosautdmatasna crancapocesde mana gran parte do las esructurassitioieas que fe preserian en hs lenguajes de Programociin generale En este captalo geeratzamas tos conceplos de sutimatas fitos y frantic egularesa fn leobtencr cnicas para el alsa sido de una ‘mayor gama de lenguaes,conocidcs como lenguajs independents de ‘context, Pata so, agreyamosaat6mata un sites de memoria latter ‘ormadepila} Estadictn increments de msinersconsderablee potenca de rocesamiento de lengua dl ontbmatay propoxciona wa waco end cual formelan varios algarts cients para el andi sno, e apa ‘oncluyeconuncstudi delastanias eardlisisintécioquese ensues ‘en tos cormplladores maderres. ara dsificar los lenguajes reconocidee or los atématat mejorados, utliatemos de evo eleoncepto de gramaticn Al peralir mayor compl ‘dad en a extuctura de las regs de reeseritura de In gromtice, seremos ‘apaces de identifcar la gramiticas que generan ln lngusje conocido por nuestas méquinas mejoradas. Esta cnaclerzacin gramatical rd de Unlidod en varies situations: con estas gramatiarseeacnibela sian dela smayora eos leypujs de programacion moderns. 24 AUTOMATASDEPILA ome vimar el capi no ee ring tbat flo que punta fares ingay yon prt dec ue nse pial gens {cts linge debs actos fino Prntaroes pests fst patina acu yorrls aula fitosoinen ota deresdar ‘sitar ae detect en a primera prt de ada, por lo que eat incon de vericar tine msmontinety Porcogua sore specie que el pribiers pate rolvene kde sigan tied Semarash myonacncpiaen conan Definicion de los autOmatas de pila Desputs dee induc, presenamasla dase denis conocido avidatsdepll ura niguina dees spose epreenin ents figura? Aligul (que unautimata fis un autimat de pila cuenta conn Oodle enaday un ‘ecard conel gue pure encnsrase en woe ne un nme st sdeestadon, Uno de esns estado secs cr ely po lo menos an ‘estado se design como estado de cepacia, La principal ierenca eae lot suldimatasdepila os inzosesquelos peimeraycuentuncon ana pte dade ‘Pueden aknacenarinformaclén para uperara mie tne im dots comm awcin macnn canted Figure Loe simbelot que pusden slmacenarse en esa pila (conacidos com -aimbolos de pila de a maquina) eonsttoyen un conanto ito que puede incluiralgunosotodoslossimbolos del allabeto dels ndquinay quirSalpunos Hinbolos tonales quela mdquina ize come marcas inttnas. or en pl, una maquina pods almacenarstrbolos especiales ensu pits paraseparar Eecciones qu fengan in isnt, Para tds prio shun iicera un sido especial nla pla antes de efetua agin otro ‘Glcul,enfonces a presonciade eesinboloenlacimade lapllapuedeusaee ‘oma indlcadorde "pila voc” paracdlculosprstonores.Ennuestroeerplos |Mloptamos ol simbolod paca ese fi Tag ransicones gue qecutan los autienatas de pla deben ser varian- tesdelasiguientesecuencia bésir:laernstmboleelaentrada, extroee tin sfenbolo dela pla, gerar un simboto en la pila y pasar aun nuevo ‘lado, Este proceso se representa con la notacién (p,,3:4,¥). dance, Fesegyry son, especivamente el entado actual el simbolo de alérbeto ‘que scleede entrada, el snibolo que te extrac de lap, elnuevo estado Yel simibolo que se incerta en la pla. Esta notion eslé disenada paca Taaicar ques el estado actual, el smbolo de enerada yl steno en a cia Alelapiltayudana determina coojuntarsante el maga estada ye simbolo (que dberdfesertarse en Ta pla “Seoblinen variants deeste proces bisicnde ranscin permitendo que las tansiclnes ean, extraiga 0 ingerten la eodena vaca, Per ejemplo, aatiPMA? sUreanTsSOEPLATLENUAES REEPENETES EEL COTE na tranaiion poste sera sg AEs dec, al encontrare en el tstado pla maquina podla no avansar se cabeza de lecture Co ue anaeromos coma a ecate dea cadena vasa) no exer un smb de su pla fener a cadena vac) no cera un sinbolo en 3 pla {nectar lncadena vl) y pasar alesadaq. Oto jemploestatranstion sheslonas Sling tonde smd santo ges pi io cual se representa con (5h Otton femplas cuentas: leat seek tocar cer ara " " ra een de ransiciones spools pata un atte mata de pl, ey convenient alsa un Gagrana de trones Sue Seroje ede un suldmats flo, donde lo tds ropresentan Son [Peet dialos yas wansiebnes por mato de bees entree. Einembaapy en el aso des suldmata ce pila olan dean aco stds ebbrada ya quchay que preuntar mas informacion, Un aco de Syquerepresenaatansiion 99 2a un etgosta a Po tiempo, ln ligure 22 muestra on dngrama de taicnes arn Sttomata de ps en nec esta ns en estado hndeade por “puuados)y ls etados I y 4 s00 de aceptacion finicados por fos ‘ltelosdobles) A partir dette dagrona podes sere que ta trig oe I sr cond o neuen a ado 2 Inseraré una en a pil egesar al esta sila mun le dein eta y pusdtextant unas dea pla coon we encuenrn en ‘estado 3regonardal estado 0selsinbclo#eeneuentnenlnciorde inpilscuando lamiguinase halen lesiado®lamiquinapusdeexinaet este sinbolo y pat al ent ‘Conasucecon ts stasis, postblmplatarlos aus tay de pila con varias tecetogoy, por To sue alae an propadads {montoble ques lenminologia coms no haga hinenpé en la naturaleza.0 ‘deterrinisia los aul6matas de pila. Técnlcamente, deberian Unmarse ‘au¥imatas de plano determinsi)- ‘Slgulendo oy attnos extablecides para lot autémats fos, no rferi= mesa la coleecin de todas las ealenas3ceptadas por un aohmata e pls ‘om el nguajeaceptado por la maquina, representado por LM) Sobraya- fos de parvo que TEM) no coalgier coos de cadens ‘xpladas por sno fa olecion de lols as ccenne que acepta Me SS puune cbianee una importante clase de mquinasrestringiondo ls tansicnescoponblespara un oubmata de pila a le dela forma. 2:9,- {Tne patos deest form igneran quel rasgunatien ru play porconsigulen- teas artivades dela esquisn depeniden exclusivarente del esta y eh rola deenradaactades Pc eade tclose Jo mdquirascorsruides deeb) Ironers sa lose de satiate rates. Poo ent, slengusesaopadaspor tesa ep layne egestas(eID? AUTOURTAS OEPUA VLENOUAES HOEPERENTES DA CONTEXT Losautdmaun ce pilatambién pueden aeplartenguajesque no pueden aceplar los autémalas fits, pot ejemplo al leoguaye (ry © B). De hecho, la figura 22 28 un dagehma de tansicones de dics miquinn. BL [primer paso ex marca la parte inferior de a pil con el simbolo Wy nego [nsertay en la pila las conform se lean de Ia entrada. Lugo la maquina ‘extrac una xde a pila cid vez que se lo ur y- De esta manera, cuando simbolo@ eapareeenlapartesuperior dels pla sehaleldoel ismondmero dey y x Observe que, como ol estado inidal es tanblén un esiato de seaplane permite que la mdquine ace la cada 2 que es. “Antes de concluir esta sei, ae necesitan algunas comentarios adic rales. Renuetde que el citer de aceptaciéa que se proporciond anies permite que wn aatimata de pia decarela acepiation de una cadenasin gut {erga que vaciar antes su pls. Por plo, un autémata de pila basado en ldiageama delafigura23 aceptarhel erguaje ry=m.ne Ay M2), pues fe aceptaran auells cadens con mie rque'y augue quien xen le pila (observe que este auténats no aceplrta cadens con mds Y que Pues AO podia leer todos lor smboloe de dcha cadena}. ‘Se podria cunjeturar que la aplicaciin de une lewis basa en exon ata es Nevo» médvlos de programa que devolveron el control ‘otros midutos djando en ta pila reskduos de sus cSeulos que podtian ‘crsinarcousiones en cleus posterior, For ety frecuene ue st refer corsklraruricaments los autématas de pla que vaclan sus plas ‘nies de legae aun estado de cept Enel teorsma'21 pexernoe vor que ‘ia reticlén na reduce poder de estas miquinas eoREMA 2 ecient deporte Srnutnotaqeencspu do enparpoquevade uplaenas de Tlegar a un estado de aceptacién. in evorrescon Stpongs que Bt =(6.2 17. Fes tm anata de pa ace ‘sl het qusvaar coon ie Pare a ‘Seat delamanta pote 1. Bimine desig “il” dla nil de M. Lis, ‘eadntnnaretttobalytnabrcldoqueperiasdlpat Lineman steve tes Shri pels quetnartttnta naometscnf) Figures AITSUKTAB OE PUA 2. Bwine la caractesaia de acepactn de ada estado de cepts ‘GéndeM. Laopo, stad une puto con as rasicones que ln tila pasar ce ala uno datos antiguos estados Reaceplaciin ap in lor, odraeroinsertar un simbolo. 2, Parcs xen Fs inlar introduce anscito (2,272). 14 Ateda un nuevo estado deaexplacion gy transi 9,854.8. Observe que la versién madileada de 4 sélo marca el fondo ‘de s8 pila antes de efectuar algin eflevioy luego sim tos ‘calcul de la miquina orginal fasta el punto donde la méquira Stiga! habria declarado la sceplacion de la entrado. Aqui ta ‘adqulnn modificada pasa al estado p,vacta su pila y Toe p au estado de aceptncion quilande la marca de finde pila. fanfota méquina orginal como la modificads aceptan ls ml adenas, auc fa version fodiieada lege 4 ou estado, Sceplactén vinieamente cuando su pile est vacla, La figura 24mvestra resultado de apticara técnica dela demostar cin anieriot al dlagrama def figura 23, Unauiémata depila Besado en fnte nuevo diagrama soeplara exattamente fos mismas cadenas que el briginal, pero no puede acepiar una cadena a menos que su pila se Por ill, esimportante recordar ques auras que quis conside- cansonno deerminieins, El proces) de modificaciondescio en a demostra~ (din de feorema 2-1 puede introduce varios puntos Jeno deter ninismo pot imaiode as rarwiciones que candocendelosantiguosestadosde aceptacin al nueva estado 7 rhe war aan (aD gy: LS fe Ti dagana des ga 8 depts do rodioao pare em wa una ates ce senior ane edna FigveasBjercicioe 1. Diserie wn auttmata de pila M el ue LM) = eye 2. :Cudlesel lenguaje que acepta el avtserats de pits cuyo diagrams ‘Se transicones se prose a continucin? xe nen 3. Moliique el diagrama de trasiciones det eeccio? paraqueel autsmats Hi jnto de con 5 pile vac. se ila aepte elds conjanto de cadens por con pi 4 Muesie imo pueden combina dos autématas de pila M, M, para formar un ole aura ce plaque acepe el lnguaje LM) LB). 2.2 GRAMATICAS INDEPENDIENTES DEL CONTEXTO. Ahora que hemos extenido lar miquinas en coneiderciin de atenatas Fiona autGeraias de pla, nuestra vet gation 36 contra en exes 4m 1 Jengusjes que ests autdmatas extends pueden reconocer.Comensamros brisqueda dela espudst rayeanda al concepto dais gramatica. Definici6n de las gramsticas independientes del contexto Tara caracietzr os leguses qu ecanocenlosaulématas de pil, prcsena- rmseleancepn de granites independiente decane. Aeron las grandcasrgulne eos granicas no nen esricncscon respect {fra del ado derecho des ras de reser, augue ans ules ce do tequie de coda regi eo or so no ternal La rama de intgura2esuragrsndca dependents delat, peo roe rey Eemin "Indepencinte ecto equ, ool a lr do de cada regia de rear rearente pus conten un so 0 tern area pole eplease sin mporare ontenta donde seencussize Sho no tema Por el ona coeldre ura rela de este Co Ind ied conto se eu no erica sy». at ela ‘orukrans ROEPENDONTES EL CoMexTO 9 ice queet no terminal N puede suntinise cone erminal zs6lo cuando ent fndendo por lo tvmiales x yy Por J tart, 18expacidad de eliminar 8 ‘plcandd a regi dependert det conten en ¥ex de ser independiente "Aligual que las graicar eegultes, ts grandtica independienes del conten goran cadenas por medi de derivaciones No obtain al cto Se las gramaticas independiontes del conto pueden saryir dudas con ‘especio 2 cull se elo terminal que deherSeemplazarse nf ps? ‘operticn del detvacién Por ejemplo al generar una cadena con la gram te dea figure25, ol primer paso produce la cadena 2M, que presenta ka ‘pen de reemplazar el no terminal hf o ol N en el siguiente pate. Por ‘signi, para genera la cadena ala, se pod produce la detain See ee 3 aMaN = aN = vaste = eh sigur a rela rtinaria dealin sempre ns rede eect fehl seundo nasa a gtierda ont endena acl (onto se laa ‘fenvadon per nizqierds). Tambien pods prc la erieaion |S -PaMN MO = Mba mw aoe = matte aplicando siempre regia de reescriuraalnotétinalttuadomss ala derecha, {cml daria como rerukado uns desivadén porta drach Incas se podsian seguir ols patonesy obtener ous drivaciones dela misma cade ‘Laer es que el orden en que se apiquan a egies de rescritra no afeca lx detervunacin de si una cadera puede genorarea pare de derta gandiicn rte del conten Esp resulta obvio cuando reconoct= fe ques caso pune generar apart deca deectn,etoncs pede ‘er gener por a devocio parla ulerd. Para ver est, primero consige- ‘mone bol dz ansiss inte asocado ane desvaca, "Un abel de andliiseintictice nn es ds que un deb cuyos nodat represenlan terminals yno terminals dels gramsticy donde el node rire tlsimbolo de Inco de a granitic lo ios de cada odo no terminal son Jos sibel que reemplszan a est no terminal wn la detivadon (ningin stil terminal puede ver un nodo inkesgr dl rol i ning sinh no ‘eins puede ser una hoa) Psa Figura 26 se presenta un tbo de adits 3 + 2MNe Moat Moz NaN Noe Figure 25 Granaica dependent al sonora qe ger ‘dei forma ratza'brrerz, donde 7.02comme sntictico pars la cadena acaote usando Is gromsticn defn figura 25 y cualquiera de las deivaconesontioes ‘Ahora, para ver que cualquier ene ganerada por una grams nde pense del eonent se pose generar can una devivacion por ligand, bservamosquelasderivacones que correspond almismoistoldesnalisis sinidtico Geamentedifioren en cuanto al orden enquese aplica ss 90s de reeseritura, Hl orden de apliacin de ny elas slo efeael orden de ‘ondtruciin de as raras dl frbel. na derivacion por laaquiea core: onde ol construccion del cba sintictico comenzarndo por la ama fqoien ‘da, mientras que ura derivackon por dereca coresponde a una cons w ‘in que seins po a carr derecha. Sn erabarg,elorden de cnstruccion ‘ela cares no afc ba estructura final del drbol, ya que cde rama et lnelopendione de as dems Por lo ono, dda una devin que no ex or JnLzjulerda se puede constr e bat de andislssitsctcoasoadoy Wego daborar un dervacién po a iaquirda eta miema cadena, plioando it “evaluacin porta lequlela"ssterdtica del aba JIN ZN ATOMATIS DE PLAY LENOUKIER RDEPEHMDNENTES DEL COKMENTO, Fowede snl otdcsa parm a cadena znznicbe ersten dela igue 22 S ax8y Son "27 Gramlice ladependione sl antonio ue poner uderae dels ona 2 dance oe Finalmente, observemes que la leibilidad quefrecen as gramsticas Independiente: de contexte pre lncoastrucelandeuna graméica que [general lengaaje [rym eh) quere presenta enlafgura27-Esteejempio, ‘ombtanda conel hecho de qoe cualquier gramitica regular es una gramnd- lier ndependtente de canteto, nes permite llegar a la concasidn de que lus gramalicas independients del conteno generan una mayor coleccin se lenguajes que las gromticas regulars. Los leguajes ganerados por {ramaticasindependintesdeleomextosedenominanlenguafes indepen ‘lentes del context. Gramsticas independientes del contexto y autématas de pila Antes de considera la roacin entre las gramiticas inlependientes del ‘conterto y ls eutdmates de pila, debemos exclarecer an aspecto de bs ‘nolacién. fn los andlisis que se prewotan 4 continacion serd coeveniente considera transiciones Gnizas que insertan mis de un smb en la pls, come @ 54,27 En este caso, se insertion en la plats simbolos 299 F (enese orden). As despuss deefctuar It trascion, x shallarden ln cima de pila (con y dehajoy2 en et foo) Observe que las tansiciones deste lipo ablo represenlan una forma coavenlente de notion y no araden ‘opacidades adicionales ala maiguica, De hecho, la wanscion de inser, lip ($4, 22) pei srctarse con la aecuencia de traciciones tnadicionales (p85, 2.9.4 Aig5 9) ei 2}, donde yg son etnd08 ailonaes aes ue ao pate garni otasecuenca de ansiions, ‘Ahora debenos mostrar que los lenges genomdos or rami de pendienes del conteio som estrone les meas lengua eecplan es utinatae de ple Esto ae hard en dos tapas. Primero mostamon qve ATs ‘ualguier gromitica G tedependlente del cantaxo existe un automata de pila A ta que LM)» £(6) Teorema 2.2). Luege mostramos que para ‘vatquioe autimata de plla M existe una wamdlica C independiente det eontento tal que (6) = Lb Teorerna 2.3) ‘TEOREMA 22 Foracadagraratica independiente delcontesto,xbteur automata Se pila M tal que L(G) “LM DemosTRAcion Dacia una geamitica G independiente dal content, consumes un uses de pla Mice manera siguiente: 1. Designeelalfsbetode M como sebolos emilee C yas siinbtas de pla dea conn cs soles erminsls y no kerma letdeG. junio con el siento especial (pudemas supoaet que ny es onsimbola temiaal ono terminal ce) ‘couakrcas RoEPENORITES eA CONTE 35owinno2 2. Designee sada cde Mcomou pay dandevesel esata {fend ico estado de ncepacans 3 Inoue Intec 19,0 4 lntcra nats i 9) donde Seve ib inkil de. 5 Inoduac una transis de a fora (4.4: praca ela SerencrurN-sarenogn woee neva conven ‘Sin que erie ueunasna wari aseimas Seun solo de pa Espectcamant we pune set ura cada decor ome Stok tnuyerdo tericle a ermal). {6 Introduce ura tars dela forma, % 2: 3) para cada terminal dG (es dec, pasa cada sibel del alabe de). 7 todzen sensi (4 126.2). Un autémata de pla consruido de esta tarers analiza unt ‘cadena deerirada marcondo pdmer elfondodelsplaconeleibolo 4, oogo insertanco en a pla el simbola inka de a gramica y desputs entrandaal estade ge ah y hasta quel simbulo # vucten ‘aaparccerenlacinadelapilyelavtimataexraerd unno terminal de ispllayloreemplazard con ellada derechode sa regiade wcitira plicable, extuerd un terminal de a pila aa ver que keels {erminal ena errada. Una vez que sible # regres ala cima de la pil el auidmaiacamblard ou estado de aceptainjndieando (ue a entracla rc harta ce pont es acepeable. ‘Observe quelacadenade imbolosoetegranla parte deecha de una reac reesriturs 9 inert ena pila dedererhaatzguier= 1 Ai do terminal situado maya la iequterda Sere pimero en ‘srg en Ta imu de Ia pla: por tanto, tambien ser el primer no lerminuldeta pile guese reemplazard Porconsigulentelautimata analiza su entrada efectuando una derivacin por la faqoierda de Beuerdo contaseasdelaguamdticnen hcvalsebasa Sinema, ‘como ya vis, las cadenas gener2das por ua gramsilia indepen. ‘Gente del contest sam evactamente a ells queienen una Jerva- ‘in port iaquerda,Entonces ol ausSma acepa exactarerie el ‘mlsmo lengua que gees la pramatica. Quizts can on efermpla pues comprendense mijor Ia funcisn de las distints wansilones ccnsruas en a demostracisn del orem? 2, Cash . qo repreceniatlcigetedepatar delet testade gael het pitwe seat ots pay a epara ea pl sed ‘Rémuqu ens sosado se erconeabs one edo p- Un ceo ce ena Sune ok ese oem oryaranias menconado, Se ps deleracoacl ‘inde acplacon Deh, ps cadaesld ce sean flame GEEREContenido Rasteda—_Transiciin delapia ——laeritada———_ojocutada WARD ChEGS (A 8g zune) Gerad (GA Mg alte) (waaay Gh Meaa (ez2aR (aacan (iq aM @beaa Gama fazzay Gaba (220.9) aah) watbeben die, oan bEHELEEE Figwal10 Anal carpio ae hcndona vans qe dela ‘exsist pacer on gro 28 tiene un objetivo princpalrepresentadoporiA,f,donde eseestado nical dela maquina ‘Ahora estamos lists para mostrar que los lenguajes aceptados por wn _autimata de pila som independizntes det entest. per rennin FER wae esrmpnnnacmtpsn Inmamghiigag reece esrosrancton Brim ate el Mica rer prod una ca ante del context que gene engue h)Camoreulao dt crema 2, poly sapoer oe a sntGmata de pile M acepiacadanesicamsrte cad st pla ‘sll voce. Laver haha ena observacion, cnstruias Gd tal ‘nero qi sen no termine tepreenteh lov ejetion eM fomo.emenciond antes gu sos reas de reecitona opreser tentefinamienton de objetivo mayors, prsenadoe en emis , donde es eestado inal dea. ‘Lasreglandereescrituraoblenidasenel paso Lasaguranquecvalqulee serivariin qoe uilice extn gramatica comenard susituyendo el olpiniclal de lagramdscapor unobjetivo principal del automata 2. Faracadneotidoy7en M forme a repla de meses 1 rele obtener pas? som fo de que pute eminarse ‘bjelive de pasar det extado sf to sn ander apa “Cun els dds regs de resertura de Cae coatrye a parade un tanacion co sgienlo paso Se paso’ ‘ices shoes. 2. Paracadatansicin (xy) de (donde yes), mere una reg de reesertua paracadaesador de A. LLasreylas generadas porelpaso3 indican que el objetivode pasar cw, 7, donde w es wa slnbolo de pila o 1, mientras quel'y ¢ (que pueden ser iguales) son estados de M as raglas de rescitura consruidas en el paso 4 reflean que et shjetiva de pasar de unestadapa unestador lver que se eimira svdelapilapoede lograrie sl primerose pasa estado genientasse Jeerdelaentraday seinserta en la pila(por audio dels trasicdn 3.254, 23y lego seuntenta pasardel ebado galestador a raves doum etado a a ver que se elesnan2 yw de a plaCAPIRAO? — AVTEMATASCE PLAY LINGUS BEEPENDITES COMTEX ‘Observe que las replas de reescrituca construidas on los patos 124 forman ua gramétia independienle del content Soioresta mostiarqueestagramatica gonera el essen Lengaje que acepir el autdmata: debemos mortar que este timo Puede aceptar cualquier cadena generada por la gramstica y ‘quel gramdtica puede generat cualquler cadena que acepte él Sutbmata. Ambos enunelados serdn verdaderoe 3 demostia- ‘oa In siguiente afiemacion, ‘Aplin regs dea gram, sepunde rere un no terminal de fora como w Sse require slo un paso, entoncee fo terminal p> debe ser en tealidad yn que fat os 1a Griea forma de'an no terminal que puede reesenbirse como ‘cadena terminal en un solo paso. A su Yer, esto significa que w debe see A. ASL oesta aftrmacién es verdadera para el 287 Ba Esto sigalca queel rest del proceso eo reesrituraconviate <7, > em unacadera 2, ta que = 7 son pasos, Entonces, por nucstrahiptelé de induce 6 aulbesata puede pasardelesadoralestadoginyendow, avez que ‘linia Be su pla. Si hacemos que la waren (py, #78) Aanteceds a este cdc, obtenemes un proceso que comes ene ‘stado py pasa al estado ala ver que lect aint Incident ‘iminaa del pila Porlotanto, poses conetuirquelaparte "so fi" derestra arma es verdadeta ‘ahor,consideremes a pavte “si” dewestraafirmaciGn Una vee micaplicamos laindueciin,peroesta vez scbrelalongitod de Ta rata de p ag, Sila Longitud de esta eta ey cero, la tua no evuhrensmpereNOTES COL cOMTEIO 69 ‘eqolve ransllonesyq debe seriguaap-Por ota, bastacen Ione ere aaraccy ‘Laegesuponenos que a automa poede pasar de cualquier cada amen gen wa a Gue conse no {roils y queda come reo ln btora dela cadena ve a ‘Gnuy ls eminscin dee a pila (nde es. un smb de ib), etoncerhay onl gration elo dereesrtura ue pera en eeseribie cp > como Considers ona ruts de +1 pasos {llentadop aqeuyorecorde da come renulldols eto deca ‘clo cndeta yf eliminacsn deeded pila (donde oes oun “Minbolo de pis) Sopongamos uel primar paso dea rata e a sqervelin dela wanicion 6: 3, dade a's Go ator ‘Primers pasos posible andar de manera ment) EDO {Be lnporcncetanie cela uta hce pacar lest talento g ‘cridhon wansiones, sin iminar nade dla pital leer denen iTendena onde Sin embargo, pornuestahpstest de Induct, tt sic que deben exstien la gramatia regs de rmenctcs qu pert feescrb como tA, 0 ‘eaten det tansicon 4 2 imple ln evistenca da gla cp tug». 1 beg Por lo tnt, ln teal

Pde reeribire como a aplicando peer esta ea ueyo reserBinso <1 9> came Concimes qu spares "iy “los” dense afrmacée sites verdoders,y por ta a "adependinte del ‘omni concept os passe 12,34 be poner ‘nis lengua que apt el aka de pla Demuevo, nemo debe ayudar acaclareervasios dels puntos de by _demostacin areror Consdene a construccin de una gramitica ine due del contexte queacopte ol nguale eben £m} del autmraade pilade Te figura211- Nuestra primera observacones que eas gram esate ‘exiten numeraror ro terminal, ineluyendo el sia de hci Sms imno terminal dela fora

por cada pica 3,¢h donde es Loc (puesto _gueceselsnico simbolo de pia y py 4 (que pueden ser nales) 0 esti ‘dela andquins. Adore comp se muta en a figura 2-12 oe forma un gran ‘mero de regia de resentura, quebe present junto con sus aici ‘iodadas,Tor lira enla figura? 1 semuesta uraderivacisadelacadera ‘ie, Agu vetoos que ins roplas de roserituraasoiala a as ransiiones ‘S08 lech simbolos dela entrada dea maquina iattedueen estos mists Simbolos en Ia cadera que se deviva. AS, una ver que el proceso de slerivacin ha climined todoslos.o termites, tos sibolasenta cadena ‘evanteson esctemente los lamos que ful ieidalesleuloesctespoar lente dal antomata de piabx axe een @ ‘Diageo wansclonos pare un aed pla Figoraaat um aoe len et) Enresumen, contamoa ahora con das earacterizaciones paraloslengus- Jesindependlentesdelcontest: soa loslengusjesaceplados po nuomatas de pla, asi come tos leyzuales gonerados por gramdticas independiontes delcontexto. Forma normal de Chomsky ‘Undelas eta de cts anger funn des rnin que ‘tm liifacones proporonan deta con respero lt etrcias de {Sdenas que pueden apateer ens kus comespondinie Seber, {primers vitaparem quel fesbildad que peitenlar rama indepen “Gens del conte npn pos resusoos# as ponies eur ‘adeasquepusieemontranreniosknyiafsindepentcncs denen. for eat, quot le sonprendn saber que oe lenis Independlecies del ctexnsltenen ganieascvya regis de recta sadhana forma tos exremadamene sige. For fo ba, westerns con tayor len esters das rie erecta que encuentran ent ‘Gans independinacs Gl conto, Comeroaes nea onsiderandy I eceshiad de tener gh en ona grinindependiete del conto. 5 lengua orale Porth grandica coq Ia dens vat, enone debe apart cuando ‘Penis tra makers gram: dela contain habamaner de deat ‘boda vata del ino ila dea Si enero, pros eta gue panes Teles lategash elena guess gee ‘oto lacarvtlae "Tar eaponer ea pregurt, cémonos cunt primero ie ness de urarexla puede peri que ras termiolenquest que ape aa ‘relapuetanseccrbecomo cera vac, Fo eppl, owe gramdca Conde ins eas > hy Nis N ents i cn Nee poran ‘eeserbircomo aunqunkiregaiM- ino weneuntren lager, Pm, ‘Senticar ef efecto eb regan eo une ganas dependent dl “eRUhTEAG NOEFEIDENTES DL CONTEC content debemasaisartedoeosrtermuaalesque pun eesribirecome {f cadena vaca Para to, defnimor in eneuasemaminto Ade langited (como ln scuencia de fepas de afer Ny > Noy Na? Nya Ny 9A {efinimas lo terminal N, com al oigen del encustemamiienso, ol paso 1 sox he Del paso 2 Det paso 8, ranscn (6:93) gg fo—ech b> She green Ngo cpenscecm NaS Delano 4, raniosn (6.376) stegcemen tee Gan ie igegs eget Genie gak cher tigge eteh chee eR Ie Gee Se SEAR = egg hs etary SRB So Beg ee Shegs 2s emep> ona e> HER paar ek Shans ce Sgege apene Seg eS GERS chen el pato 4, ransein (g 9.3) SBA BBA Seah gr Beg Caen NAS Becg\ once chsh Aa eocG G boon AAS. aoe hyo cheb > Btmcen Nas 3 ome Figora 13 Dorivacin a tte wlaando ies regia Ge rma ola igna 212 ‘Ahora, si Ge una gramitice indopendionte del contexto que no generat cadena via definoos U, como elconjuntodelosnotermiag- [esqueaparecen como arigen de los trcaderamienow) delongitec cero, (se, lon no terminates que aparecen del ado aquierd de a elas. ‘este conjaneo te anaes os olgenes de todos ls encadenamfentor 3. Selongitud uno para formar ola conjunto, Ul, Lego, aU, eagrega ‘mos lov erigenes de td lon enendenamontes 3 de lgited dos para ahtenet un conjunto Hamade Uy etcetera (a face a gamstca a figuea 2.142, entonces Uy sera (Gy U eta, Puesto que na game 0 Ry un nde fo dene termina: ‘es, debe extir um punto an l cual ete procera dae de intedcit no terminates adiionales- llegar nests put emus ecopllado ts Woe ‘no termines de G que pode reseribire como la cadena vai ete ojo se representa con observe qu, coma G ca gener acces ‘acin,U no pantscontene aimbot nial de). plu eh eae dem doa on ‘adena de terminals y terrae, 3 tae irl a ferme ye, donde Wear Cadena attend cra de 1. (Una ver ms cen Sofas Saat | epinir des > 27202 soa Pom” prtirde Po be Qa ApiitindeQ > uPy ‘eRuUATICAS ROEPCHORENTES DELCONTETO OT a. S4znear b, $42Pede Poa Sonor Poe Saree oy Sone aon Pax Paw P30 Os yy aay ‘Una gata ndopaola dl cna (qu no pera ‘code vaca) oa ganda a genera] mime rg sruluarsoge Fawezte ‘Observe que noagregamae le egla P+ 2ques obtendria den reg P+ Q. (ease Fig. 2140) ‘Una rec que agregamos estasiwevas replat ola gamdtcs, yanonecesta- sore eis Epon ue etn ra an, empl [pantis orginal require b opie de una regia iy sea Ne igen ‘Eneadenamientos ims large que aparece en la eivacin que terminacon ‘arm ropa. Entonocs, In geutrencla de N debe introducise en la deivacién Splcando agra regia dela forma M—+2Ni, donde, ye, sen cadens de ‘trminalesyne ternal, una de Bi cules debe ser oo vacla (se exigi6 N emo clorigen del encadersrolento que da fina laregla adem, Noes Lotmboloinical ya queNVe Uy Se U)-Est significa quela rela M30, sun dela reglas que ems egregadoa la "Asi pstemos elimi= tarde laderivanin el empleo defo regia slaplicmos la egia M+ 00,00 ‘Verde M su, Deesta manera podemos el narcesigoer tlizac6n de Tegus en und detivacion. dems podemosdesacerns de todas as eas 2d grumdtica vin roduc us poder generavos ‘Come ejemplo, considere ln erivacon de Ia fgure 2.15, basa en ta gamétca dela figura. Bl thime paso de a dervacin usa lela A, (G7 Borgen encadenamientos hquecondejoal uso de esta ei ‘ir geminal introducido ene primer paso dea deeracion. Pore tnt, podlios cambiar ete pao ulisandola nueva reglaS—2Psz para obtener Besvaciondelafigur2 Ash, Esta derivaciinusalaregln), Q->A,ensu Gime ppb, Eno terminal P intraducido en of segundo paso es et orien del Enendonamientof que Hewa a ett rhs. Por el, alam est paso para Gprovechar fa vce regia P—> 27, oblniendo asta erivacin de la gua isc que slo usa reps de ta gratia maxtifiada dela figura 214 Por ime observance qua gran quosedasprnde dese procaode ‘minacion de els ho puede penerarcadenas que no generab 1 rama- fea orgies Despues de fodo, e+ posible silat evalgulera de las eg shadidaspormacogecortassecversas deregasJelagramdscactiginal Por(8 casTULO 2 NETEARAS OE PLA YLEMOUAICS ROX PENNENTES DEL CONTEXTO 3 arson 3 sete 3 Bose 3 mer > Pee > Bhar 3 one 3 ne © 83 me > fee Figo 248 heafcecin de una crvnsin booads ona Gra ‘Solafigra 2 iéapata aon ura derbaciénbonedo rk gramatca des fous 20 1o tanto, concluimos que cuszut exgure independiente de contxio gue rio conten cadena ct rae por eid c ln i err Sandia adept “ora come punt de arid aa coves, pxtemos demodbar el siguiente tevterma, ® es ‘TeoRsMA24 Ee neque pci dct note ‘oxtena vc eiences exe una ramet G ndepundiote el cnet ol gu (6) = ye nso tenet de cater gle de ‘eeseritura en G coin un soo feral oeraiernte dos no feria, benosrmacian Sea L un langusje independiente del conteto que ni contone Ia fadena vaci Ya saberos que un gramitiea C independiente del content que ne canter rina poate generat, Niwsinenfogue sirens ramen Fates ahr alae et Tara cada usin xen G, introduelnos un swe no wezrinal sco X y tno es reeset X x.y hey recmplaramos los ‘ocurenciasdsl erminalaen das tan demas regis de com Et “ORAMATICAS PEPENDIENTES DEL CORTETO produce una gramica G'independionte del contexts en la coat et Tada derecho de eda regia de resiurae ua slo terminal o una ‘enlera dere terminalis Ademis, UG) = L(G) ‘Ahora veeriplazamas e383 regia de Gd a forma NON A Ny donde n> 2, com I cocci de rogtss NNR, RON, Bes Mea endeata sun emia ccoqpnompereenrrgsaa ‘Spee om Cinna eos naan occ 1a petra pr te mat Wi fetrros dopa Saraura grant iopnntedst cenan Sug pal i doo ie aa pe eee Fis uri ip to rari» a 0 20 TYE Sat gceteeporbce sci eyandes ‘itn me Foo claves cru gn a eat oneness otelect rg eats uilngh a2 clnontdon ts BAAS Abcien Ut verqiotstonapegedoen pon ina sas on cadets on selon minal streducifoe pene generac: dela geri Topas cor dengue yeaa pe Npaett carte poe encore art era LS gona wooanme goer EY ‘Steven el omen aa hacer mis claros los pasos de a Gemostracin anterior, considers coma afetasian ala gyamtca de In fgets 2 16a, con sfabol iia 5. EL Prise pas srt intr los quevas no teminates X,Y y Zy converte fremdten ela gramdcaG quesepresensaan figura? 16b.Acontiuadi6n, [tesla S-» 2442 ae geemplazaia pore pa de rela: $+ ZR,y B42, talents que M—+ YMY cersemplassiapard-+ YP,y 9 MY, pars oben 1a gramasea deta figura 216e. Fralenente la secuercia iY» ya seevenca Mehy N>X davioncnigenalasregss N sry Mx, producto asi lt stomstcn dela figura 216my wr nox Figura 28 Apes dl proona dace ana donetrion ‘ilecroma 24 “Se dice que una gramétcacuyas rglas de ececrtura ve adhioren alas natriciones del korea?‘ tee form nanoal de Chensaky (Hamada ast ‘enhonor dN Chomsty), Por empl la gramsticn sooxm Mossy kor yoy ‘uy siboloinial 5 ten a forma normal de Chomsky, mientras que saxsy Soy om prctinimetng nt re un gear tumpnons ac oa mee te cen saegan eng ac oa ne eee entender aaa forme see gree ia mag Sopa tanenen ede be mat oro eer bs ge ie a bn soraeergeree se sighs atte ee ORAMATICAS MIDEPENDIENTES DEL CONTEXT. 40% rai ga 8 eons pa en iba cS enanban nal s-) Shag | eaves at sm soun rar 1S wee wh ——— Figers 217 Wellin de Vn rliicn son tora nal de Choma ‘onere =), para tenor una buoragramicn que gerare sunt neem ence pal nt see ate i tan See eran Se cena seen oom catantemasceoy Secret See Oe cee en gunln soc Teen toate ste ince rue iyee ee ree eiremale dhe ae ea ter, orl eee a cence ain synced etn Si ibaa Seen ences Ba Gia et et ce meri). Cane ee creme. ees ni en errrsaccaests forma normal de Chomsky- jercicios 1. Muesie que tala cadena derivada por ln iquierda de una grams independione del contexte puede deriva también port detec, 2. Sediceque una gramsticaesambiguacunndo permite misde unsrbolde analisiainidctio para unasolacaona (se Ap. C,See.C:1), Demues ‘requela pramilca que se presenta continasclnes ambigu,rostan- do que la cadena ile! tie deivaciones que producen disinos Arholss de andiss sintitco. $4108 Sass Sas102 CATA? AUTCMATAS OE PLAY LENDUMES mOPENONATES CEL CONTEXTO: oe oe a oe UTES DE LOS AUTEMMATASOE FLA TOR. ads ya haya chservado antes ete penblema sa [ktraZon oestrus ree neers _Alcance de los lenguajes independientes de! contexte Faia: cn tos Sobol termite del gramalia stent Frain thane meiey > enuncodo) ier psn un engueeesndepeni dl core. Para ‘Soulleyemcdtarernsigurie enaidocomo lemade bomb yx 4. Vile poset dot onl eorma 23 pre cat ana J ‘Sous te spies eae dec Gel cnt on eguses fants independiente ce patente que gener el iengasj ‘ste fe indepen age " Faction ae steuemtoquegeoredloyaeacepadepor ff prxcrecadraymnbenno” Comptes”) po en ‘THOREMA25 axe ‘ices un knguje independent del contero que conine ‘namaroinfn decadonarentncesdebeentien unacadenagee eke he Xing forma smc dondoa.ar0y ino seeadenesporlometon -Oo> a é oudeo ywesno vila y wane etten paraeada © ten eMosTeAciON Bea Zum lenguoje independiente del contoxto que contiene on inumereinfinta decadenas,y sea una gramdtica indepandiente al contexto tal que 1G) = 1. Sea mel nimero maximo de Strabolos(terminales y- no terminals) que se encuentran en el ‘+ Dames gue I unin de di yun dependents del contests Labia parlodel conten = UGoderechodecvaljler opin derwesenturnen es decir to les rumscs independents elm. peedevminane Tongitad del lado derecho mde largo de las regas de ‘omtr una gramstca ndeperdonte det cone ee ea reescritnra de G. Entonces, cada nodo de an érbol de andlisis ent et ete que gee in. nce basedo ent puede onercusndo muchow hijos. Ava Vez, cualquier Arbol de anglisis sintictico de profundidad d puede producir una cadena de longitud maxima m! (donde la Profundidad del ol es elncimero dearistasenlarote mss largo {ela ratza una hoi) 5. Conviertata siguiente gramética,con finbulinica en una gramsitica ‘con forma normal de Chamsky gue genere ol mismo lengua soy Atha atmo desibolonno terminals dG. i ura at codaeLcelongd mayorqued Bronce tbl deandls Not Stein fpr tn aca abe ena prtureidd yor seuCtomithequccueurarue quevadeleizavnatef rete ly de} no terme Por conga, ign mo Cit debe aptecer por omanos dor veces in Corte 10 Sirona sebieddeT cay morales nostra 23. LIMITESDELOS AUTOMATAS DEPILA, Seer eee all signer de enuna te {Gono lo ns toon sonbrenda de Is Fi 21) En okas st hora hors ercrzad os Jeng neprs del cone (ite erederama el sobrbol decays ate sn cere ‘in pnp unas fen t os ree dc Wy tcgy devas wea due queda deb dee tendiartedeckstogaperaroserne ct aa ee eee aE sd cen qu el prin os dena es pire ‘qurtoson cere dl conto. Alun bs etna dee conc fH, donde 8) son cnestorioes es as dal emus considernohasw alert sony demrrenistiry ye quenesiee eres Sobacboda ninguna yaa Goes de a segane N espectivamente Gearrllarhenamionns dedisene decompladurestecieseeborer eects {Stase de nuevo la Fig 21) Posiemes supones que 79 1 débe ser no delet Gepleanscnencomprenecpepel cde eae ner (eis ycrdelocontece podromreiminsr argon snbreaiadela inesuisouae dep Sue sein is spcn que arses ere eae [abs see Glin ult ciangution mown tla ida, Sin embargo ot podinatrecrtarse asi todas In rs 0,uta longue mayee que oom onde el no ttn Waparocy don vecae, Figurai8repreceincbn pilice dt Sbol de dean T longitu mayor quej prodsciiams un dbo de anti since poral cadena elegida que taviera ura profundidad menor que lo {ual seria una conrad, Ohserveque pen comsirusseotos les dean sini ‘epltiendo un rumer arbiuarle de veces ls coplas del subatbal selesconaco, como se muestra en I figura 219, Caco un de ston Jrboles de ands sintetico representa una cadena que la gromdtica G puede generar. For Io tants, G genera cadenas que contienen ‘srctura del forma ve para cada enter positive fA ss ver, ‘debe exitr ue cadena en Lide Informa sat donde sit 56 ‘ecuentre an para can © BM, coms sera ene sree, ‘Una consecuenci del orem 25 es que a engusie ya € A noes indepensiane del contest, De hacho, ere ienguiye consene una antl insets de cedenus, par no existe ol lengus aie alguna qu feng at _sexanonin con posiblidades de repetise sino exableito ene ecrenay 2 ast pronluir cadena en al langue (3 cals une de fs uns Segment mptides consistesotoeniasss6loanba yosstounlasseatoncesel rela no contend el mismo nlimero para ced simbo. Aden, epetimns em Seymento con mis de ue tipo de simboln, ertonces el restttado ence as y ales delas 0 ante dela “ibses sdcoon qu pada sonata wocivanda eto! elabgua zt108 carInA® —AUTCAMATAS Ge PHA YLENGLASS NOEFENOLOITES 261 GONTEXTO El hecho de que el gue fez" € #1 no seu independiente del ‘contexte puede parecer insignificant consideremps entances un eemplo en 1 cual ocurren estos patuones. En alguns procesadores de palabras tae Polabas que se subrayarin durante Is lnpresen se sincere como ta ‘idea de sibs (a palabra) segoida por el miss mmero de retraces, ‘sequidos por el nfsmonmero decaractores desubrayado Al ets palabras subrayadasconstituymcadenasqueseshstanalpatrnsryrsdondelat 900 tas letras dela palabra, is ylos retoceso y lr lo simbolor de subrayat, Por consiguienteelieorenia2Snas dcequeel poder de os automata de pila serlsinoufclente para construir ura retina de ards enc que ped eeanoce eta paras brayadas. ‘lel empl de as palabras subrayaas parece un tanto artificial se debe ‘aque ls colecién dels lengua ndepentiees de context ca aba las ‘otructurs que se eneuetranen lo languajs de prgrommin actuals, De ‘echo, fos diagrams de stotaes de w90 comin, utiles parm expresee La siniacs de fs lenguajs de programacién son, esencalmante,reglas de ‘eascltra independiente deleonteeSivembargo,exlstenalgurascarace: ‘nia de entos Lenguaje que tafe diogramus no pueden representa. Los sfingrarnss de sintaxs son incapaces de exprest la vested Que sliferentes variables na pueden tener el misao nmbre, que el eimero de Parkinetros formales de un suprogyaia debe erigualaleumerode potsin nos acuates cuando se Marna al Subprogram, y que las reterencias a Mer ‘leadoees no declaraos som ilegaes- 'No obstante lo anterior, el pote de as gramdicas isepencintes det ‘ontexo pernite ncuron conshlerable ndmero de replace stated lo Jensen programa actuale, yes lotantovalelapenainvertiGempo «nel desaraliodetovicas ears tic uaa nl proplodadende los aukémaias de pl. De hee, ee con tales Seacas coe Ws qe muchos ‘compiladoces seconutneyenen aactalidad rest cscs lasearactr sets del lenguaje que s salen del alcance de las gramticas independents el ‘eonlestoxemangjn comocaies speciale seevalaricome pated iis sernintico, en verde hacerlo en as rlinas deals snactc ‘Automatas de pila deterministas erste un problema que enemas que rsuiver antes de entamos ea bs ‘roduc de rtieas de ans sintctic pots sutOmatas de pla Las ‘stomata de pil que hasta aah anal son ne detorranias 9 ‘usatasrutins detompllca deben er determines Sivas tose ‘utémaas de pita como heramertar de Coens pera et desoraiederas ‘eteiaistas de ands sitio, dcboroe saber cask sonlas lea, reentrant unconpaisdeem utr prner pang ea drones presenta ulomacs dopila leeemita a5, pe concert | hams DE LOS ATEaMATASCE PRA 107 ‘Demanen genera un atfensade ils determina es un outimata de yuuenlest esepeableus,youbuna enecinencolgierinaani Es Ips quip py sr) om usr, re bet Ipualrysen ne Sincargnotrenndisonpobna para ensetidad etme deteuroano or cep, stl gun bol pont unc premcidelacrarationes Qs 9.9.99 O42) 08 Stover a open de pan delestado pao penta trde a yds. Se presenta un prbte sears ura mquna ony this parte supeardels plo pucbamcda ene pA aly ea, 4).cDebe SE EES let pipedal pin ajendo Seco nba? “Con been en barca, on auiata de pa determi 3 dsinecome lava epla(3,. 1-71 Fto que para cada ipl endnote wana en F enone 5425, Meee uo) een sh), CB) fet en Sy 2 en ron rarer spas dee hag yA Seige (e Ajeet ye allan en (zy BAL Oo Oy Ne inmbrayiresnutoase deaolodeynautrotdepladeenisiee, sopenpunes dur guarosdsfar poston dea de ta mins de waretuecanndeweentete ene ca pepela tock (5.3) Sayyed decent a) Agel nose preset icone alguns, pov la hay en Lrelitateoe que fe presenta nla ligra‘ abe Eapectcomente, Fea aeeereae fila que in esguna vera unaccen sien ecine 6° sae eaBtern uno gy secon plcabes tanto 9-44) como x AUS Pura aioe prolems puna le mae gue ot Te es igora 22a), donde sponses que lossimboloede pia Tnendquina soa. yy # zh a Te eC} Sara is Pac cde to ernst a , ‘que presenta ne daterrinisme y su cortrmparide detarrriniste108 carmaoy —AUTOMRTAS O€ WA LENGUASEL MOEPEROENTES DEL CONTERTO. All hemos itzechcido opciones eplcias para maquina en 190 de que el simboloenta cma del ila fuera y Enesks cit enti ala nguina que ‘xraiga un sibolo de a play luego lo insert de nuevo. Por sues te enfoge require qoeaylano seencuente vaiacuarloamiguirsc alleen estado p pues deo contaro ninguna de as rancho ela apie 25 porestoquehemosinroducidyelstmbolo# quese supe eld enel fondo de Ja pla iniciar cualquier caleto,y ques conserva all fasta thin Aligual que enel 81a Fatina free la open de reemplazar I con xSy 0 simplemente diminar [a 3dela pila. Este problema es fundamentaliment distinta dels temas ya encionados. ya gi implica elecion de nstrucchones en vez de wo ‘pera clakacion o reficamlenta de los detalles de las instucetones.ANE cAPINAC 2 MUTOMATAS Ge PEAY LENGUAES BEEPENDENTES DEL COMTEXTO. 8 Say Ea Figo 225 Giamilicaindepandionle del contexte y dagiama ‘ranonesasociedo pare un sata dla e cy Gice.g: ‘hiscina Setestas #0 ce arb ach rrr (Seta 9 wtor (5 2 som it or una aera o aan rin elo navies eure Endo: f ———— Figura 228 Saginnto de programa” ebienico al wadict eaounlanoe ogra dette 2 2 Aplicacisn del principio de preansl Fer fortura, eno determin de musta rt 5 le esta rutin se puede rsover ste rine de pean presentadocn mecon mein auuzacoren seméoncos it IIT Erte. irewar Eeeco:= inser 5): nado eg boo (Siro ilscmecela pla 8a ‘ase cml ot ‘SF Siomolon thon area (S) ‘oo ext (9 at 14 Sint ne itn salt alana door toce etaer oe (Sind 17: Sinblo noe then sa ela nna ds ero ‘se ort (flan (Ge onewse andube: Saar (A If Sinboo 9 oat mates din casa then 38a tne do ore Eat: Figwa a? Pana de aie draiico beats onl gua de F225 ‘encontramos una xa observaralsigoiente simbala dela entra, enton- esddebemos eeemplarar lS por I cadena x54 de lo contraio, debemos ‘Sustituila por la cadena vac, (St insertamos Sy en a pila sabiendo que Sl sigoiemtesimboto de In entrada no es una x, estamos condenados al ftacato, Una ver duc inertamos un sirabolo terminal en ta pila, para ponder exiaedo debe set igual aun simbolo de la entrada Si colocamos 1Syena pla cuanda observamos en I entrada un simbolo distinto de, I atebote dela entrada noserd igual a bx enla cima dea pila, y nunca ‘podrioros vaclarla pila y pasa al estado de acepiacién) ‘Conbase en onto, porlemee conver el diggama no determina dela 225 el seperti de programa denis que se musa gure 2 Aquthernosutliewiots varableSirbolocomo un alacant kp ‘al pare siguiente simbolo de ln enado. A parte de et almocenariond Temporaleepesibleinarogar cuales lsimbolo cadaver quesetenganguetomot Uretiones posta proctttoaniesde quescanextsar.Sobretodo.cherve que [brutinanoconsune lamarca defin deeadera, song adie permanescen ‘lalmacenariont erpora, donde puede wre cro él prin siolode la ‘Siguiente etructora que ser anata por el sista deans tt. El problema que surpeeneleemplg anteriores un fenmenocominenloe anlizndores sneer pss oegina cuando ts gauntica propane ms ‘Sera fora dereseibire sooo frmnal-Estasopciones tiple son ‘rencnles para las grams eas ue deben gence lengusjesquecontienen 4s ‘deve cadena (ana gromstica independiente del coneato quesbloovrece une Janera de reesei cia no terminal Shy pus generar una eadena). Ptt,t bi dels aniadoresnicios Le predecccsl e i tins els de esr ela que cab snare Fn poets sos deena estan core» ett liars es Ime anaizadorercntctem pescaves 5s ple precpo de resin, pusim mlvase mixhas de is incuba praetor i rican cos peter it bor ielustn gto omen dnd pnp de pnd oe iseas epantingusapicanra nen tne SSfuransesemeturananlidrsiacionpart Slagranecde 22% cxonmviames quel dein co pect naman eS no pee ‘eee cons saeva dt boi detract de ore gents tinnes smote quer opr yenverde oot) Bn -combi i Sain depend dee de sink us "onc pra desnuda deals incor ‘nia cm pc races temporal aed tnbo eso ‘Como resulado, extras qundeanatzadors ster cy ‘arate isttvaerel names Ges ce trad que comprnde Senstiacepreanns Fosnaladovrsllarananloadbres neces ZU donde sw enero que indica nao devinotepranlenoe ote anaiador ssc. mp dea figura 227 es um salicador "icen Loos rela ascot en garatcn z Foe. s [ene [oner [au [aren A ans ener ‘ener (Derr | ane wer Figwe239 Taba as etch aracon Ep pa a ati dogs BBestat 5 leer (Sere ile pis no et vaeta do ‘sae cia pi ob Terma oma dele Silo then eae don pla yer (See) lee slr eterna de tor nota: abiscirarde pl, nb «enor ‘than rampant le por tabla [cinaedepia, Sind] ‘Slow alr a larina do ror, anteate cond wie 11 Sinboe noon ia matea dein do codon then aaa antna aor Figera230 fava andrea do andl aiaboio LEG) sag TT 4] ‘Figura 21 Tabla ce andi siticca 11] parla grdlica do towa 27 ‘Ota ventja de utlizar tablas de andlsssiniction ws que permiten ‘sormalizar of algo de ands. Cunlquir aulizadorsintction L(t) [puede mplearelimismoalgoritmo;sisedews obtoner nanaizada sinkiction ara oir fenguaj basta con sustur la abla de andl sntetico por ura ‘nuova. Pata sbrayar ete punto concluimes cbservanda quelacomiinaiin el segmento de programa deta igura 2-30 cm la wbla de andi sith dela Sgura2.31 produce un aralzadorsinticco para el lengua gerado por la gramdtca del gu 27. Bpercicios 1. Reesciba ef sogmento de programa de Ta figura 230 ulilzanda una ‘estructura repeat unten vex de un xiructure whi, 2 Tradusen el diagrama de transiclones que se musstea a continu ‘ion dizectamente a-sa segeiento de programa que snaiice él Tenguaje ea cuestion, ;Cusley son las incertidumbres que deben resplverse para obtener una rutina determinista? ‘3 Disene una tabla deans sintictco LCC) para la gromitica siguiente, Saas 5 so 4 Gunton imbolos de preandlisisrequesria un analizadarsintSctico {GV analizar Ia aisle de cadens basadan en la gramitica siguiente? Disc una fala deans sntéctico corespondiente, S-ox5y soy 25. ANALIZADORESSINTACTICOS LR() a ts secin anterior meneonamos que It naturaleza prdiciva de los analicadores dake LL(Q) rsiringe la clase de lenguajes qe pueden ‘nance est analizadores. En est seecién presentamos una clase de ‘nalzadonessinlictins queeviten nachos delos problemas reacionaoscon Sus homéloges prdictivos Eos analzadonese.conoeen come analzadares Sintcthcos LRUD,yacque en su entrada e nquierda aerecha Lf igh, fn ingls) mientras construyen tuna derivacion por In derecha (Right ‘eriotion,eninglén de us cadenasdeenirada wtleando un sistema de preandlisn que comprendek simbetes Proceso de andlisis sintéctico LR Fn trminos enesles, un anaizador ict LR wanshere simols desu east plshartaquelossiabolos superiors dela pila seanigvalesa lado122 MOE RINOMATASOEPLATLONOINIES ROEFENDENTES DEL ETE, serch de ign ela de resin de a gramacn en que se tase Satna aller re porte aalzadorasesen poste reomtaese ton bolos eno ea quae rest ello in ale dein Tealderencrfrsannede tae oton imino delnenrad ala pi De ‘inant, aps sora cadents wales toa ar vex sn erplzadas pro eines nS" a rain, Pot Ain doe conten dels pls sere stoic dla pam, indirando que be sibs Was Raia ve prs forma una eer unde drease cons prmdtica on baer pec ls onlizadoressncticon LA se clasican come saz sists meementen queso scat ‘orrespnsonalacontrucondeocueriandeve eons part dev usta generar el simbolo inal del grams. En compare. ‘in varazadorvantets (le cncemcome sous dee rare denier pccomuancanlnioncceriepay pene Sheudevinbtoscucnealecuemdeteada ‘Dams marca abs por un mom desartrelo detalles spect feo dees arcade ities ER) Racer que on alana 100 Setiasaenunactimatdeplsennatreso parce tna aca oper iene del contest traci etn en pon dst ‘Semoowsion dl torema 22. De ner sal, un spaheedor Sc) Lx(i)ebaso en un tnt de pls consun spals de una gaa indeyendent del conte, canancepeon degur lata once pa Se a pele ce G 5 hw er 3 > lw = g pte = é 5 ew & 2 ete 7 5 see i ote , 8 ‘ot 6 Figra33 Polish ooelio dia coer Zazabbe soca ‘el astémata de la figura 2.32 = et gearing _itiguteetmrtate oe rresearan ocean iri rere amemnre angen eee iep tiene tmenencrmtanerane Ee bereceayammemeeurgnamstprs Eeimemecameen sean mms wee renee anemia Se sees cise ar wey ast a eine Wee cream Sierreperaetemenian cera ss ce _zMNs,e una cadena qua se puede derivar del simbulo de inicio S, eeduated ou pila par medio dela transiciin (p,4, zMINa:p, S) (Hla 14); y pot fin extracrd eb Beaergleicegrg cin Sater Peete eet rity peene dcr ‘estos analizadores del andlisis de las eotradas se Hieva a cabo constea- prima ii es ee cnacrccnes encase 125 secuencin de roglas de reescritura que transforma el simboloinicial en I cadena derivada, Sin embargo, ol proceso ascendente, cuyo resumen sh presenta en la figura 2.23, lp hare a la inversa: genera el simbolo friials partir de lacadena deriveds. Por consiguiente la devivacion implicada aparece en orden javerso-Tara encontrala,leemos en foraia [nscendente fu colurona “contenido de ia pla” de la figura 233 ala ver [qoe registramos tas reglag Je enscrtura que aplico el automata, En fusst ejemplo, esto revela la derivacion S.-92MNe ow 2MONbr = sitios tahoe zal {es cuml como se dip, oa derivacién por a derecha, ‘Implantaci6n de analizadores sintécticas LR) Sepreamntan dos probleras principales al tatar de convert fos auimatas de [is couo el que se mets en a ura 37,2 un formato de programa mis [puto Elprinero ene que vert cio deternucisme domanetasiniar 2 o que azcde con le analizaoressaidticos LI: sl se prsena una opi, | cSmosaber deters desplararonahuci? Adena icwesva opines edu, ‘onde existe mis de una reduce posite (2 est en latina de a pila, [Peluceos con pA 2p, M) cor (3.2, NYP Coro pa suponer, es ‘urs se reuelven conf spicain del principio de "El segundo problema iene que ver cn tos aspectoslcicos dea ine sacl dela pls Porefemplo, nies de que podames decidir ejecutaros ansiciin (Bh, aM p. 0, debe ser eapaces de deducr que los tes nbolos superioes en pila son 2, My Sin embarg, en un momento Aleerminad slo et disponible para ubseevacion al simbolo que se feneventra en (a elma de In pile ate parece ser un problema que pade “Slueionarse implantawg a pllacomo una estructura Mbrkdaque ere ta observat fon simbeloe ubicados debojo ce a cone de la il, ero est» ‘nevificacén soley at problema rela necesided de realizar busquedas repetdas en la pla, De hecho, parece que cualquier implantacion de a lna de resis sinucieo LR inet wn 3 componente de Feconciiento de patrones para compararel contenido de la pla con fos Tad derechos de las rola de eect, ‘Quizis el resoltado ins fascinanteen cl caeypo de a eonstrucciin de ‘compiladoresteslda en que este problema de iterrogacisn dela pus 2 pueda resolver sin necesidad de Levat @ cabo costosas bisquedas 0 Eiqoera cecurrira estructura hbridas pata a pila. De hecho, en el e220 Solos lengusjes determialstas independientes dal conlexto, puede inte irarseen ura sola tabla de sndlisi sinactcntods la inarmactoa ncesa- [Ba pata tesolver este problema de interogacion de la pa, ast como el problema de elecl6n de npelones.126 carro? AoUSOE FLAY IMIMES NEEROIDEEE cELCOMTERTO Fr Ja figura 2.34 se muestra el ejempla de unw tabla pars wn amalizador sinthstico LRU) basado ena gramatica dela igura?5, Las olurmras de esta tabla estén rotuladas con os sltabolos dela grams ica (incluyenda tanto terminales como ao terminales}yunto con une marca de finde cadena (representada por FDC). Casillas seetiquetan ‘con nimeros que representan s{mbolos (componentes Texlco4) peciales (veremas que estos simbolos especiales se utilizan pars Fepeesentar patrones que pueden aparccer en lap ‘Para describir los elementos de la tabla, consideremas el proceso donde se uso la tabla. Elandlsssitéctico de cualquier eadena comnionza ‘signando el valoe uno @ una variable de slbolo especial insertando ‘este valor en Ia pila vaca. (Desde este momento, a la insercisn de wn siaoto terminal o no terminal en is pila le seguir ta isercion sobre 6 valor actual de ia variable de sinbolo especial. Eoto quiere decit que contenido dels pilaalterrarsentrembloserminales ono termncles Y simbolas especiales, donde cada uno de estos ultinos representa el patrén de lo que yace debajo de él. Por Yo tao, podemos invest a » 2 mo os w ON 1 aap 7 2 | eeapiaars esparar? < 2 | cesplaara despaner?” a ‘ sla | eapazar z 5 eeaem | eepazer 8 0 « ‘eerarar 4 7 [woe ae are 8 [aesener tl > Woe | Nae 1 (eapiaar 1 " Soa ve | wae [wave | wet 3 Nos | Nan “ sear Figwaaat_ Tabi de naive cndetso LR) baaacs an aprenden ge lerawes asa wapores eeTéeTicgs came 127 gar la estructura interna de Ia pia vbservando el simbolo especat de la Sima) ‘ina vexque elsanboloexpetiat seh etablecide ysehaalmacenado en ta plla, hoses referencia a a tabi de andlisissintcic. La fila que nos {nercia esta determinada por el simbulo especial actealylacolumna por €lstmbole de preandlsis Los casos mds senclls se present cuando fa “asllacorrespendiont dela mbla esi vacia 0 contione la palabra aceptar. En el primer caso se considera que la cadena es invdlida y que debe ‘ecutase la rutina de error adecuils. Boel segundo caso indica quela ‘adena Inida de Ta entrada es aceptable y que ef proceso de andlisis ntdcticn debe conc “Ctra posibitidad esque la caaila dea abla conkanga desplazar, bo cal Indica qu debe eecutarse la operacion de Tn ete casa ol imbolo debe lense (ol srabolo de preoniss) de a entrada ¥ ‘olocarse en a pl; 9 la variable de simi especial sel Jebe asignar et ‘Valor que exist en la calla a tabla jnto con a operacion de Geeplaza- Infenioy este nucvovalorde smbolo especial debe inserarse en a pila; por ‘lime, debe actulizav el sinbolo de preandliss. ‘La lta postbilidad esque entrada dela abla contenga una regia dereescrtare dela gamiticalocual indica quese trata unaoperacin de reduecibn El proceso que aut ae requiere implicalasusttuci6n deuna dene desfimbolos dea plla(el lado derecho dela repla de rescritara} Comun solo no terminal Ind faquierdo de a regia). Sin embargo, 9 ‘equiere un poco ms dedetalle pars manejar lor valores delossimbolos Vales que también se encuentran simacenados en Ta pila. En prime lugarhay queeliminar dos simbolos dela pila por cada simbolo {lel lado derecho de lo sogla de reescritura. Esto elimina cada uno de los stmbalos del taco derecho de laregl, asi coma cl valor de simbolo ‘especial que $e encuentra almacenado encima det simboto. En est punto la ima dele pla contendrse valor del simbolo especial que se Eolocé desputs de erene Ia porcin inferior (la que queda) de la pila. Flay que recordar este valor como “simbolo especial temporal” incertae encima ef no terminal del lado izquietdo de la tegls de reeseritura. Luego este 00 terminal se emplea para identificar una Coluinna de Ia tabla de andlisis sintictico, a In vez que el stmbolo especial temporal determina una fils valor que se encuentra en este agar en ln tabla de andiisiysiotclca debe asignarse ala variable de simbolo especialy ademas debe insertarse en la pila "Asal emplear ua abla de andi sittin el analizador LR sma mente ce referencia de manera cic aa tabla hosts encontar ura entra nance ode aceptclsn Bas figura26se presenta unalgoiime deans nitco ERC) que wii ia an del figura 38 La gira 2.36 revue as ‘evidares del anatizador durante él procesumiento el cadena rahe, serve que ea figum ex esencialment gual quela figura 233, excepto por Tos valores adiconales de simbotes especiales an apis.120 cao? ArTiMTAsDe PUA ENGUNRE ROETENDEATES On COTEXTO Simbel Eapci = ts Insta (Srl Especta: heer (sinboe) Vator Tala Tabla Sinica epoca Sinbe: hil Vole Tonia ro or separ do i Vale Taleo un despre ‘than beain ‘ort (Sirk: Stl Epa = Vol Tea Esta, ‘neem (Sinboo Cepia or inbae) end la HV Tot ona rc ‘Then begla setae Dao derecho de Vitor Tabla Regsscertua ‘Sibelo Expect cael Estono oo ura saci ‘nse (ade quod de Val Taba Reafeeserms: ‘Sinblo Expucil = Tb [Sinble Espocis) lado rato cn Valor Tabla epaFawscrtra mac (Sintele Expecia) ‘nd tent Vler aba extéon Blanc then sara na do ener: ‘itr Tala» Taba Sinbole Especial indole snd wie: HSintlo noes FOC them sale aa nzina wep Figure 238” Aigwe do nate ahiaabo CA) ‘Tablas de andlisis sintictico LR ‘Aunque la constucsibnde una tablade sndisissinthcieo LR corespunde ss alaconstrucion decompladores qued iateitadetoslenguajes formless ‘hemos nora por rorspioto este ea. De hecho, tn construcclon de eas {eblns erwin importante apicacin des iorn de avtomalne nos La aa sdeunanabdorsintctice LRH) se basaen Is exstrcia den automa Sits ‘que ncepiaexacamentelscadenas desimbolis dels gramatica terminals yo termites que condveena operciones de reduce. Agu presentam eer ee eigen ay eal dagemade eee sa Eldiagrarm dela fgura2.37 col diagramade tasickies del aatinatd Arto pant del cual se coasiuyéla tabla de andlisissitdcten dela gare 2.3, Observe que acepa cadenas como 2a, Mn y 24M las cuales, ‘euro se encuentran ent pit Jel analizader, den taducese 22M, 22081 {Svtespecivamente Eatérminesce cstediprams elobjodeleralcader Snlactie Utes leer al etado 1 reverie el arco con eiqueta S muouaacoees oreicnees Lam 128 f F enon em pe ® oro D0 O2O2O2d O2BeGuw OrDe9ugeD O29ud D29K OOD O2QuHH0S7@ O2BKe OHNO Or Duar On Go@ O2DMONG OrQeOner® as@ le Figwra 8 indy arate dol ona rarababz con ef agora de Ie ture 2.3 y arate agra 234 ween PEEEETEEE ara lagro gutatoquepodapaacerun pocsode pre yeror donde tlanalador sigue epetidamente una rola bia un estado de acelin, Ftocedea un esi foto agin lo mis ralaen endo use0 78 att deal se encacnaacn ura nueva deen, ‘No cbsante, ete proceso noes de prvba y wf, sino una secwenela ten efits de evenonguiadon por los simon que se detactan ea fndens anlirada La hex es coment el proceso de ans sintctco Siguierdo la ruin deermnada por i cadena de entada hasta encontrar neta de weylacion. Al legar a este punt, la rota revorena pore ‘sGraa fini creespndeal pati desfabulos gue ef anaizadoe ha “Eeplacado ola pla Envonces, © process de andi retrocede por esta fs recorind los tbolos que dsban liming re del plo delanalzador oranie i aperacion de revducion. Apart de ete Punto l analiza. dor utiched care el arco del dlagrtma de Wancieiones dl sutomala faitoquetengaiiquetsequialentesinoterminaleolocade ena pia por Inuperacion de eacconcorrerpien Ast Una vex que 8 ha come pisedo la operecn de educcin, oe snbolos Ta pila el anaizadot Enresposerin una Yes rata Tosafabolos de Ta ute que recone sutomats fio. ata ver caw forcionn st procs, conideemos de evo la trea de aise sti da cadens suababe Cnferne ean Ie ossnausoones srracncos UM®) 130 O~ +O Figure237 Auta isa pan cualoe conareyS ate Solange ot (MADE ATCMATADTEPRA YUEMGUAIES MEPESDENT SUE COMTEXTO| imbclos 2, animate fio se mueve por a eruencia deestados 2.3 {.alllegara sie punt, 4 eqeiere wa operacoa de recucce basida en La eg M 22. Entcnce, ol ttrnataretrocede al estado’ (igulendoe arco) Yoelesiado’ pasaatectado Spore area con siqueta MS. Asc Gempe, “naisadorsindctce LRextrae a rsuperot dela pila ylareemplaza con en terminal M. Ash larva ta ge rover haut to (a trav dels ‘Stados 12,37 # commespoid de nuevo al pat de imbols en pila det Sratindor-Lalecturs del lgsiente snbolo dela entra levaal utimata Fiitoaleiado 12 donde eanalizador etrocader al esado2y seguirich aro fon etqueta M hasta el evtado 4 De esis miner of proceso de anflisis Sintscugp frabrene nga al estado ha ravés de es arcoe M,N 2. De tiguel proceso deandlins retocader alestado Ty pasaralestido 14a que Jneadenn MN: see al silo incl S. “Tomandoen cuenta etasiuacion no es diff comprender la construc ‘ign de wn analizadorsnuetico LR(), Los valores de os simbalos expecia~ lav tepesertan low estados del zatdenatafnto, Las calls de desplara- tmiento de la tabla creesponden a los cos rotuladcs con terminals, ‘mientras queelsimbolo especial quese encuentra en esacasilla represent ‘estado final dlaren Las caslla de redueclonindicanqueelanalizador Th legado a vn entado de aceptacién en ef aviSmata fini, y tambien proporcionac ta informactin necesara para realizar el proceso de tetro- Etaas, (Observe que el estado de un autérata fifo donde debers dete- ferse el eetroceso eotirepresentado por el simbolo especial que aparece tena cima de fa pila después de extraer el lado derecho de ia regia de Fevscrtara) Las casliae de ls columnas etguetadas con no terminates Permiten al analizadorsinttico eviablecer una nueva direccién en el ‘ingrana despus del retroceso. "Fay que hacer an comentario nw antes de sbandanar nuestro tata- rmienty del anallzadore sinticticas LK Para completa un complador ‘neceariocombinar un analizador con un generador dec6dign que prodizca [truccones enellengunjcbjeloquereflejenlasestructuras detectaas pot tl oralizador, Al emplear un analzadorsinictico LR, este enlace entree} lnalizador y of generador de e&digo 2¢ presenta en relacion con cade ‘peracién de reduccisn. De hecho, es en esta eaps del proceso de aniisis isto donde se ha veconceido una estructura, porlo que eel momento Indicade porn sii de codigo gee construya ol ebdigo para ‘sdestuctura. Enteoume loscaculosefectuados porelanalizadorsinticco Yel generador decdigo siguen ol pot bisico. ropes anacrla stn bate four una reduién ‘enero nt era a enti ecto$32 MAD? AINCAATAS OC PLAY LENGUAEES FEFENDIENTES CEL CONTEXT ‘Comparacién entre los analizadores sintécticos LR) y LL{k) "araconcu ebro confemaqoenclecin deanalizdoressinicicos {Renna foern que ndelaranasadors LQ) Vahenos pans ave ninginanalzador sds LUD pe ancl ngs er Sice"nett Snag, nla figura? 380 prose na frie par ‘Stele ya bln an sco ER ctrnponiente se ‘ombinseteiblacondlalgoio delays 29 one nant {Eka guetecanoce lngane one logs dela bars ceed ‘Talat ano tnnardeindeain Evora, ‘laalzndr on cxpar de sls rgias de meses eprops analizar conectamente ta cadena), ue son no ctr imgnajer independ del coneno que ningin aeohedorsrscico 1 poole mmnbcer. De heco, nce Selena oor xox voy sds C1) Anzaconis ahr RR 138 ‘que pueden se analzados pr ls anolicadores LR) es preisamentacase delis lengua iependiones del contelo determnistas. Aunce na lo ‘Semostarenes, porlo mands dbermosseralarqueeselinlte del poser eos sralzadores LR(Q) est de acuerdo con questa inion: wu analzador SintscbcoLR(k debe wer detenmllsiay, puesto quesvestructurnsebasaen un brolmats ce pl, debe deviucire que os analzadoressntctcas LR() slo Durden onalizar aquellos lengusjes que aceptan fos autGmatas de pila Solera. ‘Un efmplo de lenguae independiente Je contexto que un alizador sleudctco LR no pues analizar el lenguaie fey:nemj uur ae) Intuisvarents problema aqui es que une ver quese gaa la primera ye Inentrada el anateadorsndscheo debe decidir cudteslaregla de vescritura «qos debe aplicarse canociendo sola sigue fsmbolos de ade. St Rsmayer que k conocer Slo os viguiesesksimbolos no bast para que et {nulzador delectesaentradaconlendtd ny o2ny.yporle wmfoelanalizador tex incapas de seleclonar la ega de res ritura corrects Fjezclelos 1. Con ot proeso atemativa descrto en esta seccin para construic un _autémala de pila apart de una gramstica independents del cvotexo, ‘orsimiyaundlagromadetransenes parse aulématadepilaweiizande la rami que se prensa consimuscin, 5938 Sys Sa 2, Ientiquela dervacin obtnida por el autémata de pila construtdnenel cjerlla Yl analiza Is cadora vv. 5. Construya una aba co anilisis LR) prala gramaca siguiente (enisten rocesosalgortmicos ue hacen estoy que no bemos talizado {para ‘blaner mas informacion corauieelapéncice A] peroesiayramstica slo Sufleonteente seis para que posta dearrllarse ona Ula con so Saber como se won os bls de alli snttctco LX) S-rasy Son494 vtrmos —AumoMAToS PEA YLENOLNS ROETEROENTES CEL COMTEXTO 2.6 COMENTARIOS FINALES. Trineto debemos aac a rion ete I argu aca con toy Innes tndpendenes del cones ys chat lengua glares rocniden eto cpt siterne a honor via gar sles Fepulares aon ndepeenten del cnt pe lclsacn pute et ‘nds prec. Lon lengua repent popes cntnin ena ‘thc de os egushs ated por alma de pila cermin Sue vacan us pls anise acpi tom eae st ered at Servo quecuautrengujerepularpundestsepads pon sutna 1s to det ninsta gueenen chen un autrat depos Geterminta {yes tamianes nan aia apy cme apis mince te ope, abe eur vaca cnand se Ings hn lado de acepcns Adee inclustones propa put que engulf sega po dcepade porn alata de pln dee gue Vata su planer de Sepia cadena i 22) As nla gen? naar dela: pranon ei usta hr ha cobra ua esto debe Par tie, como pene pao pars toc anos de os eae dios caplulos ane, obser quelosingwaes independents del ‘ontetonasoncerad araatntersceion for sept. sens eye m nett y try nail son independant: del conceit Prineroeagonrada por TZT-s NT erety Zou oak yal Segundo sua) pro sunscreens rm, {hl como hemor ito naertepetontedclenteriyAcaninarte ‘onde dee sented dalcontno vont ore ta union fn, aplcar Ia nyo de DeMorga, esa que ho Fengunjs independientes Oe coments no som eerrados prs fa Complement Es Sorex sbcojuie de que son indepen Sets el cnn pr coon onpenmrtr woos io gic qo ncayaisnd Seun svat dep pave aceptar cadena de uh hoger sinks con ls copolied para sehasat Us eadenas que no a8 encuestan one lengua a capacidad pete rechasa fs eadenas que no satin eno lenges eqevali la Cipocidad pura aeeptarl complement del lenge At, ete ne Inportantdferencta entre acaparilad pas expanders ceundo a Coden ets ene lenguse Is eopacided para rpnde 2 he “nn a adens ents oat ene engualCen el prmer cash se chro ehalsenellengiae te maqhine puedequedarawopede ‘un iy ne Tesponer Ene segundo caso. Ie mquine debe 1m decorates, responder de ners corey sn Import sb fespuestacn stor) Lacatenia dessin srt unfacor mpevan. {een nods subaecoenen mOREMABR RERATO DEL CAFITEO 135 lengua genetos lenges indepsncotae eleoeae args dopo do ‘cata deine Inns econ por ‘ura pe drinking (que vaian susp arte ‘Eeuarune casera lengua Figural Lajprequls ds ba lenpajos qua Denes provera hots shore Problemas de repaso del capitulo rca ive nina ga 29, proporonmeneera de © Ueieapuequccan ence pono ch eel neds ae. 2. Muesice que eenguae yas =r + 1) independiente dal conte. 2 Mate 2 lego ve WeepAPTAO2 NITEM Ue Pua YLEMGUNES NDCPOFOENTES CEL COMTERTO mgm yam me sinker dl ets pero &. Blingujetey ey: mn aoa intepentonte del entero 4. Mucstrequecllnguaedelallabeto 9 que const en aquellascadenas ‘anel mimonimer dexy yes independiente del content determinst, 5, Muestre que ses un lenguajeindependientedelcontexto,entonces| el Tenguafe que conalste en tas demas de L excita x la inversa ‘ambien es independiente del content, {6 Conbaseenta gramdtica dea figura 25, dibjec bol dc ands sinthtcn ‘parals cadena tab. {Cuintas deivaionesdstintas son posts para ‘Sen cdera? ecribe ls dervacones pore queda y por dere 7. Conatruya un autimata de pla M para elem iM) ={w'ev2r ty us ‘enters ho negatives tle quer + #=3 +). 8 esciba el lengua aceptado pore auinata de pila cuyo diagrams de tranakioes se macsra contin. nex hoe Ot hao ve 0 9. Descrba ol lnguse que acepta el autéeats de pila cuyo diagram de {rsniciones se mors acontiniacifn, Deseiba a exdends que ee aceplan cuandolapladela maquinan etd vaca Modlfquecl nga park qu ‘cepts riser cadre que ans pero stl despues de vara apa. eyx han wer yr 1, B 4 16 Promeamas ac nerasc cel ontna 137 Encucntre una gramstica independiente del contexto pore enguaie In aty nana entrosposivtstals que nk DDesarolle una gramstic independiente del contexta que describ te fetractu de un lengusje de progresacion seenefants a Pascal que Solo peri variables de Spo entero o real, que no conte proced!- Inlertoeo funcionety cove Unica inetreclones son asgnaciones y ‘nuncio while. ‘Disone una abla de ass snctico 1) parala gramstica Sas Soy ‘Disene una faba denis sintStico £240) pars la gramticn Sooxsy Say ‘Disene uo tbla de anass sateen TDN) yaa a gratia Saas: soy ‘isere una abla cle alist sietico LCT) par Ja pramsica Sosy soy ‘Disene un autbmats de pila deterelristaM para el cual UNO sea Fenguaje generado por a gama Saxe Say Disene un autimmata de pila determinista M para et cual UM) se ot language gener por la amie Say Soy [Divete on autimata de pila dteroinista Morse coal LB) 560 el lengusje generndo porla grams sigue, cn soho ltl498 owinnoe 8 %. AITOMATASE FLAY LEROUME RECFEMDENTES €CEHTEXTO 54 nae Naz non ‘Sea E=1xy,~% .) A} Dsefieun amata de pil Mtl que Li) Constraya una grads Ginependiene del conten tal que 1G) el eonjnto de todas la cadena por la concatenation de ‘aden en (ef com la ina cadena eset ala inversa. de contexte que ‘ellenguaje (ey: m y son enter ne negativs donde m< » Disetie ura grmuia independione del contexte que gener engusje fry son enieos no negatives donde n >. a. Disefe unautomaiade pita Mal que 4M) (ry my nson entero onegatives yim 2m). », Disene unautématade pila M al que (M)= rym yn son enteos onegativos yn - ‘Eidcuonts Paseo, permits queunamglna de Turing Yenc ndeice que ro aparecen en Tos datos de ead es deck, haem una Egan one el ej (ono) de sabol, Hamad abet de Ta ‘Taguina ene quedebon er cfc low dais deriva aes, y on “Dolan, poslemente anor Caubin fa) destntoes de na que Senn Pactelar yea eta dition eso aque se bee ara alain de ut nutmaay 39 sabato de pl). Dest mane fn sSnboloe de cna de ure mins Ge Tug pueden fn araa epee {peposenn stl del alate Jen mda ‘rape en tances ur subolo queen ta aegis eat cde un smbolotoese Foyer ence eld deb cna quem le copa. FPareonleuramagquins deTorngyoranéeal deloesbolosdeentada {i dts encontarh yea eds on bianco que al se encarta. Sitmss puede sernecesaqjuc niga Tovingeng queburat a ‘ds cao onetla un espaci en Bln. Pores, et eeu se ‘Shcldera qucelespac blanca perience alcrjuno desinboks deca de ‘Pentquin ce Turing pero era parted atabes dela maquina Ts fil que drole deespacoen ape oasione confines y mals ansrprtaeoes une pag pres Pr constoa de comnial, ‘jaan el svtto para repreenar el espacio en lan, Esa cone. Zistaratsambspocdatlenteloscadeonz y= syaquepademrerpresat in pam corner a separa com =.Lasacsiones epecticas que pad realizar una maquina de Turingconss- ten en opereciones de escrtua y de movimento. La operacin de eertara ‘arasteen reemplazar un sgboloen a cinta conotroslnboloy negocarbiar faanuevo estado (el cual puede ser el mis donde se encontaba antes) La ‘operacién de movimientacomprende mover lacabeea una celda ala derecht ‘oa iequienda yloego pasar un nuevo esto (que tna ver mAs, puede ser ‘gual al departs. La sccicn queseeeewtard en un moments determin ‘Seperder del nbalo (€lsibolo actual) que ett en faced vise en eae ‘momento para Ia cabeza (a celda actual) ast comma del estado actual del smecanlano de control dela SirepresniamorcanT el de snes de cinta de ura mga de Turing con 5, conjunia de elk ycon Se corjunto de eatadesqueno someldeparada entonceso ‘lastsansicones dela maquina [por mato de ura fancion lmada fancin de ranaicén del quire Ia forma 8(S'x T) 5x( Vt, R) dondesuporemos quelossimbolas Ly nwo pestenecen a7. 1 sumtin de esta representacin funcionet ela siguiente: & 5(,2)=(o,9) signifies “selestadoactualespyelimboto actual es, laxeon elsimbolo yy pasiralextadog”- b. 8G.2)=(4 E)signiien “a estado actual esp y el ambolo actual es, aver a cabexs una cela al izqulnda y pasar al estado”. & BG 2)= (4 significa “setestodo anuitesp yelsimbol actual es “X-moverlncabera ura cea la devecha y pasa al estilo” (Observe que, al describircon uns funcénlastransictonesde ura méquina de ‘Tring, li qui es determinista. Para er mis precaos, existe ona, y $010 tuna, tansicié asocie a cada par estad-smbelo dandcel estado ra sel Seditencion.| ‘Durante ln operacin normal una mquina de Turng cata rnicones _xptbamenttasa lira tae depaata(ngute dec unser condiciones «posible que nunc ¢detengan lo ciculos de una maquina de “Turing yaquesu programaintemop uedequederatrpadoen uncidosinin). ‘Exist sin enbargp, una anoinala que punde ocutr durante ete proseo'la ‘abweadlaméquina puede rebasar”elextrena inquiendadeta cinta Eneste ‘0, la maquina abandnard ins eileulosy deems que la cut det ‘juin suid un terminate snormsl. ‘Como sucee con oto» autSouias, es il representarvisualmente ura _maiquina de Turing como se haceenafigura31. All elmecaniome decontal ‘dela miquinaestdrepresentado por un rectingulo con una espaciedecardtula de lof queidica occa actual de lb maquina, Erwima de ste reetingul seencuentalacinta dela miquiraslapasckon de cabeza dey mig esi Indica con tn apuntaor, como se hizn en los auras iin y de pil, Convo tanbiénsacede con es otosantimatas lncoteciin de ranicines de urs mSquina de Turing e puede repreentar de mareva convenient por ‘medio de un diagram de aansiiones en el cual se isttan con peaehos waceiNaS pe resi 146 zo co comspann 7 | ty FFehacane ue ont nds maaeee mecaritme do contol Figun3.1 Ropesoncibe de une qua do Tung cuts lorescsdelamquna(deficoda lost nah de prada Siumapunindor yon dale ceo te eoectnds po a ‘pe septsontn ls weaknesses Cada uo etosarcos ding ‘Eeine dura nsgun de Turngoretqurtaconnperdesinols can cares ana dogoral. El pri sabolo dl pr represent ‘vad ae be ext on aca cl ponent ‘trepablerelsepund sbi elquese exci eno xa acta (aeiiototonacbersclon deretursjodeloconzari uno delssimbole, TR ta tenet es en operon de mmr) Dest taco p3)= esutaepeiad pounce cone ‘iro, 2) 1) spreeca come i arco de Fag con egw Com SESE a's un gama de wants comple Pare one ign eragen snd bal guemune sera lneecha hasta cneontar un epecoen blanco ‘nao un epeserin con cor tata debe ere dere ec lil mor yop on Saga de eres compa pce tra muna deur Pr em, en asin Sites equa deo digress cee orn pene eee Eakins, Sandon por mniao que, de ser receario, po Satine os deme acne “ sro prontyerem 6 mige” cemputaonal gal desing et ua epataii haar ens pape Con a igi pes de aerate uml ao agra concepts de aqua eleto- ‘Acca gue fey escrbe en una Gla geen Lo opr es que{IB CAPT? MAGMASOE TURN Y ENGINES ESTRUCTUNADOS POR FRASES. as _ oO a Figura. ingara de anationos po ina mia @ Tang potaritendogeeloeinpinanaeonsenetee ics aril easeloaas De eleoncepto de migolna de Taringa igual quan oso suri ge Sens Si raped cepa reat ses lrcraceri citar de womans de Tarngen sige Uneriguinade Tings stp donde: z ‘Sega colecin fata ce estado, Sze, un cvjnt fin de sino distin de expci Mamado alfabeto de 'a méquina, racio em Ware, « Tesumeonjrts inde stl incedo lr de. qu scone tomo mtn de cits de w nasa. 4. Bealafoneion de taanion dels agua. © Leundenenndes lamedoestdo nical F esunelememt dela edo de prada Brocasioneserconeninteconarconun otc coca quer te a conigrsin de sca de ura maquina de Turing, nchyendo el ‘anni de sus cds pilin de lnm. Beeson aos pret, ‘BocialitadelconeiadeUscelda decay subayeniota pon de Rien bene apr ua ten t2pecon Baas suo por insite y9 epdna sue Stine onlacaea the hake questoeke SPmOnOm Los origenes de las miquinas de Turing, propio para coa ee dearellarn ls magus de Tring csi di ae sotto atimatns que hemos eras yo qu a cneurcr pst ‘tener aoc poder des proceso omulioais Eaonas pale a wus rena 147 jitencin de Tring fe desarollaronsistrnaenel cml fuera porblesnodsar ‘ualguier proceso que padieta considera coma un cleo. Reeuctde que cto ured nicho ees del desarollo dela maquina omputaconal que exstoen a aetsalldad Turing pensé ern cSleulorealica- ‘So porunserhnuano on pic y pape Bsjsestecontet,Toringrazonoque, ‘even emnmerap dad as personas slo palin concarrerse en ure porn ‘ings de papely que, au ver, lncclecen de marcas en este azo de taped posia considera como un solo sitbelo, Por ets, Turing, coniden® ies el papel en scctones, ada una de as cuales canst in cantidad de Turing plants qve al considerar una sein espeifica del papel, wn perme pot err dichaeccimo pasar aon. La acin por emprender {Vous dealeydepanderian del simboloexisenizen laseccion del estado de ie mene dela persona, Turing conclay6 que, al gual que con el nimero Ge simbolos, los seres humans postian,s6lo una contidad finita de ‘tados de la mente distinguibles Toring considetd tambiga que la persona se ballaria ern cstado especial inca al comenza as clculos {nun estado detignado como de prada a os levies ‘Pero evitar que la dispondlidad de papal resringeta el poder det rwodelo, Turing peopuso que Is caidad de papel disponible para os ‘ileus fuera umuiada. ‘Es muy-ignifcative quenadiehaya podide producirun models compu tacionalaraplamenteacepido que rupere el pode del modelo de Turing. ‘Ete model e incluso mas general ue los comaputaores actuals, ya. que sna mdgquina de Turing nunca se veresbingida porlacarenciaeespaciode lmacenarnent algo que fralmente debe eutrr en una Méquina rel or sto, lr muyorts de lot cleaufens de a computacion aceptan lates de "Turinge ef poe snpalaional de une mquns de Turing tm grande come Ze cuguer ssa omputecional peable. Adena, esta sis y los resus iq a apoyen ay en ia eae mportartes Implicacines cin espeto as Jiarcbeelacomputiblldad Parareoiver ealguer problema conun compe ‘eur ceveuere desarrollo proceso computacional oun algoritmo) que resvtiva el problema, Entonces, ls respuesta las prepuntas ques plan- teat en Ie epoca de Turing, com “que puade hacerse can un proceso Compotacional?” not ayuden » responder lac pregualas actosles, como “Taga puede hacer un compuladcr moderna?” Tin el capitulo 4 volveremua a hablar de a funein de las mquinas he “Toning el edo de ine proces cmmpulacionales, ademas de investigar19 Geinmos sdaumasoe nen yLeNRLES EeTRACURACOS ERMA utero pt dnt aa et ee Seocee occas Soe gael Bjercicios | {Con qué configumacin de cinta se detendré la mdquina de Turing que se ‘Soon cudnt ee 2 Dla miguel Tureen cn thane Saag coe gate 2. DigeRe una méquina de Turing que al ncar cont cabeza sobre a celda ‘delextremoizquierdo dela cin tenga ura erminacon anoranal sty S610 shay una rregsirada en algin lugar dela nia Sleplicra su maquina tuna cinta quero contiene ua, detects la maquina esta sbutcont? 4 Muze qua cpacdaes computa de una mdquna dT rosurartnatipemin tvern enn rt Zyros patron ong 3.2 CONSTRUCCION MODULAR DE MAQUINAS DE TURING Aunque props paca de ecto es etal capac de seep te lengua opr dee mdquan de Targa elec ‘corerucciin uooustoe wdonnus CeTURNG 14 secund aio important sta presentaciin dees fandamantsde tas mq ‘SeTuring, ya que estas mniqunas avira comaberamiestasenloscapuios Stbsecucntes Dor est investigaremon las maguinas de Turing con miyor ‘eterinvenio anes de continent on esti estudio dels legs En ta Gecién, muss obptive e# desarllar tenieas por medio de las cuales fonstruine miguinasde Turing omplepsa prtirdebloqueselemen- es Esteenfoque aclitard la construccion ya coroprensiondelas miquinas (que vererea mus adelane, Combinacién de méquinas de Turing Aunque hablaremes en mings dea combinaciin de nqunas de Turing ‘orn tonmar ots méguinas de Turing majares, esta stata senk ‘utidad combivar oe programas de as mauinas de Turing en una forma ‘uy smejantea como se combina médales de progrania para desarollar (rato stern de sftware. Par esto, yt represent los programas de [Eb mvquiras de Turing par medio de dlagrames de traicone ycomnbinatlos ddemarera precdaa lo que hicks para formarla uni ya conesteacion de de para del lado de parada de, yl caracteristica de iniio ‘dal evndo mica eT, tego dbujar ura arco con equa x/ paracadax ten del antiguo esade de parada de 7, a antiguo estado nici de, ‘Obviamenteel esltada se comportra dea manera experada, pero ete senile nfo ten varias desventas. Por cjmplo, en potncis posta {ntodctre un gran nero di wanskdones que fuera simple resscrituras ‘eleontinido de aca (eta deficeneia presents obstéeulos para neato “nll dela complidad en el epftoloS). Adem, spony que queremos (gu la maquina compuesta secetengecespods da sisolar Mf, n menos que irbolo actual al legaral estado de pareda wea 3encsyo cao os gusta (que la nveva maquina simularalasacicnesde M,csupongaquenscesiamos Biabinor tres dingramasy controlar el paso de uno a ott dependiendo det ‘alordelsimbolo ctl legara cndauno deloeantygucs extados deparada [En estos caso o quiere un erace un poco ms complica, Suponga entonces que necesieamascombinaz lo diagrams de transi ciones de'varlas maxjuinas de Toring para obtener una miquins que Smale alguno comblaaciin delas maquinas originales. Lo hacemos de goiente manera: |. Blin fa caracterstea deni detos estado incase todas as rmiquinss, excep ace aquél donde sac a msquina compuesta,18 ovinnos wun oe ney LENRUAS EETAICTIRMOOS PEMA 2 Elimine a aracteisca de detencidn de le extacdon de parada de (ods las miquinascintroduzcsunruvoettadedeparsda que ow cncumtre en ninguno de les diagrams que o conbinen. 3. Poracadaunodelosantiguosestadosdeparadap yeada renT dibuje unaeo deta siguiente forma: Sila maquina computa debe detenerse al Vegar 2 p con el ‘imbolo actual, dbo un arco con equa x/ de 7 al nuevo. ‘stado de parade Bb. Sial llegar al estado p con el simbolo actual la ‘compuesta debe tansfeirel contol ala maquina M= (ST, 5,4,8), dibujeentonces un arco con etigoetas/z dep al atads 11 eM, donde 86, #)= 2). 1a figura33 propocona on eemplo de est construc, Agu heros comenaai cn le dagranas de tarsicones pan tex maqulnas stn, ‘ada una con los stbolos dena x99 A Une aves aber oa co ‘tla derecha, ora cuenta la primera a derecho ln elds ace la lerera ncierta primera ya a deca de a xia Cel proceed B->€ pnts cpio s AB ‘Come ejemplo la Ggura 42 meats un digrana compute de una amquinn contra patr de My La matin cpa sls lt ‘ste eI pun de rman oder gs ‘imulalas ions deh La igs epreentr na adgure cas 1M, ylungo ce una earns M, soos neds scuak conte ee elo contrary, se detonelconclilasacnes de Po tino, labs Sdcrepreents a magna commpasiaguecomena la nuasee de, y hgh simula 10, depend de elatmbols scala rose ‘Oe abrevistia que eliarenos conse enaplar notin, se |s par indicae que ciando oslo acl sy 07 a guia deers roseuiren cota een, donde reper cba gu raid ‘Sui presen Hts otacion via sural dogma con rurale, ‘manque sepradan pas cada uo de los shabobre pyr Pheca tea, ‘Pode preset a sola rtina gona que ts Gel sebole ee ‘uneraparsida a come un subprogaia pcseta una fa ender teaminod de parse ote Mase am, 24 pend ‘er Heyl artigus estado de parada ce M, cn ol smbolo actual = 0 v, confinuaria eonlseecucin de Mex evar lanigu esd he pata Se ‘Mean el mismo simbolo actual Que tena al entra #4 ego la jeceton regpesain a Bloques de consteuccién bésicos {Una ver etabicdo st sistema de cota. corsderemos aor as meg ‘ate Turing elementlesque empleaerorcormbloqes decorsrucesten sis poten, Obtedres unm pi Ge eal saben ae ice _COMPRYCHIH MOO DE MACURAS OS TUR ges decosrucsnsresondanos uel dricas actividades ispones pr una maquina de Turing oon mover la cabeza ora cok ala derecho, rovers untcedae laguna exon nbaoen Incest POF Ceeniguint, scoretruimos magnasuividuals que fealzan eis son ius ares, enencesceagule a maga de Turlng debe ser wa emporio de ets Bloque 8 tht ow pom «hy ami Fgueaa pros bg Gr Trg compan af * -CLS 30 . ce CES Figueas Waqieas Aya La figure 35 muestra lor diagrams de tarslcones elas mguinas de ‘arn que eertuan cada ta Ge cron actividades Fodlinenaie, 9p0- send que oy slnboon de ain son 7 an maquina pre 80S14 caPmA.os home ce TUR Y INGUIN ESTRCTUNADOS PFS bolas no son mis que simples guneratraciones de etas maquina Eereetnmos con msl fot nue ou sabre tra ob e Aetechacon a quelasmucvé una celéaa alate y com rts mang {que excribe un sao en ln cla aoa. Deca manera, au me de “uring qu sere uu cal sla dec, ecb el solo, mere ava cella faci a tequera Se deen, pola tress con diagrama conpursio aRayot venforma conden como aL "Nucstro siguiente paso es establecer un reperttie de méquinaslige- ‘amente mis complejs. Un grupo de estas maquinas, presentado en ia figura 36, Neva cabo bdsquedas sencilla, Demanera tis preci, pare cuagser simbolo x la maquina representada por R, recor: Ia cinta la dderecha de au posicininicial en busca de una celda que contenga el simboloz. Siencuentrs ese simbolo, ta muna we cetienay enaceldo 9 1a actual; deno ter as la miquinacontindard su bisqueda termaments, onuTrusoOR MCOMURDEMACURRSE TURING 165 ‘De modo similar, ta mquiaa , buscard a Ia derecha de le posicion Incial eualquier simbolo que no Seu. Las miquinas I, y f-efectlan fol anges busquedaa hacia la aquierda dell posicin nici (observe (gue diferencia de la busqueda hacia la derecha desde la posicin nica, ‘i sdaqueda hacia la f2qulerda puede ccaslonar una ermiraciin anova si llegh al extrema taierdo de la cinta sin encontrar el objetivo de 1a esque) Laemaquinas 8, Rl, , endrin una ublidadespecial pry nosotros, pus pune ne ar vrs dq compuesae [ue busquen cedan en blanco o que ap estén en blanco. ‘Ona coleta de queers dies que Neva cabo operciones de desploramientn nb figura 37 Se presentan dos de ests msquins. La ‘mdquine 5, dexplaza us cea hacia derechala cana de sinbolos queso ‘atin en blanco'y que se encusntsan la zquloda de a clda aca AB ila ‘Gata de Sevier la coniiguenion iia Ange A GOA, enonces 85 ‘dotendila on la ck configurad com Ai sa epions ‘AyryhAey it~, 5, produce yes. Como We as SRST cas tera dla acta cot n epactc, ‘incansaie boeraia Ia eda actu. Ast, 8, converts la configuracén BiSOAAn dela cinta ayhATAN "as pete | awa te . |. Ae & sists t tate Fguna8 wiqinos aA, yl, gues aeons 95,{80 -carmaog whoumasoe name YLENGUNES BEMAATIRADDE POR ASKS fours § ee indepen haa er ds cntrnscndguasnical pris hc, caeend tedeagon Sichacmipanmcone dypadin SS sonmapeara oiyacneone 5, prodcica Quy dry ™ ‘ aan, fh} nnanse —| Figura 333 Maquina copa que wenfoma un parm elm Zw que. Wage Tung capi gia pode ign raania gece hy 28, sadn ae YB DM IP 2. Concluimas con varios emaplos de efeno pain combina las maqul- apni ps nia cn fn rine rabscomples.Lafigure na guetraneema un MO a forma Gu ala forma Zate6, donde wes cualquier cadena [Posblementede ongitad cero)destmbolesque no sonespaciosenblanco-La ‘Riguina quese presents ena igora’3supone que su entrada representa un Grit ponte ee notacin bisaiayredacgn ural vale represent Por ‘motte mulquna de la figura 3.10 modifica caderas del alabet ey, 2. Fspeclficamedte, niclamos la magaina con #u cinta configurade oxo BwyAASres donde, es una cadena en (yy 2"-enfonces la méquina s€ Jetlnded con te cinta configureda como AuSA2~, donde a €8 la ‘Selena que signe a wen la seeuencia hf 2%, YE 25 3Y, W243 > Mis hdelante veremos la chiidad de esta mdqaloa como 1. Combine ow dlagramas de treicones de as miqunas My M, que 52 Sruosien 9 contiaacign pa formar el Gaara de warns dee ‘aiguina compucsta sR Elly. oe tace aig compe? 4 oe - Ss9 ~Ce=° 2. Villzando ls boues de consrucion peesentacosenesta sec, cons truya une eniguine de Turing que reemplace Ia cadena de cers y nes Inusadotameniladereshade lncahersporelcmplementa de acaden [pogo rerece la extra au pose original, Supanga que el ectemo Teme dela cadenn ea areata con un espacio en Blanco (el comple tonto de unacedana decerosy wioses]acacera que seformealsustiuir Jos eres olgnales con uns, les ws originales, con e705). 13. en qué condiciones se presentatia une tecminacién anormal durante lt jessie maquina,” “comer MccrGN MOOR De MCLINeS C8 TURKS 157158 carina whaumance TuNNe LINGUA EOTRUCTURADCS PR FRASES 4 Deserba los eflevlos efecuados por a shgionttmsquina de Turing. ort Sed es 33 MAQUINAS DE TURING COMO ACEPTADORES. DELENGUATES Heros presntadoa osauthmats.dloeceptatossneriorescomosceptadires de lenguajes y los henos utlizado pata evaluac eaderas y determina tn lengua espe, Porlo tanto, ee naturel que etudleros 4 las iniquinas de Turing desde la misma perspectia, En esta secon “aalizaretos os aspects dela aceptaciin de caenas ealizada po gle ‘as deToting:empezaremosconsiderandocleanentoenelevl onaméqaina ‘de Turing acepe ura cadena de entra, Procedimientos de evaluaci6a de cadenas Pata evaluar una cadena de algin alfabetoZ con ura mdquing de Toring, registramos ls cidena ena cits (qe de eta manera estar en blanco} dela maquina comenzando por a segunda clda(ifucranosa evalua lacadens “21 lacintaaparevertacomo A txyyA.0/5-} Legs colcamos tacabera de la raiguing en la celda dct extemo taquierdo de la cinta y ponerwos et smarchalaméguinaa parts desuestado nical (véaseFlg 3.11) Decimosque lamiquina aceptalacndenat a parted eta conBiguaconinkal encventca sweamino hae su estado de Como eemplo, en la figura 8.12 se muestra un dlagramna compuesto para una riqina que scepra las cadenas que lengan precisammente Ia forma xy", donde GR. Esténaiquiraintertoga la enttada reuclend@ ‘epetdamentetslongituddeunacadenunovactadelsfrmax"y2"através dela secuensiax'yr lyre s-'y"'2", Lamaquina se detignesiy slo este proceso de reduccion produce una cadena Vaca como resellado de Iteliminaion dalmisimo ndmerode yy 2(seemples como simbole deciata ‘raayudaraencentrarelextremo izquierdo dela cata despa decomplelat ada secuencia de ediciones). ‘A gual que con los dens uta, La clei cle cadenasaceptadat por una miquira de Turing Me lama lengua aceplado porta rain ye representa con LM). Se dice que wa lengunje es an lenguafe aceptada por ‘uta miguina de Tring seve ia edna de Turing M tal ue L = Lint 1 Ogura 3.12 Heng un relevareia especkl para nies fines, pss suestraquelas mdqulnas de Turing som capes de cep lenges uc nO ‘ced de at ‘pecaroe deconot Figures? Gontguacin Fics do ue nlquna do Tur al eerie eadana 0. Figure 812 dau do Toby Mpa aad Cad = OV'Z OE NT nncputnuinen peernerrataa cgammancmencas nr cena emrestne Sees ccestema mates See "Helo defn serpcn dec els maguies de Tung de were recta eats niiniitcesemaaonnrene160 cAPTINO'S udoUUAt OE TaARe Y LENQUARE BETRUCTURADOS FOR FRASES ‘mentoje de acepacin ensu cinta ants dedetenare Por sep podramos ddosearqueuna maquina de Turing acepeeunacarten Sse detienecon sina fen loconfiguacon AYAAA., donde! sinboloY seuss pars representat Inespuestaafimatve(nesascircunstancias, noseconsiders una coplaion sila mniquina se deters con cualquier otra cnfiguracian det ina). Tor fortuna eect de aceplcion alone feta lla deans que psn aepearlnserigains de Tern Dada una mijulnade Turing M que acepte ine cadenas con solo detenerse, existe ols sndquia de Turing M” ‘que acepta ls mismas cadens ise diene con la cinta configatada coma AYGAG--, y vicevers. Pars jovSfcar esta aflrmaclin, conaldetemos [primero una maquina de Turing que acepiacdeniax con solo detenesey Tego mostrenos que podemos modliiara para que acepte las sma ‘lenny tse detiene con una configutaciin cinta BYAAS. Bésicamente, todo lo que tenemos quo hacer es modificar M para que Teve el control deta poreién de Io cinta que atera durante ls eecucion. ‘Loego, después ee rerminar sus cdlculos aormales, podra borar eva por= ‘in de la cinta y escribir el mensaje adecuado en la cia en blo antes se detenese. Tara levar este control de la poreiénalerada. de Ia cinta, Uulilizamas ls simbolosdecints especiales # Ei stmbolo # ge usar para ‘marear ol extreme izquierde de la cinta ye simbolo pia marcar et extreme derecho dela orci alters. Ax famndgnina madificad debers ‘omenzar evslqaerefculo con, “+ RaSh Bs decir, debe desplazare hada et extremo derecho de cint de entrada y ‘esplazat la cadena ura cela ln derecha, Luego, debe maar ta primera ‘exidoalnderecha delaeniradaconalsiabolo«,mgresaralaceliadelextremo ‘zquienlo dela cnt, escribir el slbolo € yubicarsueabeza sobre el espacio ‘enblonen ene! evtremo inqulercl dela cadena de eneada. Ba resumen dada la configuracién inlal Qwd,+ donde w es La cadena de entad, la smiguina prducela configoracisn #00. ‘Apart deesiacoaigutacibn nuestra mura mesifcada debe continua cori simulacinde las acciones de Mf. Sin exbargo,alefeuarla smal, latriquina debe estar penlone dee oourenca de doe clcotaanclar especie les La primera ocuresielsinbole #se8,5,L, dacabeza quedarssobrelsweguada cide Selaeintay, AZ, Muevelacabera uns celdanlaizqultds (ex decir haciaaceido de extemo iquiendo dela cits), ecebe a marcy eepecal # _yluego musvels cabeza una celdaa la dercha(aqulse spore {gue ¥ noes un simbolo de cinta de sino quese empes para ‘marcarelfna dela cinta 5 selee durante slate de, Jabesros que Mt subrepass ol extreme de ct) ‘AS. Repitelos pass siguientashasta que dl inboko replicas ‘enelpsso sea un espacioen Mano. ‘Move Ba cabeza de a cinta una cela a derecho, 1D. Reemplae!sinbolo actual digamass,canelsimbolode cinta que representa latupla(s, A, 2,5 2,0} Ad, Hecutal,Jocul mowerdncabenadergreco ala segunda ceido ‘dba cin. Sustnye ol espacio en Blanc de at oka comet smo de ina que representa aa tapla(®, LAA, 1) espa de jacuta sts pasos Mabe traducido scala et formato de ciatas multiples emveado extreme equied de loints Tn primer lar, rotule cade uno delve arcoe del diagrama de transiciones de Mf coo un simboll Unley Si feristeran cinco, 1 podeton emplear Jos digitos 1, 2,5,4 y 5 Luego,construya un componente en i" ‘que genere todas las cadenas ce estos aimboloe en forma site ‘tics tlizando la ciatn 3 (como modelo, vase Pig3.10). Cada toad estas cadenas representa uau secuencta deteansicionesy, a finale cuentas esta representada cada una Gels trangia. es posibles. ‘Aliza este generador de secueneasinletw,lasactividedes de M'seMevan a cabo dela siguiente manera: bs Disee una mtquina de Turing que acts ol enguaje Z. 2. Mucciequeunaméquina de Turing se puede modificarpam queeviteuns {erminacsin anormal pero aver acepte las mismas cadenas que ames. 8, Muestreque tse permite eran mui de Turing de varias cinas quolas ‘rareciones naval afte amasde wna ca, entoncesnosumeniae Pte delamiga. Encpaubs, nusrequecnurkain [gue opera sobre mas de una eivta se puade silat con una acuencia ansciones que operan cada una on ana oa lta. 44. Muesire que cualquier cleo de una “mdquina de Turing” cuya cinta se tvlonde fitment hada fa iquierda'y hucla la derecha so pure "malar can ra maquina de Tring dos Cintas y, pore tanto con una siquina de Turing tadicional 34. LENGUAJES ACEPTADOSPOR MAQUINAS DETURING _Enla sein afer salnabt os cles de ns requis de Tong Como scepeors ce leneurk y denorzames legis cepa: pot ‘rigged Tuning os tengaequedonaceptn restate dese ‘eos con mayor delenimlento ere ce de lenge.72 crinmos Acuna be Tums YLEMaMKsEs ESHCTURAIOS FOR FASS ‘Comparacién entre lenguajes aceptados por méquinas de Ty yy lenguajes estructurados por frases Pn raring. nl capino 1 presntames las granitic sitrcturadas por frases ‘eulinos cro una gromdca deep define wn enguenucconee as cadeas de terminals gevoados perl ramon Al rowing at forma delat rylas de escitun disponibles hemos podido stint _itses de grams que penran longue egos ecependientes del {entesto. Ahora queens conadear les gramatcas eerternas pot alga en cuanto unease ests ‘Ast. tanto ela tequerdo como ef devecho de as reglas de ero feta de roars 20 rns, slempr y cnn exista por oro no temia eno gure Los lenguajes que generan estas gramitioas se conocen comw lenguajes sntvcturndas poe fester: Be so lon ‘gr piston dtc traratealmene”enelsentido de que nacre decade pucion ‘azar emplens va jars de extracted fsa, Puce guc ls ‘gansta regulars yank pendienies del comet oncasospecals de 1ns gale inresticiones, bo lergce uc a pets prerancn hed] =e} 0 meaares po apc ea SR 3] ago ane) ‘Syepeddamente ava es cadena YALA eat ‘Siotgwetcofgaricin delenit iStear Bepusaplamoseronin eed es (in Pevacd en blanco dls Gia de Af se endicars como dos expacios ‘onacculivos dest, una cadena de xvi. “Ara eetruya Ml’ pare que raduzcs su entrada a ext fem ‘covtficnda snl as ncanes de My so detenga dnteamente si M36 (Gene. ASG aeptard exaclament ns miseras-adents que xcepia ‘Mc sinemplear na quetcesiboics de cinta £1 (A). ‘Coneluimos que dado um Ingsje evtrucurnd gor frases deo “alabets 2 este ura maquina de Tering con ambols de cinta EI fa} Uh) ‘Lo que queda denwstn demostncin es nesenct losin gue sa dembsracon dal worema 11 Podemos generar de manera sede Sart ed guid Tago ie rn GAl gmerando primero aquellas rsiguinas cn. ado (peaatde que une méguina de Turing tene cuando menas dos (Ei) sebuld por las que onan tre exadoeetera, Porto tao, ‘htt ena cari corable de ales Squinas de Turing, Por oa ote ura cand infiita decades n> ydebidoa ele Parc iable el ndmero do igus que se pueden formar a parr de. ‘Poccorciguicnte, enstn mas lenges tsar en qu msquinat 6 JTarng om sraeios de cata en £10 (Sh. As isn deen existe Tengu Beds en £ qu 0 sn lengua estructartis por fase ‘Aqutes donde comienza compliarelatrana tos teoremas39,34y35 ‘nose queenisenlenguniesqueno Hanen bases ramnaticalesy aes que {inguin de Turing so puen recanoeeraquelos questa (ih deuraicles.S ocrplomos Ie tas de Turing de que as mquias de ‘Farogengloban la esncia le cualquier proceso compulaciona, debemos ‘orci querungén proceoalgoctmico puede reconcer os lengua ero ‘Semen bor geamatines “Ets concur no ao implica que exston lenguajes que no patemon analiza shtctcumente can ua computador, sino ademis Gone ramicaio~ ‘Ap eraconadas conta lnequo de ssers que comprendan Jo lengusjes ‘Raeulcs un ea degra otvidalen lasinvestgaciones eens, Debecto, Torna que eel desrrllo.deuneistema de procesamient Partials eros el requisito de que el lenguaje que se process tangs pee smnactra gramatice bien della lo lenge natural ro cua ‘Co eataetructura, no sere cxpaces de proceso algnfumicamente180 CAPMULOS MAGumAS OE TURE Y LENOLAIES EeTRCTURAOOR FOR Fi cuimeininiinnn nnn cptin oe ans nerareraeogene ov etn tase Sita haere meemmamenaltinesecnle analizar la mente humana. Por otra bintelge iio ae rin et neem a ican enn seaetag ncaa ie taecerec emer morn ere caret ene apres p edema treme Ferien beeen eee crete rena ay ean Tee ie a en err me aia Sraieuiercen omens [ovane defuchode gor inte de Turlngescengrtentncon sors igdy Yeonjetur que han: al estudiar la compurtackin desde otras na Seeger anger Bjercicios 1. Dijon 5 lu agnosis guna deTrngon sins ec © gra gn donna woe Fode queso cones sli des guns ole euyo conjunta de stmbalos de cinta es |x, A}? setae Muestrequeal agregar una segunda pla ‘wu clsede acim cleaano por desepectndehnpepogen Incase de magus de Turig, deacepacndle lnguajes que 3 Lule! rnd cntcin decom la demos herna 3 po Ueaora porcine ue ite npn aes for leg de Tite Sgr {rst piecing ep ceo i Tontgvadavomo vasa) Con a gram cobtenga, muestre una darhracién de la cadena x. eomitea gue OOO one 44 Mueste quel eng Tagg ae eternal 2" CE es cepa porméquinas de “WAS ALKA DE LOS LENCAIES ESTRUCTURADOS FOR PHASES 181, 35 MAS ALLA DE LOS LENGUAJES ESTRUCTURADOS POR FRASES ‘prevent importaizsexensiones de nuestro ani. ‘Sistema de codificaci6n de maquinas de Turing ‘Yar (deniicar un lenguajequena es aceptadas por maguinas de Turing y or is tomo no etrocurad por fase) nevestaremoe on sist dt Pot tesco con el cual podemos tepreceiar las maquina de Turing con SJabeto T'y sinbolos de cinta EU (0) comp eadenas que Gicamente ere coon nes. For ele, haces ua pausn para presentar dicho Tere potdaal estade inka y ol seguro al estado de parac. creaciest ata, podemos hablar del primer eslado de , del segundo ara asen y.ea general, delestado |deM. Establecemos que # estado f seat as tepresentard con una cadena de cetos de Tongitdj. Aste estado see coed rapresewtado pO el estado de parada por OO y el siguSents fevtada se) por ON, Legos stenblis de cinta dei disuse espacio enblanco)corsocaderas dco, Hip ettsceacomodsnJdoen unasialoscimbolosdeD.y epresentandol con {hear el primer spo de asta con 00 el segunds smbola con OCD Sriwgenera elu jean ana cena de eos de login j + 2. Serer abtesents que cl iboledetespacoen blanco se represents conksndona vain, ohteneros un akeoa evel cual podemos represen lot STabalor ly 8 lsestados dey ls stibolos dela cinta de M por matio de readers A saver eslones pert reprevntar cualquier tension Freres oe cna cadens de ceray unos A fndecuenie se pede ensicar eraser rare que debe tence fora. x)=(a.vhcon unc a Gury pidondeperdisadacuaxesesinbainactual geselneoesade Eo Prem lrbnio daca (a ransicin esunaioperaion desea) Sees alla mnsison er una opetcto.demovimiento dela ceca), De ounce poxtlereprevetar toa a ansiion ome caro cadenas de Ee seepanadox por unos Porejepl, cadena 01000100100 representa Fee atu a=, Ronde xe el stole represeotad por000 y hese rennet parade dels marquna. Pues queurcepacioenblancoserepresears oe snus Ly R astcomo los siebolos en (lsTHR cApmn99 WACK DE TURING YLENOUIKES ESTTANCTURADOS POR FRASES. coma ene de co cada 1 ere ai Wah end he raor asta deere ‘herve qs urs onde on bs eee AS gr are iaguiadeingcon sherds TU taleoslene ee ace ‘on completa de a uina. Por tant, cualquier naira de ete poe pd roproentar como sna lita de ansisone caine, Adopeaetoe Feiner rani ylsldes tag yan To ‘Sra mins eo Aa drs OTN {Gr ecto syd por che enna me tpt ego 11000 talons gers eed tert, Sd) iy Bdge ngs repr dct ota tra mga Tapas tention porter er iss lacahelerseagicte eee tee tims pn dle a cas ee ees scerpiun dct scald lrg tse onpanee ane Ai ec hana nants neo dose poenasgtane eae testa iacenesconepondinesamentocenertaanieannty Saal eect since rsrarataSnguoreiueinespadnentlanscoumesartee Teegarden coeie f aruictn agosto atl ee ON cee. Eo lose oe ‘ee cab ct eres oon parser oe Teton id tga nua Se tne Ons tanto, completamente defictila). se Terma vere Un lenguaje no esteucturado por frases Al emplee eta fon decreas, encontaos que ads mua “urn conaliabelo ry anbolsdecta (a) pune epson noms surwcaenadecteynes a calaruvespocdcinefpeavecorm une a b. wovrooracororeasiacras gum 320 = Wigaba ts Tinea B Laima ragura son cence ka ALLA OF L08 LENURESESTIRICTURADE FOR HABER 18 sonegnvo esr enous Fees, sionrumoten bina gtamosen “Tistnomentn al ptrongje representa una mein de Tern especie ‘ifutes co nolo de nin (Por supe. as representaiones Hy oes qu chao ear eer wrote equines vais Eriblearos que cca uno de ess eno ee conta senlla muna ue setocsra la gure 21 As tmemos ‘Brau ona funn de arr as gous de Trig co allt ‘Sebows dents 1'U (31: Emplemos ia wean para representa lt trdguina gue eta foe rdaciona coe entero inbox furein pres constr ota ota vex de” sobme ba cole de marae de Torey son alabe 2y snboke de cia (A eetconanedortnacadona def*conlacipiran, donde wl reps Tiogtal dew. A andetac is nclae oti, tzamos M, part vapresrara maquina socada w por modo dee fancén, ‘Ghaervequelo sinoloe dew tnrbin seencuenranenclalabelo eM, poringur ane sero apr Mata cadens Genta Defoe Weg lord vebcnjanta rt, no aepta] de 2a cade de st TaBek ay solos torres seeps parse maquina M, corespondieni. ‘Ahan nota tarea cx ostar que noc cepa por eins de “Tung Parnes, montanes egy pun cocci se spe 2 Timi SF tue arp por agar mura de Tang wtzanso un meno ita le ia dees ion del tovema 35 pdemos pane erable manaeray suconjuniodesinbleededintaesE.1S) ‘Efe debe sr nein por He, par agro cadena yen (oct ‘Mijas Rrmyconeliube Ey louShn decne 45] ef prem iets oro tiy LB) none peguntamonsT cde went onoen Ma ene gue sar ono eae) pero, como Veremos en A OED, ons ‘Setncetcnnr Soteaiandel iv ee sre Ete mpiea quae fy ae # 1M) ipa Ly cae ee i,m enna so conten. Ea ‘STdeestaparadojo,debtaos conclu qu uct connect tsp itasepac eyes lalsren bas pals, lenge 00 eae povaumigeim de Turing14 cwwmccs wlourAsce Tuma LENCE ESTRUCTURAGOE FFAS Maguay de'Ting univers "Nuestro sigoiente objetivo es mastar que el cornpeinento de Ll conju lc, septa 2,8 aceptad por méquinas de Turing Esto demosraréqucia ‘xpacidad de una quia ce Turing par cepa un lenguajeno esti ‘xn ncapacidat para echazarel complement dellenguae En ot lobes, ‘este casos donde vepuste constulr una mina de Tating que enifgue {ascadenasdeun nae, pero no ge pure corre ene maquica de Tarn, ‘qu identiique tas eadense que no eatin en el lenguale. Sin embargo, para mostrar que el conplementa de 1, es acependes por _ndquinas de Turing necastamos presanar el concepto Ge oniguina de ‘Tering universal. Bsta noes mas que una mquina de Turing “programe” oe. dependiendo de su programa, puede simular cualquier ots ealquina de ‘Turing, esta forms, asmaquiras deTuringuniversatesson los antepasado abstracts de nmestros modems computadores programables que ken {decutan los pmgramas almacinados en sus memoria. Een, ladle do Turing universes etn disenadas para eeculr prngramas que salma. ‘conan en us as Unprogramapara una méquinade Turing univers tnes mas que una ver- si cacifeada de wna mdquins de Turing queteva cabo alae quae Gesch eeu la rxiquina univer. Superga que queremos programar una mquina de Turing universal para que desempere wna activitad expecta, Prete sdceRaramos ana maquina de Turig takchnal que realear la tae lege ‘ndifiariamos est maquina como ura cadena de certs y unos, como ya hhemoshecho. ta cede dedi sartael programa dela mdquina unter Elsigukentepasoseriacnificnrlos datos quese ssrinncomoenttada para tos cseulos desenios. Para esto recordamos que ada so dela aia Sistinta de espacio en blanc, corespondlentea la maquina que acabammos de ania seleasigna unchidignde resomasceros.Porconsiguente, cualquier {dena de estos simbolos se puede epresentar con ta secvenda de igen PQesuna ‘reg deG, concatune todas ls cadena de erminales de longi tna qoe pueden cerivarse de P con cada una de fa cadenae de tetinales Ge dos que se pueden derivar de Q. Luggo, concatene todas las Rafer del de + LR? 4. Dibuje un dlagrama de ransiiones paca lamin de Turing com puss ROL coueseamsr NES 197 lengules gore ‘engusies esrucuracoe pores sin igang aleorore. ng angses repuros Figura 321 Vavain dois ara ce rguces do Chey [5 Dhete una minquina de Tring M tal que L(R) = eye n= 5. Tisene una gratia Geatuctucada por fesestalqued(G}=Byy maeH. 7. Disoe una grnnsica Genrachaada pr tases ta que L(G) tye emu leer re190 curmans sounnsce TRH LeNGURISESTAUCTUUDOS PR FASES 4. Ulan a notin pars representa tae configu de wna _maquina de Tung comota gue ewe a demon deere 3, rstree lo ects de a raguina compust a Outs 3 a ini conta cntgeacon decina Ayre 9 Uilizande a roaisn pts representa dat cig dea ‘ndguiade Turing comota pcos adem dl ore 33.ratoeaoeutio dela maquina yo dagrmade tances rn conn pono acu gv a dea an m wa as at “© 10. ZB independiente del content el lmgusje generado pos gramdtica ‘siguente (on simbolo nical 5)? Deserta el lenge. Sonn Nose wry 11. indepen del contest ngs gerade por la gramsta Sesion sab a Sp Dna nga 59 S7OR Sh pag Po-9P PRA RP PPR Qe RO RQ 408 Pas Qoy Raz 42 Die umamuinde Tring M que LM = y= ben 16 1. 6 ”, 8 ® ». a. PROBLEMAS OE AEPABOEL CAFTULO 189 Mucsite que lenge Le cep por maguios de Turing, Tne die na ena deTongsuettminaarormaimerieny ‘tosh clea de eno se econ n 1 Slellenguaye Lde ze ceptable segain Turing, zeit agua msiguina ‘SeTuringquesedeienga seuenredacstienty tenmineancrmalmente ‘Stswentraden YL Bxplquesu respuesta, 44 forma la unida deunniimaro iit de lengusjesestructurados por fines un legs estractarad por lass? fushfique sv respuesta. '. SSpefios tev ue antes detnnw aunque es una func oe soe conattaye una actn parcial ge (Shere qo wan rfc aun func parc de X na india ue oman te que tru subcojant pop de X.Toa ha que wa {ein poral de X ett ameniese oueta vfs por lores Pare (einndcisdeX poretecanoacllscomestictasente paral parca isnt arts Gels pars Focots pare selpar func tel 62 Sichuan pt de eye damn taf orto AS ani a tun dates vrs) eon ma a por(208 carinmo4 compuTssEmAD mls aay son fncones pares de. aa mayor paises war tl defi’, miontras que div es estrictamente parcial on 8 (Pig. 4.3), " ‘Cnchtos gue lepar ow sas de Cation sdecaen, sorble denice cane fumiincompulae moana Fein poral Eitomasar vw foraynen hmong eto ‘cine computa se pant eg ls functors parce deh si dindeaytaean a pean chime pesto su con uti remot fren & pla scr yon apa salmon pra repeerter ea Tope atom Gay pe) en ado nts dnc na tegen ‘Mule de tome cia Funciones iniciales Labase dels jrargted ls fenciones comptahesqneveremoy conden ‘enn des Euncione ila Una de eras tunes el anon ‘xe meprseriade por Eocene vie cere tp {Gplavaas)y0,yeeserbeGO- 4 A conepende al pase deeb 60 componente Figure 44 Latin tlm iain we par un cero enum pedszo de papel en Manco 9 regitrar un cto envura cela de ‘memoria vaciade algin computa dtl mesder Como atrbas activi ‘sean de acuerdo con nuro coregpleinmuivo de un proce computa. ‘oval, aeptams con faced que & ura fancién que debe cisifarse ‘ome computable . ‘Ota funcin inca, representada por 6, establee una cortespondencia entre tuples de un eomponene, de manera que (2) = +1, pata cada enter> ‘no negalivo x, Enotes palabras, « producee)sucesor desu valor de enrada ‘;porestoseconoce como uncioneacesorOttamaner deconsidera es due Jina uno au vilerde entrads, Vina astambin Sebemos considera a ‘Scomo una unciéncomputsble, pues hace tempo queconaceros un proceso ‘omptacional para a sun de enters ara completarla clase de fonciones inicio, induinos la cleccién de Fanewnes canoeldas come peoyeerionet. Cada una de eras fursiones ext ‘omnsiliia un componente especico dea typladeentmula, Purarepresentar ‘inn Cancion de proyacin,ulzamos el simbolo x junto con on supraindice pura indiar el vate desu entra yun supratice para indica el come Pnenteguese extrae. Porejempllafuncléaszesablece uns cortesponden- Ein entrety of aseciando cada fupta de rex componentes con el sendo ‘omponentede dichatupla, De esta rma, (76,4) =6 25,12) =9, 540, Srl 2s A)(8) = 8 (cone cosa exprcal, comderamos quer esablece ora ‘cvrespendenca ene, meeps pis acta, porto que r46,8) = 0) ‘A ignal que con las deans funcunes ile, ll stableer que as ‘proyecciones diben ear en Ta dase de be funcones eomputables. Por {ermplo, pods calcula Is fone a, aplcando a proceieo de "steariantupla ce eneadahastaencontrarel comparentem-simoy Weg ‘extrueolvalo entero que al se oncwent. Lis frconesiniciles orman ls bse dea jrargula que existen ea “de funcionesrecirsvas For supuest strata una base muy sella cuyas fanciones, por fsa, no pueden ograrrouche,Porkaeto,nestasiguiente tare invesigar como pusten emplearse ests fmcioncs para Consult ‘tra comps Funciones recarsivas primitivas ‘Una forma de construe fuciones ds comple partic des inkl es La demands combinacii. La combinacionde ds unclanes iso B yg rere func gM det por x98) = (R03, donde et ‘uno erp Es ded nunc gforaentrackventormade sup produ esalidapen fama den n repos cuvos peaneiese components conser lncaide def ys toe son saidade As i» 208, 6,8)~ (4.3). ‘Supinierconuiehty forma deea:alrlastunckones/yg,portecscakular fe gealedancaprmernporseparada/ygy leg combirardosassahdas para lor lasaicaefig games enters as conclusion dequelacrembinaon Ge funcicoss compatsbles trblen & compute ‘FuNoAMEN TES CE UA TEOMA DE FUNGOMES REGURIVAS 207208 EARLS cOMPTABLIOAD 1s composici6n representa fro Stade para formar funciones més con pls. La composite ds furciones Is Myf Ht» Rees la uncon S=fIY 9 N*definide por fof 2 = g/l), dnues ts woa Lupa. As, pase ‘ncontrat asada de =f peimero apicamer faa entraday despues fala Salida def. Por eemplo,6 66)" 1ya quet()=4y 00) =I. ‘Comohicimus con a combinacion ‘cues, hay formas de ealcular y g, podeaos eakular «f cate primero fy luego usando su sallda corn entaa para ecdlculo deg Lina térca de construc de funclones ue Yeremoe ener fo que se denomina recursividad peindtiva, Supongainie que ‘dein una nein! sR que AE y)oencl adres deen etn ‘owpleo y equilbrado en al unl cada odo que no 3 ana hoje ‘exaciamentezhijosy eada uta de autem moda contin yatcos (be di ‘determinar el nimero de nodos de un isbol con profondidad y + 1 nua ‘hasta con umarx7*'= 2a] rimsro de nodos del bol de profenided ‘Atcombinarestaconel hecho dequeun dol que consist solo uno ra ‘antl ¥ nodes, podemos deli recurivamentecon et pa de fern fede a Key Defias a ‘Con base en esta definiién, podemos catelar 3,2) come sigue $8.2) = $3.0499 —— (porlatmuta2) = 7.049) © 78.0)43949 (poeta formula 2) Poro-9 = Rane are (porta fem ) ry Enuncontestorns general loquehemos echoes definisfontrminos de ‘tos dos funciona. Una de ea: 81 que gta)= 1 para cada © Be lnowacshi' ital que (sys) 2# 271 Alemplearevtasfinciones fest \efinidarecursivamente potas (emotes a0) sts) Hays Betta, yoy) Enoste caso docims que ests conttruida apart deg yhpor mito de recursividad primitvs, De manera general larerursividal primvaes ont ‘nian que nos permite catruir una func que erable la cores dencia eniren™" yhi"a patie de otras dos funciones gy que relacionan planet qu lacomponicon de das ‘unciones computes ain ibe cic como compute A fi de Yeas dowd [PONEAMENTOSDE ‘A TEORIA DE FUNCIONES ACURGINAS | 208 sad Dosaplonpe arose wade we re ‘cada redo cue no es uns hoa tiene x hijas titcon Bt y O°? eonN respectvaments, come lo describe a Jonas Higbee 9 60.30 onder presenta uaa trupl. Bs desi sel tia componente de sere cera cls ertee la aida ese obtee cinande ste UBS sponte apna gata kple tears 5 el ulime erie re tas ef noes ena uae ecm aerate hc ek in -tuph fomesalsonsiar spines Fees padre lnscmponentedeetods piyacalcodea specion defekt tuzlaguese obser st cae ee ced dio onpnaedsentads ceil Ate Se Jeatneotiseleale cot 2y que ures reguere ceo de, Fer cleat eft O cmos epee gun 43 ers eecunidipeinavs nn conos functor ope ane en cba nen ts 9 eupnsanaestaFma ease opr Sectad) pane dc de asgun ane mss, DN nied Ins y+ tb = ot us 3D) ‘De maners informs esto quieredecit que x +e x mientras que ++ 1 Sebuene tecorfvamante snconitand al sucesoe des =210 carne compuTABLUDAD ~ }\ ‘Cis de Ae, 3, conde i pon tata a prea Oy ‘sande recur pei, ‘recone computable dae consideransaconputble Specter ice mi iecombnseen es foranes computa {yh podemos eau ieselandaproerofte 0) lngoRe esp ‘ABB, hasta lepar a RE, y) A Ahr cnt pads prs Gf ade deface gu resto ecima de a fannie en ferris de te de ‘Suis Setting a cen paren conse partidos un tes ne open un nanero a de ombimaconercesonceney ‘cued primis Fo ever einchre es onteneain props es uno len. ya que as fares nny cn utara ptr 09 guns proyecine. De Nh ako ue lie delay anconesreeulcs primase uy exes aye a stays ts, dels furienes lange eeulaen elapse ‘ere computa tclirales sigan sel caves bes para ‘strain, considera diversas rcenes mews pete Po tino, deberue sar qu sf" ua fukn receiv priata, ets f bese taal. De hci fs farcone lnk oe Paes ston deconstccnombinacn orposony eam nd ra} prodcen fancies ales cuando se apicon arson les re en ruta i oes cae pan slice qu cam csecrmp ite est rarguad funcicnesconputaee Rorempo ses ompuabeperoneeusta petra pacman ‘acho erenosqucenr undone Dalestonypasbiequeromrecet os Primitives) Porton, era ver queen ron secaou Ravers ampliado veto repel defuncines ecursivas primis condeusre is ls hinged de hunchnes composes mus ais est ae Bjercicios 1. Cull es el renultado de apical funchin ek x) © ( mom (9) Porejempo, 16.3 128-94 659) T1204 a1? =o 6.9) = 121649 +46+9) 2et5) au Tamin pvemos “cog culgier nein f-ompan prod fein pa ng se fy ena, ead semis ht x sch, faded ol Forse, Isizey move 0 [OS ‘esa funcion recurs pritiva manu «(Kx 9). ‘tra colccén de funcones rursvog pemivas es aquella que com rend ls que pueden defrrse en una aba en Ta cual ee presenta expt ‘mene en unalisa un kimetofinitode entradas psibes junto con sus valores de sada corespondients,y wos las dead eoradas $e atacan aun slo valor comin. A esas feaciones Int Htamaremae funcionee tbulares, Un ‘Jemplo seria a farcn define por Sevandax=0 fy} Seumndarad Zenlos demas 3508 ‘que puede recumisse en La tabla de a figura 44, Para convencernos de qué fas fonciones san reeusivas primtvas, plmero resnnoceros quel fn: cle aractesbea dun valor es recunva primitiva. A finde cuss, La tag-i [Cer los emis cao woof oan De Las runes RECURS raTAS 215 Jonckin puede expresarse coma onus 1), donde b= oy mamas fk KE) RN ai) wa 0 ve ig. 4.9 A contain vemos queer ‘ta hal o'r nt ats del prose ences Figura Dewsipekn euler na ucion ° Ba brine Fagus‘aracteristicasconaantes ycaactratins negadas, Por seonpl, ba fone ‘definida porta tabla des igura 4 equiva 4 mu 5) + 2, ly 6) Como sitio emp, most que snc cost defn por xe, Iaparteeneradex+ ysiye 0 os, es primitiva recmsiva (la noacin ear representa ol cociente). Para rime que aunque la rewrividad sedefine {enle empleando como odie el ino componente de a tupla de enn feo de preys» cnkircos os pert apc ai primitive can hasten rs indices y pennanecer en a dase de ‘cursvasprimivas Adc ebrecrsivaprmltivayaque pee define oa. 9= 0 ets Ley) = cot a) ag +, lets Mis alld de las funciones recursivas primitivas ‘computable elamwntles pore contrat is funcones rcursivas primi {todas Las cules son corsputable, Tambien hemes visto que ix clase de fhncionesrecusivas proutvas so abarca toda la colctin de computables, ya que algunas de ets, come di, no son wales. De hemp etalad gael de dels uns eusasprndonno aare ncn Comptes Arse mae penis Figura 4a Joga ota tocines prevetacaa hada Sore ALGAE DEAS FUNCONES RECURGWAS PRMTIAS 217 _dastas funcional computable: nto que eta d lapse scion ‘trees eacrniade ee larcneectns patie is funnest com Mena ap de vol ei ria se farones recurs, elgunas personas penson qua clase de ls frcioncs acusivas priv pacia ‘Sener nas cones totals pepe, Sin embargo ests cnet fs fueron aaladss por descubrimiento de funcionas toes computable ue ro eran toctsvasprmivos En 1028, W Ackermann preset un emp lafcin Ak qveahoraseannoce como furcinde Acermane, ‘Sefnda por las ecuacones AOgey+t Ae 10)~ AY Aaa Ty DAs, Ale + 1) lacual demosts sr computable y toa, pero no mcursiva prima, Ls demosracin de eta afizmacione ev algo tio por 10 tanto 9 porpone hast al apéntice B Lo ef que en maestro estudio no ecrsitamos un ejemplo ‘de funciin lta compulable que nos ‘rouse prima. Lo nico que realmente nectstuas saber € que existe ‘se fpo de funconesy, en reoopectiva, la demestracion de su existences tistane directa, como Yeremes a conéinincin. “TEOREMA a nist una funn foal compotable de ma que no #8 recursiva pamiiva, ‘DRMOSTRACION Es poate defini con wna cadena finta de stnolos a toda func. ‘prmtiva recuratva dew atque seconstrayaa partir delasfunciones Tfucates por medio de un nikmeo ito de combinaciones, compo- siionesjrecursividades prints. Por lo tanto, paesmosasignar| ‘Gn orden 2 los ficiones recursives priilvas, acomodando en Primer érnin sur defirclones de acwerdo con song (pris Fo las eadenaa mde cortas)y lange ondenande allabéticamente las ‘aden de la mismo logit. Entonces poxeros hablar, en tem ‘tosdeesteonlenamnenta, dela primera faneion recursiva peimiliva (Gepresentada por) 1 segundo ancin recursivaprimiiva (deno- {adh por. en general, Ie funeldn ecarsiva prinutiva (represen: ‘ada port). eins ahora la fonclon £8 Atal ques) =f, (2) +1 para tudom eX Entunces fs totaly computable (padesno® calcula) ‘corteando seria func secutsiva petitive fy luego caleu= Tanto f(e) +. Sinembarge, no pure see reersiva primi (s letra, tendea que ser f,pora agin m ERT, pero entonces ft)funcnnes computes fueopnee rosurcvae pmavas seinen ile Figucaa7 Faire corminode serfa igual a(n lo eusl no puede ser verdad ya que se defirio que finest io) £0. legirnsentonee ls conchsigmde queftiene as carncteistcny requetdas pore core. ' La elas de nt Fnciones totes compotabes se conoce coma clase de as sunconesperecurivas. Conbase en ete ore 1 indcaquela Figura se puede efor paracbienerb igi47. Onis préiena seein examinarenes Ja porcion dela gata 47 queyare fara de efancones recursive. Bjercicios 1, Muestne que la funcin caraceristica de cualquier subconjuni init dem ‘srocursva peimaten, 2, Muase quelafurcée inpari- defnila por 1 siees impar Osixes par fray =f es rocursva primi, Mestre que a funcn dfs ~sstdeinids poe 146 (4,3) ~valorabsolor dey ex recuiva pimitva 4 Muesie que a fancén factor fs) = esecursivaprimiiva, , Bhoventse (3,1) donde A el fancion de Ackermann, 43 FUNCIONES RECURSIVAS PARCIALES [Nuettroestediadetasfunciones ampotablesnoshallevadoalaseasesde fas foncionesincile, las fancionesrecarsivas priv las funciones {olales computables, todas [at cuales Son totes, Ahors amplisremos ‘nuestro estudio para Lnlur las funciones parcales compulables. Definicion de las funcionos recursivas parciales ‘Para anpliar naeso estudio dels funcionescomputables ents al de las tuncinws tals computable, aplicamo la erica decnstruccén conoid nme minimatiacin, Esa iceica nos pennite contra wna fanciinm*—> Fapatti deoiafandn g-xr" 4m declarandoajtt)como la menor je0Ntal (Gus git 9! <9 g(e 2) etl definkda par tos los eneros no negatives 2 ‘envena y. Eataconetracton se representa con la notacon fe) = pt, 9) of, quese lee fi) es Igual ala menor y para la cual 0, y <5 cero y 52) ‘26 defini para todas log enter ro negalivos 2 mentres que ¥" ‘Como ejemplo, suponga que gts 4) e define deacuerdo conla wbiade lafignra 43 y que fe) Se dein cormo yt 9} =O). Entonces, RO) = 8,0 {yfyno ests Seid aunque dese menor valor dey pra el cual, yb 0, (2 2) sas dednkla patos os valores dez manores que, porto cal f2) Inaests delinida,nloques elle al valor def), atblanioniosproporiona “Sefllenefarmaciin para selerminy 5 se ences definda 0. ‘Guerammcs reealeat que, como sucede en al ejemplo anterior, Mt ‘minoalizacin puede prod fanclanes quan esi definidas para cists “entradas. Otro ejemplo esta funcionf A definiaa por x)= ylides 9) = {) Enestecazo fer eon, pero noast definida para las dans entradas (paca FS Onnhay aingin 20 tal que z+ j= 0). Geo emp esl func de coclanzentero dint hdefinida por930) = 2 4) m8) 1 wena MEOURSIAREMOMIES 221 Iunconee race pull funcionasy recut Figura 48 Valor ae gic parevatienyy ‘que cons minimalzacin pusde construe come sigs 9 HEN G+ 2) (rat, 9) = 01 or oo paren algunos os Ia mimaizacon pre funcones tors como a)- ues) =. queue a foe ena Ammar valquer=y=Oeselz onan. Conderemos arn a computeidad ena funn deta medion telamirinsiacon Sis fnstinpciag comp ble eos ope ‘eta ) sg 9)= alan levator 0) 86, Dyes fastobtenorelvolocdollegareunvalrsparsetcut ss roesiodliaa, Enelprinurcasel valor deft) evel vairdey para eal seencon que sleahencoegind en fro ard dade Forni poee izaibnaplado a una func pcs orppusble rte un fai ca pa mes oopner observe nas pete apa macs epertrio de fancine| compotables ds all dees antes Gens ances euro pris, ‘tt a ane covnid coo funconeseeviva paris Toast ma recs, ln clue de fos unconcesecusivas paca ea ice de fanclones parca oe pueden conatulses part els fncones ll aplicandoun sera fino decombnacane composites ecu [rintvasy mindmalzactones En ei cesta uncon preva ‘etnias recursive prc pro 0 recursive poli ‘Obese ue mcostructn de ina fare paral [arcales a funciones estictamente parle. En ests cas, ne deincones ‘Ge eats operaciones se extern en ds formu evidente:tacombinucion de ‘dn uncionesparciales fy gest definida ent aiy sk stfy gest denis ln, ya composiion defy gets dena en sy sles gets Gafni en £4 f std colina en gl) En tera simile, feats delicids tn G, ¥) por recursividad primlivaa port deg yhsiy oo sig est define ty Rents finda en 2,2), para dos los ealeros no negpivon x menotes que fureorae rushes fancionas nee Faweas ‘de funstonee returehes ‘Una vez sbroyamonqiet eno paris co gle dirqu sn tas fancies dele de dels uncanesrcesvs parcel son pcaesen ‘lant cro Detho,lsdaveconane las urease, eds isscualeson toler Pig 43) ‘Conta presentation dels Kalones recuse pace garcia aFayarayts. pnmeasion ” Use itsnnnde tin yen asi siete otis sarasant acct BAKES Psi LOREAL A, : veces soypueunens, CMO RIL AROMA, feds peermomens «Sct tte del nse mae | frsenae. BEAL, ND AB, presen Yc sd if ad towne cane Re ; Froment,debemos estabecer que san computables por migui- ‘asde Turing ls funcionespatcntsconstrdasconlsminimatizacion 4 partirdefunconesparelatescomputablespormiquinasdeToring. sto es bastonte sence; para ealeulae plete, 9) = Ob donde ¢ ‘ileuladaporlsmsiquinadeT wring, podamoe uilizaruna ena ta detrescintas que uporate de ln sigtente manera: Fumi Reparsnmin leona deci ona gia Ta ro durante los pasos del cflculo ce una funcién recursiva prints 1 Beenie Den cinta 2.228 earirmos coupTasLEND 2. Coplatdela cinta 1a cinta, gud por ol conten de ops Sepuido por conten dela 2, Shu M empleande cinta 3 4 Sita nia 3 contone bev ia cnt 1 cop el content de a nla 2ala cinta ly sedeiene Delo conic incremaniaelvalor fen a cnt 2, Borat cinta 3y egrsa al pane 2 amos mostra que tae das gis de Tara vet con poser pre ctr fac cuts pen “ Naturaleza recursiva parcial de las méquinas de Turing Far completa nc destin deque lated Tring qualia eho debes ment quel peer nptctaal eer Taregererngioal tends antnestenpotea a ‘toyersveras waren deTarng ©, byw ke TEL ‘Sn dela cota eta grace poems aepin, ttn ae era mains een crs ner Imentinercomos conway basics locos ‘pvt enbiunes com ago tion eae ereempins ey, he rt omy foment grace nai» S00" gua ates, RD ‘epresntcin de SO on ase’ ease Fig 49). me comoridedotcite: [2] 7] comport ator ‘enboce ne vee store | convert Sonee dee Figura 418 —Tnewntcin ool corteiso del oie Gana ra ‘i Tong emo valor rami 5 interprtamen de esta manera las cintas de las miquinas, vemos que lo nico quc realmente hace uns maquina de Turing es clear una fund Nenan Dedoun finer dent epresetadoporlaconfiguracion iit dea cna, la riquia produce un mimeo desalkia sepresentado por Ih configuration ial de lac (para sex consistent insistimos en que la ‘Shezadets cinta inces proces enInceh del extremo quiero ‘esbroimmpenerosresicclones con respec als psicibn final de abe) ‘Ehecho de que hoyamoe cosiderao ete proceso como de acepacio Tengunes commode leo de ura fare desde tupls de simbolo atuplas Mes funcin patil eaculadn por M, entonces f= eho, 1,2, momeriopaada)) For consiguiene, fes una fancin cecuriva parcial. 1 are hi nad is fn meet ae on compulable por miguenas de Tunngy qo unique tina de Turing ‘edd qucelaranatancisreesona parcel Esypuo quests GeTungy de Church son cquivalenies aenquese presenten en cartextos “istints. Con frecuencia, el conceplo comin esas tsi se coneee como tisisde Church-Turiagen vende tenis de Toringo tesisdeChurch. Sin emborg, la equlvalencia de esta hipStes es mas importante que la ‘cela dela erminologl, pus plea que emes egado almismo Bie {parente para el poder de los procesos computacianale siguendo dor ‘hiequesdistittsunenfequegperacional yuo foncional, cual refaer- ‘a numa conlanaa en ets cnjeturas. Ejercicios 1, La eget valor def) s fests detinida por Re) uyomts, prety) = ‘fr 2s tale estictamente parcial? 22 Sita, es recmsva primtivay mes un entero positive, moesre que f 1-9 Rdofnida por fx) = yg, 9) =n esrecursiva parca (porto tan, fe puede emplear la crnimalizcion para encontrar valores distnios de ‘ef sin salir ce oe lcs dels fureionesrecursivas pariles). 4, Dive na mquina de Toting que cleuel funcion f= finda orf) =a, dandes= (9) yreslacadenaivescritaen on vero. 44. dfaracuiles ceases defini a furvSon pari) alculada por {it mquina de Turing compuesia > RAyR,L, 112 Desceba a nein. 44 PODER DE LOS LENGUAJES DE PROGRAMACION (Commo apcacon da tora presenta en las seclones anteriores, reese se a nesta pregunta con respect al poder expresivo de hs lrguses de ‘ropramacion. Lo que nas concieme sh cused qué aspoctvs deben Jnelaise pore garaniar qe, ona ver deenad ¢ierplantado uh lenge de ‘programa, ne descubramos que exisen problemas cuyas soluciones 10 Dunder especie con cllonguafey quest podrian haber sido si hubira- ‘res Implantado una versin arpa det lenguae. ‘Norsttaesroegia es dearer an sence eguaje de programacion ‘tencal con el cual ped exprenrse un programa para cal cualquier func ecusivs parcial Extonsagerass(hponiendo que ates de hee “Tung es verdadera) que mientras un lean de progeamacisn vet on PODEROELOS ENOUAES DE Pana 23924 carmio4 comrsrasnons las caracteritica de nuestro sencll fenguaje, peiteg expresar ona sol- ‘dn para cualquier problama que pun reslverse de manera algetonlca. Un lenguaje de programacién esencial Prucstn que nuestra enguje de proraracin encase usa para clear funcionts rcurvas psc, ic pe de Utes ques equ re ee ro negavo Goma ya hemos sefalada, en un omputsor sighs ‘nadernet element de das sopra Smo un enero no nega, stung lenge cle ao vel puede distant eta fesidac, Atesney ‘eso seal lengua de progamacon wo rae euncinos de dei "an de dp, sino que bs duniicdures ie oes en easy gos Conard) nine suvihamanecme tet ‘ponepatvo con bo aparece por primera vex wn an Progr (por sae. ‘leet eocsones rp eareoriieaoras consubiessaaberss Se pes cnr tort ed np ‘Nutone canon os dos enuncidos de asigacn sigue: incr nombre; der nome; 1 primera increments en uno el valor aignado a ientficader nore, frientas que el segundo lo decrementa tn uno (2 menos que al alot por decrement er cro, en cuyoeaso permanccs con dicho vo), Eno ot ened de eta lengua par de enunciaos de y wile ramtve #0 do, end: cual indica que es necesaro rept los enunciados que se encveiran entre fos enunciados mila y end mientras elvaloasgnadoalidentficador nono Tse programas exces dela mista forma que ls mactinruccones se ctlzan pare ‘oe programas en lengunje enable, Especice deer nom: (PODER OE LOS LENERIAES OE ProceuaaNon 295 en 2 eras, ere one ener be em sore oe Figur 415 Sega do pogerarpressiado por noneee? — nombre? ‘como vers abreviada dela secuencia while porte #049; ‘der nombre: ond ‘efecto 9 asignar el valor cero al Ldentifeador nombre. Ademas ombrot & nowrbro?: -leagueniodeproptamadela uta 4.1, queue valor ‘oes saeco nore! (wine sega vlor ata vale boul eegosraiguano are! common nombre Eleaf Sisralqueimplia acer el fescue desl a aac igre ds nome, Recursiva parcial implica programable com lo esencial ‘Anora setts tates er mostrar que para cusquier funcién ecuelva parcial ‘ete un algostton para caleular la furcon, ol cual puede exprsarse con ‘tra senclo lng de progaaradan esrcia) Tara esto,esableeretnos Taeonenciin de qu para caleular ura fancies de RP a escibiraros un programa co is hlenizadores%,%, "x, para conener los valores de Enttaday con 2p 2y "3, prwaleacenae hs valores de lida,38 cwtnaos comuTARO Con nuestro lenguae fii expresar los programas pata csleult las ‘unions incest fancion Ges ala for clear; © por : nek Toor, Y=} por new Avot centamos use seen eno fun aus paris St Fy Csom programs qurcalclan ls fncones percent He yg. at 14 opecvamete,onceauncon) ge pundecaelarconcatne programa Gal inl programa, moda yC pare queso Sot tad a Menten propio Fdebe asta sasaldaaie ‘la ver que G sig ou sala # yy“ Soe) y stand F par uc devas led rc wt ae pra ul rio er asco qs preston haan -napmgramasencostsinne toes hme x varablescore routes _quepusiern casa’ eleunsegndacor sags Soc here, ‘ambos lor nombres; por eel, eos entender sles 46) programa F estan precedes port ts Fara que kn eC ‘staan prceddon por) S1Fy Geass fanciones pacify g tH", espestica rene ntoncesgfsepuneceaarcoscsterand tal dey shells tov idantiendores de sida de F para que vayon de aru conn ‘ricadres deer de POUR UELES LENGUNER DE PROGRAMNCION 237 ‘Ahora sopenga que et programa Gealeulaafuncion parcial > Ws, Healoulahaea"" 500, saecdo reursvldad pelea, °° 9M se ‘define come S.0= 940) faye DM, ¥ ft. 9)) _Entonces se pus calcula fcon el programa dela figura 4.16 dane supone- roos(sin perder gneraliad) queG y Hno ener efectos secundaria Bie. ‘Mosiramas shoragues! Ges un programa encivesiolenguajeesencial que ‘aeula lafarci6necursva parcial g4°""~o4entonces poderos prducirun [programa que calcul =0)-Fl programa dei figura 417 lols a ‘abocakulsndo (0) gi, 1, ~hasa producir una sella ceo observe que {Ge pure disafar para que no alte lar acignacinnes orgialer des variables de entad). En este momento hemor acanzade nuestro objetivo de mostrar que cusiguerfunelin ecursiva parcial puede calularse por media deun progr. sma escrito ennoestreenguafe de programacion esencial Asi deacuerdocon lates deChuceheTuring saber que cualquier nguaje que proporcione el sipoenterononegativoy lacapacidadparsincenoentaranvaloy, decrement yYeeeutar n cid wl, tence el pxlerexpresivo sufcente para plantar a Zola decualquler problema que tenga selociinalgortmics, Tocar len “arateristcasadiconals de un kngajerepreserdan und venient, pero to poder adicona. Programable con lo esencial implica recursiva parcial Despose de haber desler a srprendente poder de nue sno Jenne ve podria poeat gue ofc un radio para clue ms gu fancionesecusvas atlas Por supe ea conflra usr versace, contradia a tess de Chargh Tring y que btenartns un metodo pare ‘alelar ura dive de funclones mayor que la de lan clones recur pres (compolates por miqiinas de Turin). Por elo, no e ninguna e rl 2y = 0 do: Nae Ss e Bote Figura? Program para clolarnrla = OL‘orpress saber que cali cfu xpresadoen mus sec enge Punie modelae por medio drone func mcurstapar Para demostarla ended dese ete del pater dence angus Js priere cbeerane ut user protana en nue elo ge {ate compre cuando menos un deniador ya que debe een ‘ands men un dese foes Se enrcdor Ger, he), ye woe eens enn re gre rn {arables y presto colativanese nts vaabey como wa rapa tices lb espe pore rad representa rs ‘nein dew donde la Ptupa de eirad top vals asigadova la vasahoslinasrelrogmna, yids tapladelon ‘ales alr a etn Ewa aga fal del propane Programa inca tein, ences ars et ec prea pt ‘Seentads)- Processors a esto oon debe ae ecusen Forcal Noes estat sr duce el iano de ear a Programs ‘Srinament econ cron eel Payee poses: puricserancnanchdo or dato he yenuresdos teens Fercloras ecurstas pits cy Pr espero ioe qu tecerea tile notre # Odo; ond clealala func, Osinomtre=0 Arco nn ne que lirica aa Funcion recursive parla ‘sobre wyansome, y= 0 Por lo tanto, tos ks programas que cotionen un slo manciado de ‘nuestosencillo lengua clculan funconesrecunivas paras. "Ahora consideremos los programas con enuneledot, donde W > 2, uponiendo que todo programa con taenos de # enuncindos debe calcular una funcion recursiva parcial. Sil programa en cuestion 20 tiene Ia estructura de un enunciado whla de gran tovao,entoncce ex Ia concatensci6n de dos programas mie pequetie. Por nuestra hipdtess de indacién, cada unodeests programas ms paquenos coleula ma foncion ‘ecuriva parcial, peroel programa global calcula a coms fanclones Por eonsigulents, ol programa completo cake ‘ecunsva parca POCERTE LOS ENGINES DR PocMMNCI 299 Par conclulr aves arguments suponemas quel progeamaen cues onsale en una gran estructura wile, que represertamos como le X + 0d, a ond, ‘Puesto que 8 el cuerpo de ete cco, contlene menos de n enunclados, ‘uestahipotess de indaccbn ns indica que calcula ura Foren recurs parcial +90. Adem, podemossupaner quela variable Xidentifcada en ‘lenanciado while es no de los comperente, diame oj de la tpl que ‘maripul 8 (4 Brno manipolra esta variable durante el proceao cic, una ‘Yezinicadonuncatenninata}porlo tan, tdalaestructua wil calculavia [a funeiénreeuaiva pall que coined com a fancin entidad evar X ‘cr, no etd defini para todas las dems entradze). “Aplicando la recursvidad primitva, definimos la funci6n fe!» at ABO) bent) ‘Far+1)= M8, 9) donde en es la func identidad (a fancén deridad se puede constult ‘como la combinscin de proyecines, por lo que es recursivaprinitiva) ‘Observe que el valor de Ai) esla Beuplaproduclda para asignacin de ‘valores intlales a durante el cuerpo del cil, By ta posterior jean ch ‘clo yeeces, Bt mimero de veers que se ejeutard realmente el cuerpo dela ‘extructura whloestiyle} afte g)=D] Erionces a fancing at oeteulada pot todo In estructura wil ta dafinida po s00)= Re wule} £3.10 00) Porconsiguient a func alculada por tods aestruture while gs tecuev a primitive. ara conclu, debemnos salar que ol wtudio de la computabilitael por smadio de los lenguaes de programa as om dca de bnvestigacon cj resultados apoyan la tesis de Chureh-Toring, De hecho, no aha disendo -ingin legaje de programacion que tenga mayor poder expresivo que ues sencilo lengua aunque les enguales mds elaborndos que se ere ‘plea ena actualdad son obviamente superires en cuanto aleiblidad)- Bjercicios 1. Muestrequeet lenge de programaciinqueconssteen enunciados dela forma240 Aro cowrsranAD clear nombre tne nant faep nortan vaca: nt ‘deneed poder expresivo equvalentea as fanciones ecutsvas primis. 2 Rscrba un programa en el sencillolenguaje while de esta sexi ‘alee fue 8M > dofinida por a _[isixoy fant 41. Muesite fm puede smaiare i etuctara de programaciin x=01hen 5,29 5, donde’, y S representa spmentos de programa, cone sencil se oat, pe nae 4. Muesire como pusde simul la estractura de programackin repeat Sunt x=0 onde $ representa un segment de programa, cone ello lnguaje Wieden sede en 45 COMENTARIOS FINALES Enestecptulhemosampliadorareboertdio paren del procetien- {sdetnguyerhc hate dances ucts ad ‘rnapoyarls eis de Tung nestandh qc est de acuero onla cote {que surido en ot reas de investiga ‘Comeraanos por iden las linaconcs generals dos process Sonal. ara librar anes eran dun see crnputc- fal especie decides considera un acecanuanTuncoal la ‘mptabldnd, en ver de wo operat deo noscntrmey nla que Toga los procesea competi er de cio vaca Exo fap {tab aa cle ds fnones recur parce que acurdo cont tess de Church aes das fnchnes paris ue coaguir si tema computcinal pune calcula, Lugo iostrnce gue ste ire ‘erp pect cpanel seg cls worl qu nsdn dann tc lens dado rroeuuas be nerasocelcarinuto 241 impoce retriciones inneoearas con respect 9 a clave de problemas que ppusen resolver [oe programas ent ee lengua (epee cuakuer problema Ghsolucénalgoronicaesclverse por meio detun programma escrito enese Tonguaje2). Nuestn enrategia fue definir un sencllo lengua de progr tmocon evel y testa que wn prograina cro on ete lengusje pola ‘cular cualquier funcon rcutsiva pari) or est oceptamosla test de CChorck Turing, podemos lear als conclusion de quecualquierlenguaje Se progamacion que contengs ls arattstias de must Inge excl terued kgeerlicid yen para pertirquecuslgie piblema can she (Ganalgrinicaseteaulva leando n programa ese en dicho lense. "Pa dltimo, considerenos de nuevo todo nuestro etsho. AtseaTos el problema de ta computabilided desde varias direcciones: miquinas julaconales, gramaticasgencrativa, worn de funciones Tecurivas Y Tengajsde pogramacon Eneada caso descubrirmosunlinteaparente pars ip capncidades computteonales di cada enlque, y mostramte que estos Tamils coinciden con los demds, Las lengsjsentructurads por faces son iguales que ls lnguajes acepdos por maiqulrs de Turing, as funcones Computabes por mi ane de Turing son geal quelasFanccnes recursivas parveles.y las funclones eecursvas parcitee som iguals queas funciones Eompulablesconellenguajedeprogeamacén esenelat. Porlotonte, parse {jue hemes identifica ios confines de los procesoscomputacionales y, Specticamente, de los competodores. Es decir, hors encontrado un firme apoya pavala tess de Chutch-Turing: si una miquina de Turing wo puede resolver un problema, entices riagan computador puede hacerlo Putessimplementenoeristeun algritm para obtener cu salucin, Enotras palabras ls Hinitaciones que hemos detectado coresponuien alos proce- Soe computaconales, 20 aa tecnologl. ‘Con tagger estas cheervacones encomrin cosiderar un problema como problemasaluble(opreblemasolubleconunaméguinadsuring)siys6lo EF puede resolvere con los cSleulus de una maquina de Turing. Ast Problema de aceptaion del Iengoae Ly detnida en la secon 35, y al problema de a paradason semplosde problemas insoluble. EneLapéndice Epeanatizan otos problemas insoluble, Problemas de repaso del capitulo Brevente el valor de a (@-0x00) 6 fan aheRi, 2) 2 Bncuantore valor de, 5) 5a func fests definida por b wxaXRB.67) 8. Gert,5,0)22 ewmace comuraaLnAD fetheate Hey Dhoni. 9 3. Muesire que fusion fein por pa [t8ze er Ea ereren es reeusivaprimitiva. 4. Musstreque afuncin msripetca — dainka po mstripae 2) sey 4 res reunsiva primitive, peepee) 5. Mussrequees cur prinitialaoncs que asign ncaa peta Sete yelp oneodaonedetnocanibeon va dea wees 6 Eneuenérejt0) 01) J(2) 9 9) sif ests definida por fa) lets, w=]. Encuentra g(), (3) (20.7800) ig estédefioida porgts)= at-egts. 9) = 0. moe 7% Caleule A2,2) donde A esl fncon de Ackermann, 8. Resur la importanda dea furcin de Ackerman ent jerarquia de ‘eociones iniclales recusivas pricutvasyrecursivas parce. 9. Proporcione unclemplo de una funcdn secutsva primitva que no sex fancin tical y un emplo de una funn recuriva parcial que no sea recuriva primitivs, 10. Muestre quela tuncién E> F8detnida por to-[Eeioner ‘erecunia primitiva, Tl. Musstrequesif#t-+A1es una funcién recursiva primitivaunoa uno, centonces Ia farclén inversa g8t > W defini por giz) = x eo ‘ecatsva parcial 12 Los computadores dgitacs son capaces de evalyae cers relacones entre entaas, como “igual a, “menor que”, “mayor que” eleclera ‘Muestre que, no obstinte, exisen relacnnes entre caters gue usden recive con unctompatador Sugeencinconsidete un org Jnenty decardinaliad R rr 1B 1% v. 18. ws, a. rmentauscenemsoce.cuinas 243 Muzatre que ona de progamaciin Posal face una forma para ‘enue cad wna deo forconos eeusivas paral De qué mancrase ‘eseinge pokercalente este poder al amplantrloen na maquina ea? Usizande ol lengusie de progmmaciin eset de la stern 44, cseriba un programa que calcula luncisn nde del secién 4.1. Uilzando of lenguaje de programaciin esencal de la seccdn 44, cseriba un programa que calcula faci facial. Utice un aryumento decarinlidad para mostrar que existe funco- ‘es dena queno pueden calclaae con ol engoajede progremacion ‘Sencial dea ssccin 44 Ustizando of lenguaje de programacin esencial de le seociin 44, ceveriba un quvalcutelahineon fs -sB1defnida porte) = mola, 4) > mss, Para qué valores no est definidaf? ‘Mestre que el poder computaconat del lingusje de programaciéa fenencial de Ia Secon 4.4 no se reduce sie) enuncado While se ‘sllye por wna estructura then y la eapacidad para expeesa? rocedimientos recursivos. ‘Para qué cadenas esti definida la fncion parcial fl, y+ it ‘akulalaporlamiquina de Turing compuesia-» RR? Descrba la faneiin. “Muestre que si posemos eolocretiquelss 2 lo enuncleoe y wae ot fenunclado goo en el lenguaje de programacién del ercico 1 dela seci6n44ebleneos un lengua con el misn poder expresivo que ‘nuestra lengua de programacin everal dela econ 44. Proporeione un elemplo de unafuncisn que no sea recursive pail Sponge queg: to y iM! 28 son recursvas primitives, Mestre _que también ela fone f+ detnida por foN=a0 fe= LD =H yh9.3) Mueste que sini es una funclon y Meo una méquina de Turing que a eoxibir Ta entrade calula el valor fl) en 0 mds de 2" pass, lonces fer rcv priitvs. ‘Diseteuna miguvade Tur gue calculus yey" teal bey le fy te2M comuos ccumaaeian 25. 2. a Suponga que g3? ~ 1 es ecursva primitive y que f## > H esté fefiila de manera que fr, 3) Sea ly ms poqueto, menoe que £ ‘onde (9) = 0,0 ceo sina else tl y Musstre que fer recursiva primis, Muestrequela uci metst48) nce y)eselméximecomin divisor dey yea eure pare ‘Muastre que, apicando un nimero finite de combinaconss comps clones, ecuriviades pimiivasycoando machn una musimalcacér, ‘da fncinrecusiva parcalse puede construira parties fanco- esis, Definafit-s paraquefO)=0,0)= Lytt6 _quefes ecurstva primitive, ahs +1) Musstre ‘Defina fat para que fl) sea la soma de los divisores de x. Por semplaf5)=14 5-6 /()= 142 +8-+ 612 Mocstequefesrecusiea primes Propacione un argumeato con respects qe es lengua de progre- ‘natin Pees, Medula2, Ada, FORIRAMY COUD tienen afin de cueN- tas denen poder emputacional (observequeesto na quieredec que ‘stan equivalents en cuanto a su apoyo a certs objetivo de dseno, ‘como son laabstracriinde datos noculacsindeinlarmacon eset ‘modular y la mplantaciin de objet). ‘Muestre que sila funn fn#—+ Mes recursive pascal, ambien Ios ba funcian ge», defina por ga) =, 8)- ‘Suponga que N+ My g: 81-4 Nsom funcionesrecursivae parcial. ‘Mestre que existe una fan recursiva parcial feR-> al que HA) ‘rte defuida para eacamente aquellos valores dex para los cuales Fe) su definida «gets detinda. Supongaquefit-oy¢-+8 500 furcionesrecunivas patcals.Diga slewdste une func rcursiva parcial m= Wl gue (rosie std deinida ia) = ] 03) ig) es defini pero fla) noo ests ‘no defini sini) f(s) esd definkda rrommuiscereanuncin 245 Problemas de programacién 1, Beer un para calcula gs - nyt gfe) <0] para voto fsocionesoxh-3. Que nucle tania jecucon de programs la fancin fs io (wase See 44) y tate de altar gO)? 2. eerba un interprets para ol enguafe de programacisn esendal de este capitulo. 3, Bsedbaun program para calcuarlafurcin de Ackermann, Qué probe ‘mas surg al watt de deca su programa?CAPITULO 5 Complejidad 52 Compljidad dees ciealos Medion de a iejidad ce oe clclos de mAgulnas de Tuning 52 Compljided dels slgortinon Complejidad temporal de ls maquinas de Tang Rendimiento medio “Andis informal de algortnos 53 Complefidad de los problemas EL problema de corparacin de cadens Totas decrecimiento Limitacinnes de a escala ce asas decrements Complfidadtermporl de los problemas de roconociaente de lengua Clea de tiempo polinomico LoceseP Lenguajes decidibles en tempo plinieico Problemas de decison 55 Complefised temporal de méquinas no determiniatas LadiseNP Reshuciones politics ‘Teorema de Cook 86 Comentarios finales uaz eri de 0 praesoscomputaionsles sha Mra TESTES premade sor ponder estore probemas seenan Uintntvtone i slucon Erie epee ree waco bien seats suerte SUES Shthones desis pons dete rs pte Pedra gestae ee osotn vemos gee muchos dee rhtena ning ener arse segreren casa Fmene, Comemye nsspacin dy svat gue Sede SEPENOR Gat prltls pertanccons staan aan248 caPmULOS couREAONO 51 COMPLEJIDAD DE L08 CALCULOS ‘nadetes prin svc tts eters ess chant poten nua on scorpio tree ombinn ocmlopssroohstnapldegmaciencerseite irggp hover coe goes gine lps ‘mpleti poniindouncitbempbine Canearteyee ite {SEmecsogurselas oncoming arto nun Saeranate hegeniaslagpnecaulighnd arable *lruceaon sen snies Suno epleasessvone ‘ain Pays ee sv de mero bapa ae eons dir | rapt deslpsienosanricr econ deen eS flr teas meno Rio dcs epinpiag roahend soeomsansoce ea dad de un solo cfleulo, ad Medicién de la complejidad Comsimeniptnosirpe tempi agape care eae ema gees Sree ese eee Se Sire ecnae me lerumancie S SSeS TRG cae eed tcecre a icc aves ae ore ine giatece terme aetensi, ie Selatan Reva Spates tattered iterin wage en apne queers seenrroae a SoG Geomeaer e r e eat Spada ce Pee Lin att Spa ac ta epee inher aemem saree LES Sea enti nent Sets uainncr enero, geen ace eerie alae Soe tata oats science ec gececb anes atas Spehy ge su aeeterap esas greed otc encom allla ececancete ai igs 2S Someta att o oo “a x80 ao bao pees ooogo8 Trait te epee per aco de rtpleednes wees Figure diglos compan grienmene I compe ep deo lon Fic lyre Sisto de molupcion mets sears or dony tes gon ‘Esact ver ue compli exci tempura de ua luo puede ‘aria dopenonde desta donde secu ele u El empo gu Tehlrepareletarancfeloeninconputadormedemoesmucko menor (ps eleogertiopaa renzo isn ckuo con samt dea decada ies cacocrar Ader a catia de eapct nesesar para ales ‘ron de dn epee lta de codleadn que Se emp. Cinque {ler ene mayor que? etiam pc cumdo se ee nro ‘hana qc a enpes retain deca “area os vara det ani, 5 comdn esti comple dade cl contno deers computa Fars praos os nos Reweroncsenicompldaddel cdo dees maqunas e Tur E5070 $Slorasproponsonunembicebedeao dance ala sinoqueades’s tow Taondonen gin de soe oes coal aque Turing tone much recat Sends esd os opted eos Complejidad de los céleulos de miquinas de Turing, Casideemoslefeccin dura torn en sna gin de Trg Chpnrocno cvs ges maquney ermora complied meal de ‘nine de arngesmoed numero depo qs ean dust Sedan Par opin compat ony is ction por teat Tage, ir contac ela ezeSinay wr ele cube pa noe cba Feros na dep de up fares anaes ipry ca ymor nd pg colcri tern en pes origi 3 recharge cue Se.A 0s cuameetoaor ten oo coped emp ic Epon ecco de as mina Ting sek etd pe enpoy ser cp sur bemoans SEMiReareh de ts etoe compa. orem250 caruios couriescaD complejida spacial deloscde uss elas aguas Se Toi eepreen in {set nortan en ian investiga stun Tncompilad paca Seunsiu dona gure Tesigaedeting comme el mimeo de cds de teva gue hu kta rege Ad te ‘tmpeadepaca Je na:naguia de Toro foers 9. maga allanta tas primorasnteve cola de acinta durante ns cleus pro no equer. fia gue etna presente el row de lara. Ca complead expat el ‘sic que reais To maina del igura 32k con una congue Focién de cna SrasA00"'yen 8 (a cera semaveratolala ulna cea detach ante de primer ‘on Bt conigaraiin dein AAA. la maqua eeaard un elcelocon Compa ect? ya qusbinse ular dos és deta ns ‘Seserve que as complies espacial y temporal son drei, to tants» pole gue diteran paso mina els. Pr erp ‘gains qu ence tne a cabors de acini pero excrbe 0 ects ‘spac en blanco ena cada actual antes de deere, acti wn clea {on complgdad temporal tt pero complejidd epoca Deco, til ‘er amo puede exons ste eeplapoa product clots ex us evan Us complgidades espacial y temporal Serenen cvaqulrcanidad deve rea pat, las complejdades espacial y temporal no sm totalmente Independiente en pasos, ura le Turing tee oceno a ‘duno der = Leldas dela cinta Por conaigatenlslitomplil epee ena aqune de Turing noone acomplia opal et ose ayer gut 91 “Concluimos con la observacin de una consecuencia algo peculiar de runstos detinicionss, Una maquina de Turing pusde ceptor ona tadena 9 través de un cfleno com comple! espa) enenor qe a ‘Fequri para conte lacadena. sos debe aquela muna de Turing eneacssoa una cen que porn tann tone nacompiiad esac 1; Sinenarg nets fer adr ep cus denen Cota sigaacacont gS enneemsqia sora cacons ‘Seca ote de dct Encinas de acini ‘ompliead ep porto men etal kg cau eau 02-6" Bo. FiguraS2_ Muna 60 Tring seein Bjericios 1. Muesreque una maquinade Toiagqueacepiacadenasdeteciendone com sucintaconigorada como QYAA4 debe ppcutar un calelo con com ljidades temporal y espacial de porlomnenos In yar+ respectvamente, ‘Maceptr una cadena delongitud 2 Disene una maquina de Turing que acepte cualquier cadena cuyo ‘comienzo sea x'mediante un edfeulo con complaidedse espacial y ‘temporal de. 13. Determine as apace y temporal del dela tealizado por a maquina de Turing my =kSR yds fal ponerseen marcha conta confguracindecinta AxrypeAA.A ‘pasa con Inconfiguraciin ila AarArgA.Ayyer\ A? 82 COMPLEJIDAD DELOS ALGORITMOS lll En gama, distinas aplicaciones dof sme algoritmo lifer. Por deena, el eculo que eoehe el slgorimo de bisqueda ‘binaia dependerh del contenido de lasts y del valr que s busca, como ya imo, lagen de wliplicaesn tradicional produce eflculoe deren ter con distindos valor de entrada, Ifultamnene, paca considerer sat algoritm es complep hay que basarse en la cucsiin de is edleulos son ‘compkjoso no, Eimper,quésucedestslgurasapliackaesdelalgyiimo nes Teva 2 eicuos senios mies que otras genera eAloulos comple?252 canirane coMnEsoAD _Debetwasconsiderar que ol agoriino es sencilla 0 compl? Le presente Secientata estas peguntas enol conte de a complejidad trmporal. Complejidad temporal de tas méquinas de Turing CComenzaros nuestro estadto de a compljided de lgoritmas conskde- rand los algoritmos en el coatexto de las maquinas de Turing. Cada maquina de Turing no es mfs que la implantackin de un algouitmo, fepresentado en la forma del diagrams de fransciones dea maquina. Consierem una maquina de Turing para compara dos cadenas de gual tangina en f, 9212 Suponeros que estas cadens estin eciaso0 cinta de lx maquina, ws as la otra Y separadas por un asirsco omnpara facade yc ¥ ye, carats ta mga on a on de cinta dyeyecxAAA~=) La trea de lv maquina ex decir taddna anterior alasterisco es idenicn a le que wien despuce del astersc Umatquina deberddetenersecontaconfiguracion decints AYSA-si cadenas son ignals,ycon ANAAA--sisan diferentes, Tass que ula nasate mquinade Turing es compare repetidamen- 1» ko elementos corespondienes de Js eadonay hasta haber csnsidarado todos los pater o detectar una diserepsncla. Eso ae hace lend el pri ‘mer imbolode la primera cadena y luego moviendo la cabeza hasta] pritner Snbola del segunda, para confirmar si sn iguales. Sito son, la mquina ‘wgreaa la primera dena para cbservre euro simbol aes de pasa ts lesegunca cadena y verifiar que wegundo elemento sea igual. Ast, preciso de comparacin da come resultado qoe'a cabeza de la ia a ‘Se as dos cadenas conforme se comparan sus elementos. "El figura 5. se muesira un diagram compuesto para la méquina.. parecerel demporequerio para que cot maquina complete sularesd ‘elascadenardeenrada.Especlicarents, tamard mds tiempo recone ‘doscadenas larga con Sénicsquelegar aa isin conetusiGn con dos ‘oriss, De hecho, se trata de wna caraceristica comin dels algo tempo requeeio para ocular un algorito tende a ser una funcion de. Hengrhd dela errada. Er esto eas, la siguiente rma inci elt _necesaro (med en pass eettados) para confimar que dos cadenas Nong ns ene De + 10H 69 Esto incluye 2+ 5a +1 pasos para completa el proceso de. ‘br pasos pa mover lacabera hacia el extrem derecho dea ends ‘rrr Incina de derechaa iaquierd, bes pasos para esrb al simboloY € lenny por tht, un paso para traladareal esa de pada (este tir pto ge debe a a forma en que cantrimos los msiqunae compucsta ene {apula) Enlonces pare conforma que dos cadenas delangind custo 300 | : ‘ea iS bo: Figure Miquna de Tuingpwe compara cadeors tices tn compleidod emporal sera 8 (se requieren Bl pasos), nentras ‘que el procera decomporscincledeseadenasietias delongitud 1endiia {a complepdad temporal de3- ‘Sin embargo, aun la caderas que se compacan tengan longitudes ro quiet decir que lo cSlslos relizadoe por ly miquina tended una cormpeidad de eactamenne 2+ 10" +9 Stas elena no 400 ‘uae la mga dsjord de compara elerentos tan pronio come detecte At discrepancia. Pa ner ms preloo, st sdo ls primers elementos son {deriicon donde 7 6 ID parr Por lo tnt, aleomparar exdents de langind ‘uato.dandeleaprimerosdeselementos niles perolos tear deren, Wr ndquinn solo qecutara 2(0+4)+24 +10 ~S8 pasos en ver de Bl. Ader, ‘las cadenasdifern en a primera posi abo oe jecutarn 3 pasos. “Al evaluarlacoenploidaddeunalgoreo,generalmentusemanan estat ‘vrlaciones en el rendimienlo de un algoritno Identificando las sitwa- ‘Clones de mepreaeoy peo cabo. AH se garantza que cualquier aplicacon {el algoritmo caiga cm ete ntervalo. En nuestro ejemplo es fil ver que, 2 comparar cadenas de longitu nel eflculo mis largo ocurirs cuando lis eadenas sean identicas, mientras que el més breve se presentard ‘cuando las canlenas diferaa en la primers posieion. Concluimos que bx ‘complejidad temporal de cualquier efloulo sehallard en el intervaa de {FID (mejor ca50) a 2nt+ 10n +9 (poor caso). (En realidad, la nviquinn {jecutard cdlculos ms brever an certo c1s0s de entradas invalldas, ‘chma una cinta completamente en blanco, pero s6lo nos ineresa ef ‘denerponio dela maquina con entradas validas.)254 carimnos commescao ‘Veron entooces quel idenicacion dels compleiadce unaigoritmoes una area bastante nebulosa, Exsten vars posblidadesquehay que canst- erat Is cakes van dl readimsents en el tej ean al el pede 0. Sin ‘eargslequese acostumibahucerparsuna defini tormles napa Un punto de vst pesimsta y defrir lt complejidad temporal de un algodioe ‘urn su reditents en peor caso. De esta ona, aunque Aves algo ‘mo de comparactin de cdenas pueda desempeterse tot en algunos ‘nso, defirimes que su complejdad temporal es 2+ 10u 8. Rendimiento medio Siplaneamos utilizar repeidamente un algoritmo durante un largo pri <0 de tierapo, es protable ques interese mds su reridimiento medio sucomportsmientoanelingorod per cso. ders, npesnecesaio qe _Rraimieno medio 4 enevenke prctamania an ol punto central ene fextremos. Por gemplo is sitvaciones que producen el jor foci ‘mento dun algortns son uy ras, ertonce ender et daze ‘on perl puede tender hacia per caso, yvieeverss Ealuemos enone fo que cada dispsicén de simbclos de longitu ten la risa probabil de ccurreneia que las dens. procucir ip eSlevoedisints con complajidacenc de ocurrencia 7 Py “P, enionces ir mpiidel cate swein desputs de varias aplicaciones dal algoritmo) art En autstro emple de compurcn de cadens, cuss apicacion dl alpina on cxlnas de legumes dar esmo resulta ura de a +1 pasos, ala wer que seejcutain ren +4460 10 pasos sila primera dlscrepanci se present en la posiiénr +1. Para encontrar [a probebilidad de ocunencia de cada cto, nuestro azonemnenlger coo sigue Peso queexisten es simbolos en el alfabele, Japrobabilidad de que ioe simon concuerda en una poskor determina. tblce que algunos problemas no sien una stun mas seal teal el tora descleion de Lm etablece que een prtiesas Palos cuales pone metas cients eager vlan Fors aumior esmuy ol costars thin descr ona complied de hecho, se rat de una aves que mucha vets no Negeri imate de patce . S8ag8 8 aeee i. algunas stuaans bast co eabecer wo Unie apace yr la complead de un protien, como ee cho eel eno del [robiema compara decadence Hemorancontadounataineaye fomplejnd temporal es + 10e 99:99 eben gut ia compling Gd Frobiansno pune trey queen AdcrSestesnachusone sults Fata nuestros, entnce to necsitmes ta ean fon mayor secon pcb, 7S bronco a acne cael pan wn ble tronserdomciodo comps Evert tac esttrea eset to tlun mucho mar omer quero esse Ck suit Ene SpbadceD desta te sep elo oso? Gr cage ‘clung prblenade compere de cadaat con un maui de ‘oad ura sci dab ten ona compet ergo eta ports 2penos una exrestincuadrsoeacna anges loot qe fe compra Err mcr, sa tp eu ge or est mead Soret om proper ‘Sadanyu obra Lo mt ged gat bee hoes‘onocidas son demasiado compas pars una apicacin es probable que ‘valquer otra colin para ol problema presente el misma panorama “Enlonces Jo quehenos hecho es clasdealacomplejdad del problema dt omparaciin decadenan (cuando ve resuelve con una maquina de Turing, ‘deuna ola ina) an lasede ls funciones cuadratcas, Memos encontrado ‘a soluctén cuya complejidad se encuentm en esta dase y hemos mestrada {gee cualgsier solucion mejraa tambien debe eta edit cave. la ITayoria delos casos esta casificacin es ouficiente para nuestos propsitos Poreto, parece que unaformaitlparamediclacompleidad dele problemas sera ur esalabasadaen class do unions. Ura de estas eszalasvebasa on slcancepto de bs tas de crecimiento, que veremos.a contain. ‘Tasas de crecimiento Seal conjntode forcones deen Dada unafoncnfon detinimas Of) Teido“omayiscula decom la eos de dass farcones gn pera ‘cuesoxiteunacorstanie yun entero postive, esque) ef) peated {iter n>, Exec, Of Jeslacoleein defuclones que, con eds de gan ‘magaitud, stn lmitaks en seperormiate por wa constarte milple def “Ahovs ify g son funciones en, decinoa que fy gsm equivalents a Off) - Of). Bl anjunie de funcionesequivatntesa fie deroiaconOtf). que selee“ theta mayiscula def Acada clasedt/)selelama tana de crecadent. Estaterminotogiaseabdenedeque para cualquier Of) asgrafeas dex), ff), stseeaiendenlo silts, debe encontarseenel mismacarredor-Fara Seciis precios existe costs Gales questa) <6, f(y 0) <6, 0), [ra todos ls enforos e mayores qu unctero postion, Ai para 4 “fed a ey Es deci a rin de debe ce fatenelcireor te Ye fescamosemundenlaligun ortotaro urquclagnse0) Poet Stron torso ceadcuns perspec oll anon sen coco omina an pas geal de oboe Ysepunion dep demoto que fe) ambien cuipene comes Eimear quecoarsiohie decay promo dread ‘© 8(¢4, Dado et potinomio $e, donde a, #Djentonces, pata cada nen, 13a se puede reescibir coms era indo mtn La desiqualded del odo ngulerd emp que a da lentes que a dal ado derecho indica264 cwinnos commesnAD a we BS Por conigiente, 0,5!) = Cte) como se equa nora y ict in pce sas e xn, “Aunque no pnomoeWencr ri peciacom conysad crore erro pebla de spar ead, pe cr {tees posble eave proba eo un slgontnn cay ped cuenta en cle On) y que calgar mor stan debe ambien {tora comple on} Ds hc, daneraoc ua season cape ‘plead bona frin coin) montanes (ave hp 9) toe ‘Salgr oes debe ne oa compa pial qv a Pot wens ecsn mann pace ues ts racine pueden proposer un esq denn sone gee suo ee ek iene ur serpen a att Gr mi ried Se ut Felons ptr decto devant ls conpafand tenor on pr Ircomolstene(/ sid problema eposierenvr meant lene ‘lon compl gid tempi y nde cna mr slung ‘compl angle. 9) Esty rene an nde ‘Ss dc 20g) ps OY oh Aste werner) sof compo on pola cok om Sebo Beso -complejidad O(7*). Limitaciones de la escala de tasas de erecimiento. {acacia de tase de crecimiento sha llizado con él para cia la comple de varie problemas en ditna situacianes. Sn ebay tne la geneatidad sufcente para proporconar an sta en ecu can dlsiase ods lon prema Una dens zones es ut sien problemas para los cuales calguieesolucin puede mejoerse eid ‘nent de manera que a rieraslusn corresponds una dik ast 32, Decimos oe Mf calla la funcén en Hempo poling est un pte al que para cada 2 para kacua ‘se dati fe), M catcale ft) en no mas de (hu pasos. Una ‘mmportante de las Janconer que as tiguas de Turing pueden caleuaren tempo painénicse que ta eomposcsin ded de rts [emelonestambin es calcuiable en Hemp polinimien. Para justine esta ‘irmacin, soponga que ff son funsones pariles caluladas por las Indus de Tering M,y Mf, eapectivament, Suponga adems que RCA) titsdsonespresionespolindrikces ica que para cadaentadaey 4, caeula ‘Fo}en ras de (101) pase v M, cau (een un més de (21)isos. Ahora considered emp requeide paraquela miguina compuesin Mi cake}, Doda nenoada paar lett a, expuee defer no mks dep (le pasos. Enon acd proc por By {que se poporclona aM, como entra, no pusde tener una longi moe Jor que yt eI) +1 fpodemas pone qi I< ptt) pea todas las fStuadastde/). Asuver bf sedetoesseputs deeper un mximo de Pub) + Tims. or iota toda lacpec ln realada por +244 0 equrizh msde (pol) + p(t) +1) pai, cal consitaye tne ‘expresion polit en "ambi Gets que aac dl ls uncon que psn eae on tiempo palindmin con nian de Ture devas cesses gel qa de lksmigeinaswadicionales(durasoacns). Exam oie coeiderros ‘ugranentladewottacindeltsreta.,enlocual asramos m0 na ‘iquna de Turing de info Grea, puede stmlar los eeuos de cat ‘uler miquin de vara cinta. Sola hay qut hacer do obcevaciones adic ‘les. En primer aga prcen desma deseo en emt del tora’. puede amparse par quela equi de cinta troduce sucints aun formate dea solciniademanersquesntes de detenetsc {oniguradacome acini? Sens agua de ets miles Est quiere ‘cr qu nda de inl iia produce mus saa qu laos ‘emslipley cits Exsogundo lpr taurus devas Cita realizn tara en tiempo pli, tbl tfetard en Hemp polio Ta slilaién ema aoa ne. Una ve tabloids ts rteedentes,psamesal tema de eta secn: ln compli des problemas de rconocinienio de lenges. Laclase P ‘SIM es una miquina de Turing decks que Macepta cl lengua Len rnp polindmico si L= L(y este wn polinomio pn) qu e eimere de pasos ‘necesarios para aceptarcualquler W & LOM) no a mayor que Ho). efi -mcs que? es la clase de fs lerguajes que las maquinas de Turing preden ‘sceplaren tiempo poinémico. ‘Nuestro interés por la dase P surge deta novi intuit de que confine aquellos lenguajs que pueden ser acepladas en un Hepa resonable. CConsidere, por Gempl, ura maquina de Turing M que acepla cualquier ‘dana 1 € LQ) ee una cantdac de empo propercinal a plinano tt, ‘eneomparacioneon za miquina Mf que acepln cada cadena € [("}en wh tiempo proporcanal ala pouncia?~.Siduplleamaslalorgtud dela entrada ‘de dlgomos de 10420, , Daas doscadenasdesiboios de entrada, decidir es permutacin delat. Dados un entero postivo y unalistafinitade enero psiivs, decide sesiteunsubeonjunto de a Ista cya sum sel primer eer 55 COMPLEJIDAD TEMPORAL DE MAQUINAS NO DETERMINISTAS. nel captulo3 vimos que las miquinas de Turing tradicinales (de un soln Cina} las de vara cnt y sno deterministas pose el smo poder de _econocilenta deengusfs enloquesereiereaqueunlenguaaceptodo por ‘wna aafquina de una de las clases pede ser aceptao por une mina de cualquier otra clase. Vinosaderads que esta iqurkad de poder se conversa centre as miquinas de Turing de una y varias cinta cuando se restingen falas en Uernpo poinémic. Por est, es natural preguntamos ev es efecto que tiene la resriccion de empo polinimica se les maquina de “Turing no detereinistas eta pregunta esl ue ahora nos concieme. La clase NP ‘Decimon que ura mquita de Tura ne determinsia Mscepia el lengua fen tempo pelinimico si L= HA) y exist an polinomio (2) tal que parm ‘cualquier we 1, Macepta con unaterie decdlcules que excede dept!) ‘pasos. Asl mise, definimos NP como i clase de as lenguajes que pccen Seep las miquinas de Turing no delernsnita ent polinomic ‘Pesto toda maquina de Turing eterna ext concede enlace dels méquias de Turing no determunisst, podernosafimar de inmedato que PNP. Sin embargo, ta cuesiin desi P= NP ain no sea results de Heche, quizds setae del rable de investigacsn ma impetante tat loncias de a compulacin actualmente: Fasten numetosce problemas de ‘onwreno TarcrL. WCUNS ROKETERUNSTAS 279 dein ge min wren dn rn pocuteanh eammtneseeorets spe esi tad ces ESoee fee sre ce ain san Tepe poebcopefumrmenetr spectng ireeyentatoiet orto shine anwar Sicahes pelle cored ae Ein btn como para P-Recossde quo en Prin eatecha retain ene a AO hercei amanda Saint ooette hacen ‘ction dinates rota rs erence miiiierte {Tasirineshin nero Rea teashetinytancrtne Sica eee aP Ecce epee stein en ipa ypans moe nem petipptanan eae cece Loner gaeeitn dcr, aon ar pe pap srs Sere Cann es is pena ede Peta Se et Sneed ee ere an nce eerste tapes ein ot pt ie ma an ace ora ‘respuesta afltmtiva del problema del vajante. Este lenguaje es aceptado por CCieuos determines an em politics postimas angles _—_toguajos fncecin = greece = Moai vols ‘Céevis no detriitas on tape pension pices san 2 ow gusies mies odecisin = Gaon acptbion ‘olblen panne Fn280 carmuwos coMmeATAD lasiquinade Turkegnodeterminsta qual ecibirun caso del probiemadel Vojante, genera na utaentelas cites manerano determina, doce ‘adaruta es una sala plerdaly hoegoevalia la rutapenerad.Siencucrirs que la rua os sufcentemente cont, fs ndquina ge deter de Io contra, entra en un clo init, ‘Aden etamiquiraaceptai len tiempopotindico.yaquecualquice ‘utane pd generary evalua evunletervaolimitade por alguns exprsion polingnia del iimero de cudsdes (i exstin cludades,entonces pir generar una rula se nen ras entre cludades y la evaluacion de afte ‘onsite en sumer las distancas correspandienies ene as 1 cxdades) Legumos at ala cones de quel allen NP. ‘Sin embargo hecho de que ,sebale en NPs6losiglic que puede seraepndoen tempo poinémico por maguinadeTuringnederentinsa. Esto quisé ne implique que pues ser dict en Gempo polinbaaca. Este ‘requis muchonuisrestictva exelqueseneceshaparaeviverelpreblenst et una funcén total computable. Muse que ‘ecste un erguaeacepiable segs Turin que wo pnd ser aceptado [poralnguna miguinade Torlcoa una coopleidadespacialen O17). {Cues de las siguientes functones estén en O(a)? {Cues estin en Gat BW ote bon Lege J 3 Se e2e204 cartuns comnsinAD 8 1, 2». a 2, Enewentre enters ym tle que di? + Se < 62h +) para tv low fentezos# mayores qoen, Mucatre que 82") < 9. ues gue sls gua Ly eth 0 Petes bby tsa secncctranen “Mursne qu a inernecn de ds lenges ules en NP sa preceunenguajeen NP. rere unt ruin pola fs," > eee ferwivs fey wncueraweneider tov hogs sim pte on Encuentre wae reducelsn pallnsnica del lenguaje fa lenguaje ‘conslleni en as cadena que conteren un ener pat de. “Eneuentre una reduceién polinmica ie "3 debionguajcelas ‘onlernaquecontionen ua acinar pardeyallenguajedelascarense que ‘contin on mer impr de, ‘Mente qu el engi consistent cr tos ls palindromosen ey" estben?. ‘Planieelo siguiente problemasde deisincomo problemasde econo ent de' 12D ste nombre Carol se ancuentaen una ita deterrirada 1b. Deidre un colceidn de enteoscaya suma sea 100 puede ‘esengerae de una fsa dade de-entero. Doce ste puede construir un sistema de computacin compl toa partials elementos de una sta de componentes de computador. {Existe un problema de reconacimiento de lengoslecuya sohucén| rejuiera tempo expunencal al emplear una nigulna de Toring con ftsolacings, pera que puede esiverseen tiempo polinimied con una ‘mina de Varia las? Explique su respuests Proporcione un eempio de un lengua que a enteen? B. noestéen? ©. sien NP posiblemanteno estén P Diseeurarnigaionds Turing odterminita(deunacinta)queacepte gg en iempo pointe. aL ‘Muestrequest existe wn lngune NP-completo ques encuerteenco- NP entonces NP= coNP. -MuestrequesitsehallaznNP,estonces Les dekdite por una miguina ob Turing. {stinen Pfodos los lnguajes indepencentes del content? justi que farespnest Problemas de programacién crib un programs para cep lengua yg Por gu eoperita ‘que su programa consomleraraucho tempo Gn entradas de ran. ‘mopritud? criba un programa parareslvere problema dedacisién del vate.APENDICE A Mas acerca de la construcci6n de tablas de anilisis sintactico LR(1) Eneleapitulo2 vimos cimosebaio unstable deandisissintictin L2()en un automata fini) construido a partir de una gramdtica independiente del ‘Sontexto, pero no analizamoe los detalles de esta construction. Neesto ‘bjetiv chal es propecionar una explcaion deste proce, ylacsrategia ‘ett mostrar cbmo se corairay el diaprama de tansicones de figura 237 porte dela gram 53 2MaE MO ait Moe 33ND Noe ‘on smb ill, St se aplican los antes patos 2 posble constreir ‘nuteratasadecuadosapartinde oasis indapendizntesdeleontesto {que oa sean amigas} donde lado derecho de hs res consists ent ccnlera vaca Hl priner paso es intros un evo simolo de lilo, que representa- ant con 5, ya nueva rea ce reseiura sos Observe que etos cambios na fect al enguaje genera por la gram: svemmbargo.e aseguran queelsimbole de nico aparezenen unas y muy benela rh de crt. Introducimos la mars = para indicate wstodo de proceso de aslne sce, Por ejemplo, con eta marc esrb. 55 eoMie288 APEADICEA MAS CERCA DELL CORTIUESRIN DE TABLAS DE MALS SMTACTICO LRN) pataindicarelestadode aber encontradolaiicalenel patron yasestar Fistos para buscar el patton Mis reste, La otzalon de esta marca 108 peril restmir las etpas del reconocindentn del patti 5 de lx mana Sipviente: Sts Sz-MNe So93M-Ne S42MN-2 SoeMNe= [Entablercarnos que wna rela dereescrltara mareadaseencuontraensu {ormainicial sla marca se ubia en el exemo izquerdo del ado derecho ‘dela rel. Ast rlsmo, una reghe arena est en forma terminal 56 ‘marca se encuenta enel extreme derecho el lado derecho del ela de reesritura Deacueideconesto la primera rela delalistaanleriorsehalla fn forms ical y fo bag en forma teria ‘Después tenemos que definir qué queremes decir com el ciere de un ‘conjunto de reas de reescritura marcas. Formarnos este cierte encom ‘nando primero todos asno terminales que aparece inmediatamente la sderecha de una marca de alguna de ae regis del conjuato.Luego atadl- ‘nusal conjonto as formas incites de todas le regis de roscitra det _gramdticacuyo lado faqolerdo consists en dichos no terminals Si agra Se as eglas agrogodas beneno terminales que aparezcaninmediatarente bla derecha deuna mates afadimos ambien las fornas iniales de todas reglas de reescritura para estos no terminales. Continuarnos con este procero hasla que no apareacan wacvos 10 teraalesinmedialamente a [i derecha de alguna marca (observe que ete proceso ese quecletonerse ya que erate on emer fnlto deo ferminales on la gramatia}, Se dice {queel ecultad os el ciere del eorjunto orginal. Por gjemploelcerce del Conjunto que combine as regs Sa4M-Ne y Maes Dasodas en nuestro elemple de una gramatica, es la eotecién 5 Mens NN Neer Moa aa Mo sable Mayor {tw A MLS CERCA DE LA CONUCCI DE TABLAS ALIN BRASH UB ‘Sesnadieron la segunda ya tercerateglas pongue Waparetsnmedistamante ‘laderecha de una masc,yseagregafon ls dos ltmasyaque Mapareceria {nmasiatomente ala derecha de ura mores. Una ver entableidas estas delinicione, estamos sts para descibiel _procero de construccion del diagrama de transelones dela Figura 237. El proceso es el que sigue: 4. Fore el der deleonjania que contin a regia marada del nuevo snboloinicalS'-»”S.tstablezcaesteconjuntocome elestado vical ‘deldingrama detansiciones. 2 eve a cabo los pasos sigulentes mienias sea posible, sin ser sedundanue: 2 Sdecrione un simbolo 5 (iermunal 9 no terminal) que aparesca nmediatament al deren de Ia marco en une glade algae estado A enabled. 2. San X lacolerin de tna tas regs marcadas en A que engan [nmedlatamente ala derecha de sus mares ‘© Sea Y tf cojunto de todas ls relas marcadas ques obtionen al rover marca de cada rola de Xa la derecha del sinboo 1. Sidespués de calcula el cere de Y, este cere no es un estado ‘nite kr consrudos ha al momento, nctayeo aor. 4 Dibuje marca con eriqueras del esodo Aa cere de. 3, Sefale como etado de aceptacin del autimata cada estado que ‘ontanga al menos una repla moeada en forma terial. sms caro este procetosiguendo las primarns tapas de bs constrain de Ia gata 237: Comenaamas por etalece el Conjunto gut ‘conten ae dos reglae mareadso Sas y Ss2mn coma el estado inca del diagram de tansiianes (4 trata del cher det ‘conjants que consist ena eplamarcada’ +5, comolo esablece el primer piso de nuesir proceso de construcen) ‘Descuerdocin el paso ,exstiin dosarcos quesaldrén de al estado: una conetiqueta Sy omo dn ellquetaz aque estos bol apareoon nmedla- {mente abe doch de una marca een esa. El arco llevar al estado ‘eslubleido mediante la fran del cere del conju que consste en 8 -42-MNE que ese canjonto $ 42oMNe Masa Mon300 NEMEC A MAS CETOAOE LA CCHIUCECH OE TARLAD OF aRAUEIBSRTACTICO ERT |APENDICE A MAS CERCAGE LA COMTRRJCEIGN DE TABLAS OE wUiLies MMTACTICD AH) SOT arco con equa $ levard sl eso estableido al formar ol cere del conjunte que consist en Sas. (Observe que este ered sort de aceptacin en diagrama de transi ‘ones termiaado,) a a figura A.1 se resoie russe construcsi hasta Wegar a este punto. ‘Sheontaudramoe con construc, estado representa pe Soa-mne asa Matt tenia tres arcos: une con etiqueta M, que conduce al clrredel conjun- ‘speonsisenteenS-2MeNzooconetiquctas, que levaalcierredeconjunto ‘consistanteen Ma = Ma; y el revo, con etquets que va alee del ‘conjunto consistent en M2 Eliagramaterminad era comoelquedpaseceen a figura A2.Compare ‘sto cone diagram dela figura 27;son gual, excepto que ena figura237 ioe estados ce encuentran fotulade con ros en wea de canjuntos de rela de ceesesitra marcada Eyre Figura AY _Promras open co econmnuczen as Tava za \ FiguaA2 Dayana compeDabemos concur presentando le canceplisinuilvos quesustenion este proceso de corstuccgn. Gna sos se representa et estado corresparlente al inicio del proceso de anlisis Sntieticodeungcadenaconbusrennestra ramsticualtrada elo reese ta a etapa ini el reconacimiento del patron”, La posi de nesta smarea India qu sta area impicad encontrar una cadena quecoresponda { patnSeLstmbolo ala derechaderwestra arcs, Ax miro, se deverben ‘con mayor detriment los detalles acoder as fotenasillales de as eglas que descrten posts estrctaraspa Sennoestracasasettatadelare- gia retcoda § += 20Vr-De hea, ol estado Ileal del procesn de ands rtictico ext deseito totalmente pr as das rela ce rescitara marcas sas SoaMie Es decir, para encontrar un patron que vaya deacuerda con Inestructura 57, debemnos bosent wn patrba de ta formas (primera regla marca), lo {que indica que debemes encontrar un patzin que comience con z (eRe dasvegta mmarcada). lector debe cicervar quel obtencon dab description terior del ‘estado Inca del proce de andisis sintilco no es mas que e prrceso de ‘flealo del cere del conjanto que conten’ a eegla marenda 4-5. De heh, ta formacson del rere de uncoajuniode regis marcadas es precise mentee proceso de dexrbie con mayor detalle las apeones disponibles ata l anulizadorsintictico cuando se encuentaenel estado representado Pore cong onal ‘Sencantrdzamoethorauna zenlacadera deentads, nuestra sitacicn at conocer el patrn Sseia SoszeMNe Joeual indica que euestro problema inmediat sealaencontrar un equiva Jente del patron M. De acuerdo con a gramaticn, hay dos manceas de ha- ‘cwrl-con la regla M~ ads oconla regla M2. Porende, el inicio dela bsqueda de un patie que cortesponda ala etructura Mest senalado por las replas aeadas Moa Mos ARENOICE » MIE CECA DE LA OHMIC DIEHL DE TABLASE ALIS SMTACTI A(T 203 Una ver nds se abliene una descripién de estado completa formand ol lenge de su descrpeson preliminat. ‘Verna entonces que el proceso de andlisssinctco de una cadana con base ences gremitics alteruda comsonza.en elesado develo por sos SaMNe yal encontrar una z, pasa a esau descrito por S$ saan Mo-aMe Moe ‘Observe quese trata delarcedibujaco en nuestro proceso de consteuc- ‘in formal, “Tomeen cuenta que los estas de aceptacon del dagrama de tran- siciones terminado se obllenen a partie de eeglas mareadas en forma terminal por fo quelas cadenas aceptsdss por el autdmataserin precisa. ‘mentenquclas quedeben|levar aun reduccisnen elanalizadorsiniétin ER(1). De esta manera, cada ver que el autimataacepta una cadena, eb analizador sntatico sabe que lene queefectuar una operacin de redc- ign. Adesnds ata se basa en lo rela dereescetura cy forma terminal rodyj el estado de aceptacion.APENDICE B Mas acerca de la funcién de Ackermann 1 objive de este apénice ex demostar que ia func de Ackermann, finda por bs eewacones AQy)= ye wm ‘age 1,0)= Ate, 1) we Ales Lyi Ate Aes 9) 19) estoy cleulade, pero ne recursvaprimitiva. EIhecho deque se al ‘Shlieneaplcandotnduccacbreosparesdeenredaenrdenkexiogrsico, ‘oma veremor a contain, Tara todos Hoe pares sel forma (0, A, et defini por ln ccuatidn Al Supongahoraque A) 0 Lomas ey 30) AN 280.38) +8)+-3) =A, DANIO) +) Apored ema) SAIN, AGS + VAIN 3) K) porto eas ay 36 "yivelcion de) =AN=1-A0s,32)=H)41) — hrtascunn A) EWN 20,30) +8) (pore tema) “SALA 3) +9) (fers elsiin de Nye ea 8) = Ai 38)» k= 2) (Goria econ A) qs resultado gue desea 'APENDICE G Algunos problemas importantes sin solucién El principal gjemplo de problema sn solucién que se presenta en el texto (Cap. 8) evel problema dela parada. Quid setratedal ejemplo més popular ‘eles lbeos de texto pore es Facil de presertar an el contexto de las ‘iquinas de Turing, una laze de dipositives computacionales que por [general ye ha mencionado en algin curso previo al andllats de los problemas sinsolucion.Sinembargo esta pesentaciones un tantoabatencta [con frecuencia ls estudlanes sien que es alg ielevante, Muchos de ‘hos piensan que lor problemas ala solucin, aunque exisen, ncn se ‘prevent en sttuaciones normale, y easideran que posden’alacar [ot problemas cotidianos sn peocuparse pola posibiidad de quec! problema ‘rewestion no tenga una soluccn agora. [Empero, at tat de una evaluaclén incorecta de be importancla de los problemas sin solucién, pe és surgen en diversas sirsaiones, Br oh [Presents apindice entero dos protiema sin olucin que presencant {En sllunciones reals y analieamas algunas de sus ramiicaionss, (C1 EVALUACION DE GRAMATICAS INDEPENDIENTES DEL CONTEXTO PARA DETERMINAR SI EXISTE, AMBIGUEDAD EEnet coptulo2 presentamas el concepto de srbol de ani sintictico, AIM, Toque queriamosern mostrar que cualquier cadena que pudieraderivarsede luna gramtca independiente dolenntesto wnblen se podia generar con una ‘devvacin por la taal, Un principio importante que Se emple en este ‘lantsaiono fue qu a derivation de na Cadena esti asoau an solo Iirtot de andlsesintcrco, Bo nos permiio star que dada una derive ‘ion ana cadena, sino era una derivacén pola izquierda, psdlamos cons trust Srbol cle ani sitico asociado a esa decvacion y deepuss ‘construe a pari del bol un ders por a iaquirda para la cadena.314 sebecee ManES POROUS NPCRTAMTES SOLON LErRUNOGRU HCAS RORFDRNTRUELGMECTC PITA DERE DATE LET 315 Puesto quero tenia impertancia en sl mamenta ye prestabaa posites ‘confaslone,en el eapitule 2 na mencionsmos ce a cadena podin estar Sbociada 4 msde un drbul de onlininsintatco (io deviation de una ‘adena seasociaa un solo dro, pecolacadena pune estar asociaaa mas ‘deno), Conaldere la gramtica ‘cfrace >» chase 99 ae0> ‘Stans >> cftene>y chase > Stave > +X ‘haee> 0 Sasa Z ‘que puede gonorar la race xevyz Dehecho,panegeneraresafraseatravésdedosétboles deandlsis sino distines, como Se muesua en le figura Cl. Observe que le figora Cia ‘omasporuie a una interpreta etl cual a veracidad de toda Ta frase ddepende det veraidad de Z,micrras quel gua Tb cormeponde a una {nterpretaion ena cua a ae puede et verdadere sn uel 3 Z. ‘Ctra gems incluyen la ectructura de programacién comin deestrue tras then ese anidadas en la cua uo gramsticainadecuadamente cone ltvida puede perntir dos interpretaciones dstinias dela estructura Athan it Bthen Xele ¥ {Seejecotard Y coando Asea verdadero yi sea falso,o cuando A seals, fin importae 3? ‘Se dice que las gramélicas que presentan estas anomalas on ambix ‘goat. Bitd de eis declr que seela una farea frustrante construie un ‘ompilador para un lenguaje de programacion basado en una gramdtica [ambigua: dada la estructura thon sloaanterior,no se sabela quécbcigo de maquina generar. Por consiguiente, hay que eliminar todas estas mbigiedades antes de inemtar desacrollar un compilador para el lea- igoaie Pordfemplo, a gramaticasembigon que semenclondantesse podea Suttulr por ‘fnse> + 6 rine» ‘irate eltosasy 9 dra, ‘trates > ctonmano > 7 drase> ‘Stamina = ‘thimina> oY ‘tétminey 92 dependent de cual dels dos poses ilerpretacones se dese. "Por deogeacia lo gramticas para os lenges cde programaconactuales son mucho mds complicadas que ete seell efermpo, por lo que es fc (y frecuente)quenandhissineuitive pase poraftranbygoedades utes Lo que senaceiaes tn procedimint utara qoe,aptiado ala gramstca deste informe acerca dela ambiguedacesenstntes. Fn otas palabras, que ‘ecesltamot eso algoetemo para detec clelerinavagramdicaindepen- ‘ent elcontextoes ria Siyembaryo esonoes posible sebarstrado ‘queelprabloma dedelerminarsi ana gramatis independiente del contextoes ‘inbiguaes un problema sin soci tes yk JIN . tase > /\ UM Des Abin te anda sitaica pure aca Ko V9 2 Fawaest916 eNDICE © ALCuM ROM EMAS MCATANTES 8 GLH C2 DEMOSTRACION DE LA CORRECCION DE PROGRAMAS ‘Conforme el vaftaresehace mas complejo se aplicea slaclones coda vez ‘seria, su correcta se corvette en wn aspecto dominant in varios ‘casos 3e a mstrado que la vericacon con Gatos da prusta no ate la ‘itidumbre requerda lo que se necesita > una Rema para demowtar de ‘manera rigurosa la eactnd de wn paquele de software, Pusto que estas -demostraciones pueden converse en alge tan compl y tein coro propio software, nos gustan desarllar un sistema atomatizado pata Tievarta cabo. ‘Laclaboracon de tas técricashasidoeobjetivode muchas investigado- res nafs ceciones,y se hn logrado ders avances, Uno de lon enfoques Jmportanis 6 entiiatformalmente el efecto que cada estructura de un ‘de programacin tiene ene esado del ambiente del programe duran Ie eeruckin. Por plo, st pai efeciuatee alg enunciods aoerea dela varableY antes de eur la entrctira de Pascal Xn Ver ‘entonces se pra relizar al mismo enunciado acerca de X— 2 despute de ‘ecutarlnesinichrs. As srepresentizamasclamblentedel programe como su colecin de enunciados, mada aserciones,entonces esta observacion rosdicecdma hay quealterat as aseciones querepresentanalamblesteeniss de djecutarel enuncine deasignacion pata obtener el eonjunte de asercones ‘omecto despues dela gecuciin. DDeestamaner, as etrocturasdeun enguajede programactindan oan 1 reglas de alleracge del ambien as cuales pueden empleaseen frtea [parcial replasdeinferencia en un sistem gio. 5 comeneanda con el ambiente nial deun programs, pedernos deriva l ambiente ial deseo aplicando las reas de akeraion proputsas por ef programa, entoncee osiemee legara a concsien de que el programa ee comecto, Ast lo la verficaion del programa se canvieneen al pareidnal procera de demos traci deun tecrerey, donde oamentenicalddprogeartaesandlognauna culeccitn de axioms, la rhs de stteraclén son andlogas a ln plas de lnferenciay ol amblente ales andlog aun teorema. “Esta aralouia com [a demostracin de un teorema debe deaperta Ye sospecha de que Io area de verilcacin de programas en general er un problema sinsoluciés.Porlo cagular, nos gustaria sister que vecars Tos proyrama correcine y rechazata hos Incorectn. Sin erbongo, este sistema nes poste. De hecho, el eotema de a incomplecion de Godel implica que est sistema ce propésito general debe falar ela detcciin de ganos programas ineorsecas, T ; baer En caso de que lector na se encumntrelodavis dispuesto a aceplar la carencla de solucion del probleta general de verfeacion parts de esta Shalogia intutiva con ia demostraclon de teoremas, venmos Ia trea de ‘enlicacién de programas deste otra perspertiv. Uno de les principales ‘componentes decualguler proceso de verifiacin de prograteas es rostiar ‘quee! programa termnard Snembargo,puedeVerse queestono esmds que ‘problema de Ia parada dstrazado, Stel lenguaje de peogramacon te ‘peel pad para caleular todas las funcionesrecursvas parcial, como cade con sencilla lenguaje que se deserols en al capitulo 4 entonces ‘no erste nngon algoritmo pars delecar ils programas se detendrn en ‘ee lengua Por ie tants, como no se puede resolver el problema de a prada esto nos indie que el soeno de los ingenioros de software, en 8 Forura nis general es imposible.APENDICE D Acerca de la complejidad del problema de comparacién de cadenas En evteapénuicestestra objetivo ee montear que cualquier woluckin (em. ‘leando ua mui de Turing de cna uca) paa cl problema de mys Faeion de cadres presentado en ceapuloS tended una compleidad tempo- falqu por lomenns es una expesioncundrtica den, donde mesa longitud elas cadenas de entrada (ecuere que en este problem de comparaciin se tenia que decides dos caderas de [x ye gual longi eran ident 195 ‘deo a reystran en to cinta de una dqulna de Turing, separadas por on “otedaco). Pave lograr nuestro objetivo rom apoyaternes ene concepio di Secuencia de crc porloqoe explcareawos ete concept aes de procede, ‘Dada ona muna de Turing (nla cual imaginamen que las celdas dea ‘ila estda numeradas delequlenlen devecho,comercando poreninero uno) ‘yun eftelo dedicha nSquina fa gecuenca de cracede i eeiaidela cinta eon rghtro de todas lr voces que la cabeza de Ia cinta ha eruzado Lt Frontera entre las cease «1 dnote os cculs. Ete registro ge mantine ‘oma unalistadectaon-cada ver quelacabezacrora lafrantera, eetramos Lestat dela ending que se presenta inmediatamente despots de deur Ta tears, Ast sabemoa gue un eleulo dterminado comenz6 cam La ‘cabeza colocda sobre la cea do extrem izqulerto dea cn y que prondu- pls seca decree fencer quel pn es ‘guela abe pet dela coda atacelds + ta eniguina pasbaletado 4, Mis {ade, cuando a cabeva reyes por la tec a la celdaj iain pasta ‘stado dyer En a figura D5 presenta un ejemplo nis deallado ‘Defines Ia longed de una seeumncla de cruce como ol niero de ‘entradas enlasecueneia. Essensa verquela soma de as longitudes de todas is secuenclas de crac pars la dstinns eldas de la asigwina equivale al ‘limerocle transiciones demovlmien jecutadas por la mnaquina (saponin: ‘do gue lo culos no trmisronacrralments)-Demaner® cepacia, esta Suina proporcona um Krnte mfeaoe par Ta complaidad Yerporal de los eile.{329-02 ABEHCADEACOMREAOAT EL PRERLAAE COMPAGNIE CAS Babafros, “0 .94-07-0 Socunca dooms [Nimera de colin {dada nesorigaactin l 248.) 7 Rant 3 Ba 5 wa Figura 0 Dagarade recor para ova wigan ce Tung Yin secueteia de ence comerpondnt america x ‘Otro punto quebay queseatares questa ma soncadenastalesque ty, = Fat ry una maquina ce Tuc oceptaoo, yi, cn eles «que producen sceuensan de craze énton en Incl | +1 (elds que contine el ultimo sinbolo ex wow) entances M debe acplar también fa (arden wz, Los cileulo realizado ft las elds 1.11 Tal proeese 7, Serian los isms quese efectuarian al procesary ala vez queloscoslos dectoados an la cedas 1+ 2 en adelane soian aléticor a le que eeutaris cuando se proceara Incl ey ‘Ahara estamos prepacados fara demanizic que caliger saucy para nuestro roe de cepa cues, penn maquina de Faring (de ie ia), debe toner ue compe Wael qu a expr euadrck sen, donde esa lng de cadena de ent, ‘Sea M cualquier mquina de Turing tal que L{)sea l lenguoje que «onsite en tdas as cadonas deforma ww donde rs wna cadena i 2h, Para todo n © R200 el subconjonto de L(M) que consist en las ‘denne dela forma ar, donde Tl =m Mostraremos abs uelalangitod Dromedio de toda lo eSlelos de M con entradas de, lene como mite Inferior una expresn cuadvatica de k- Dy aqui ve desprende que Ia ‘ompljidad temporal de hes, po lo menos, una expresion euadedtica de ' (el unclonamiento de Men el peor easono puede sr ns rapido quel Oy tals que a) >¢f +8 ya que podemot ample ‘Gesiguldad anterior de a mone iguente 0 ( oe sn+ Sh Toque nuestra que A,() ene como line inferior una expresion cuadeética dion, como ve pant. ‘Baserns entonces a mostrar que para cada jen (, 2, canotaniese > O¥2, ks quest ><) hy Pata cada en (1,2, -~,H] observamos gue para un minima de ds teri de los cadenaa avon Woe edtelos dM dotanie la aeptacin de producen una sacvencia degraceenlacelda/ que nstiene ura kngitud mayor {ve 32,9 (eno fuera as exitrian 3°! cadens en W, que produciean ‘tevencin de crue de longitud mayer que34,) ena cela’ yentonce, 3° 130) ¥ ester a> “fl lacuales una contradiccin) En consecuendla parlomenos3”'denasen Levan a seaoacis de crue de longitud no razor que 0) ‘De aqut se qos muchas eadenas de Wi, flevan a ta misma secwondia ce cre parata coda ike el nameto de eslados en entones 22) eden condo mucho I secueneins de crucediferentes con langtud 1 por tao un ube desecvencas deere diferente can longitad minima de 34 () Sin embarg, ‘tr suma no es mayor que (3) + 1)(), quetiane come limite supener (ioe (ete weno toners exsen pore nas = cadena en W, que prodcen la nema seevenci decruceen laced (ens Ferlauend cen mee ein rs gare cmd q0034,(09 90 eta secon). “Akor afinramon qe (e fo contrario,existicin mis cadena en W, que Hevaran a la misma secvincla decruce para la colle que cadenasen 20 delongtad ni Poe totam, existirtanexdenas eierenes 2,7 32, de longum, donde Is | Sri. paraioscialesw 2-00, yop, producun a misma sevens de cruce par al emplearse como entrada de M. En conseeuenca, por Ia ‘bseracion quepreceesestademestracionyM lena que aceptarlacadena ‘ei lunes na omc} cargo altima desguaind implica que Sins)

También podría gustarte

• The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good Life

  

  De Everand

  The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good Life

  Mark Manson

  Calificación: 4 de 5 estrellas

  4/5 (5811)
• The Perfect Marriage: A Completely Gripping Psychological Suspense

  

  De Everand

  The Perfect Marriage: A Completely Gripping Psychological Suspense

  Jeneva Rose

  Calificación: 4 de 5 estrellas

  4/5 (1126)
• The 7 Habits of Highly Effective People

  

  De Everand

  The 7 Habits of Highly Effective People

  Stephen R. Covey

  Calificación: 4 de 5 estrellas

  4/5 (353)
• • Revistas
  • Podcasts
  • Partituras
• The Art of War: A New Translation

  

  De Everand

  The Art of War: A New Translation

  Sun Tzu

  Calificación: 4 de 5 estrellas

  4/5 (3045)
• Orgullo y prejuicio: Clásicos de la literatura

  

  De Everand

  Orgullo y prejuicio: Clásicos de la literatura

  Jane Austen

  Calificación: 4.5 de 5 estrellas

  4.5/5 (20551)
• The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good Life

  

  De Everand

  The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good Life

  Mark Manson

  Calificación: 4.5 de 5 estrellas

  4.5/5 (20066)
• The Handmaid's Tale

  

  De Everand

  The Handmaid's Tale

  Margaret Atwood

  Calificación: 4 de 5 estrellas

  4/5 (13228)
• To Kill a Mockingbird \ Matar a un ruiseñor (Spanish edition)

  

  De Everand

  To Kill a Mockingbird \ Matar a un ruiseñor (Spanish edition)

  Harper Lee

  Calificación: 4.5 de 5 estrellas

  4.5/5 (22958)
• Pride and Prejudice: Bestsellers and famous Books

  

  De Everand

  Pride and Prejudice: Bestsellers and famous Books

  Jane Austen

  Calificación: 4.5 de 5 estrellas

  4.5/5 (20479)
• Good Omens: A Full Cast Production

  

  De Everand

  Good Omens: A Full Cast Production

  Neil Gaiman

  Calificación: 4.5 de 5 estrellas

  4.5/5 (10913)
• Remarkably Bright Creatures: A Novel

  

  De Everand

  Remarkably Bright Creatures: A Novel

  Shelby Van Pelt

  Calificación: 4.5 de 5 estrellas

  4.5/5 (5680)
• Never Split the Difference: Negotiating As If Your Life Depended On It

  

  De Everand

  Never Split the Difference: Negotiating As If Your Life Depended On It

  Chris Voss

  Calificación: 5 de 5 estrellas

  5/5 (3301)
• And Then There Were None

  

  De Everand

  And Then There Were None

  Agatha Christie

  Calificación: 4.5 de 5 estrellas

  4.5/5 (8975)
• The Hobbit

  

  De Everand

  The Hobbit

  J.R.R. Tolkien

  Calificación: 4.5 de 5 estrellas

  4.5/5 (25199)
• Art of War: The Definitive Interpretation of Sun Tzu's Classic Book of Strategy

  

  De Everand

  Art of War: The Definitive Interpretation of Sun Tzu's Classic Book of Strategy

  Stephen F. Kaufman

  Calificación: 4 de 5 estrellas

  4/5 (3321)
• The 7 Habits of Highly Effective People: The Infographics Edition

  

  De Everand

  The 7 Habits of Highly Effective People: The Infographics Edition

  Stephen R. Covey

  Calificación: 4 de 5 estrellas

  4/5 (2486)
• American Gods: The Tenth Anniversary Edition

  

  De Everand

  American Gods: The Tenth Anniversary Edition

  Neil Gaiman

  Calificación: 4 de 5 estrellas

  4/5 (12954)
• Freakonomics Rev Ed

  

  De Everand

  Freakonomics Rev Ed

  Steven D. Levitt

  Calificación: 4 de 5 estrellas

  4/5 (7866)
• The Hobbit

  

  De Everand

  The Hobbit

  J.R.R. Tolkien

  Calificación: 4.5 de 5 estrellas

  4.5/5 (24587)
• Habit 1 Be Proactive: The Habit of Choice

  

  De Everand

  Habit 1 Be Proactive: The Habit of Choice

  Stephen R. Covey

  Calificación: 4 de 5 estrellas

  4/5 (2558)
• Habit 3 Put First Things First: The Habit of Integrity and Execution

  

  De Everand

  Habit 3 Put First Things First: The Habit of Integrity and Execution

  Stephen R. Covey

  Calificación: 4 de 5 estrellas

  4/5 (2507)
• The 7 Habits of Highly Effective People

  

  De Everand

  The 7 Habits of Highly Effective People

  Stephen R. Covey

  Calificación: 4 de 5 estrellas

  4/5 (2570)
• How To Win Friends And Influence People

  

  De Everand

  How To Win Friends And Influence People

  Dale Carnegie

  Calificación: 4.5 de 5 estrellas

  4.5/5 (6534)
• Habit 6 Synergize: The Habit of Creative Cooperation

  

  De Everand

  Habit 6 Synergize: The Habit of Creative Cooperation

  Stephen R. Covey

  Calificación: 4 de 5 estrellas

  4/5 (2499)
• Good Omens

  

  De Everand

  Good Omens

  Neil Gaiman

  Calificación: 4.5 de 5 estrellas

  4.5/5 (12042)
• American Gods [TV Tie-In]: A Novel

  

  De Everand

  American Gods [TV Tie-In]: A Novel

  Neil Gaiman

  Calificación: 4 de 5 estrellas

  4/5 (12520)
• Matar a un ruisenor (To Kill a Mockingbird - Spanish Edition)

  

  De Everand

  Matar a un ruisenor (To Kill a Mockingbird - Spanish Edition)

  Harper Lee

  Calificación: 4.5 de 5 estrellas

  4.5/5 (23062)
• Wuthering Heights (Seasons Edition -- Winter)

  

  De Everand

  Wuthering Heights (Seasons Edition -- Winter)

  Emily Bronte

  Calificación: 4 de 5 estrellas

  4/5 (9974)