INTRODUCCION TEORIA »: AUTOMATAS, LENGUAJES COMPUTACION ‘sigur COMPARIA EDITORIAL CONTINENTAL S.A. DECY. ‘MEXICOCcovag by Aig Wey Publishing Company, Ine Pier in 183 oy HAUG ek : PROLOGO nm 9 7 sore aes eR Hace ee atos nce omprometimosa produc ulibroquesbarcara material ‘onocido sobre lengusjes foemales,teorta de autématas y complejdad ‘omputacional En rerospectva, sSio unos pac resultados sipnietivas acronignorads en toda sus pins Al esrb Un nuevo tbo sobre la Inateraencontanoe que el campos a extenddo en ita iesciones noe- ‘Ts que trtr el tema de ranera foal y unforme so hace impeible. Mis {Ge intentar ser enllopclcos, hemos sido déscos al eta et materi, ‘Eiecionando slots teas cntals de desrtlio terico del eapo oslo Tosque tienen importaeia en as apiacones de ingen, ‘Durante ls pasado die ator dos nuevas drcecioes de invesigacén han adquiido extrema importanc. La primera lo consituye el wsode coneptcs de inteorade enguae com el nodeterminismoy las jrargtas de compljidad, pata proba Ios insesifrires deta omplejiadinherente de cierospro- Freres précis, La otra ba sido Ia apiacin dels ideas de Ia tcoria > Tengu, como las exprestonesrpultsy las ramiticas libres de contexte Claseho de sfteare, coma cuapladares y procesadore de textos. Armes ‘esnrollos han ayuda 3 dale forma ala organvacén de este bio. {Us0 DEL LIBRO Para un cusode nivel superie, deben consular ls aco prmeos capitulo, bee ambighedad inherent, ene capitulo 4 y ‘iguns partes del eaptlo & Lo eaptls 7,8, 12y 13 foran el niceode un {so sebre-compleidad’ omputaconal. Un euro avanzado en teoia del fengusj puede elaborarses part dos capitalos2a17, deal yeoa 614EuERcIcIOs Los problemas ms ities estén sealados con dos astorisos yo de difiea- ‘ad intermedia Henican con uno slo. Los eric mareades con una S tien su sola al final dl eupitlo. No heme intentado proporsonar un ‘manual de espusas, sino una breve selecsén de ceriios cya olin sa paniculamenteinstrictva. ‘RECONOCIMMENTOS ‘Agradecemes 2 las siguientes persons ss comentaroey consejos oper ‘nos: Al Abo, Nisim France, Jon Goldstiaa, urs Haetmanis, Dave Male Fred Springses! y Jacobo Valdés. El manusrito fue magniieamente ‘mscanograflado por Mae Oitony April Roberts en Cornell y Gersee echt fn Princeton, Ithaca New York Princeton, New Iesey mao 1979 JER. DU. Capito a 3 13 pido 3 CONTENDO Petia ‘Grfoy tole : Prot indus . Relsiones Sep dive = Acts tony xpos egalaet ‘Sistemas edo on Detalles bas ‘Reto cic Beprnoneeprrs ‘tam on de x dcacoes tna rai Apter deo an Propiedad de os conjnton replies Loma de sondo par cnjsts elas. ‘Propinac oceracra par coin relate. nt doin pa con non ers {Tercma de Mil Nera minions ionCoptute Cade pias Granites red con Gea dees. ae Spiess de potica ie Stoo ena Forma somal de Chomsty 1 Forma norma Greta i ‘ated eng esd concn inbesioncnis vibes 108 Antiate de pti sein nora wm Defiance : : a Arata pamicta ype ies de oie a Propiedade de oslo res decent Lema desndeo pare Cs. bs Wepch eceaepu z i Migs de Tin, Novel seein og ie Leura compar ie ‘Teoma uence sos ng st Molander magi eFog eet piece Charch : 8 gues de Turing camo corer ca Miquion de TaringesingSan qsholnt st dso bso" 83 reat Prolema = 1 Prolene dirname ds gin de Taig vir) prone. 198 “Teton de ie ier oo oso ie. BB Inside pons corexpondec de est a Gui vloy to vier Ts perenne ‘apr pcthnes CF as Indo tor ss icine cs a Gist drorec Be LafernpindeChamaty Grama reps m plat 10 ian Capito. Capito 12 opiate na 22 ie Gratis eign. engujsseses slants Relisions ene tipo dengue. Leng determine de content Forms normals ars DPDAE (Cyd dees DCFLacon epoca canis, Miguios de predion Poplin do cerder sions doo BCH ‘Propiedad devin dos CFL Grvnains £0) ‘ramsteas ZNO yc BPDAG Grams 20) Propedates de crmura efi de egoen “Trlr tos complain ‘Talomacones de mduinar sic ‘tts propiedad corte pars oe Parise eganje Ieipeniae pct A “eova de compli comput Define. ‘cera tinal in de iia reduce cnet name dete ‘Teovemar orang. Relacones cnr media Se sojiad ‘Lema der la rarguln mo ctr Prpiedader doa media tmp oes [Gores epi serio wi. “Teo Secompiiad sion Problema tntaes “Tempo cpio pines ino co Prblonss ESPACIOP clear Problema comps ara yESPACION iia. ‘igen prelaasdamonablemente oo aac, Lattin 7 rr pala ain odo ites en asa cpaidad pra determi opt Carter pips er cine de engaje mi Aricnats de presi mstiares BBR SSERERES a8 i»142 Ast de pi 14 Seton dor igri rere PRELIMINARES, En ete capitulo revisor Is principales eas maemdics ncesaris para Ia emrensin el trl qos pesetaenel ie. Estos concepos ices ao, ‘ito, conju, relacioms, cadmas, lenges abarciose indcen matems tis Presentment reve inode a to y ba motiaca yrs Tecra Elev ue pose lax been os mas ematendicas menionados pod sar Gictamene assign 1en donde encontrar oservacionesy coments ‘emo, 14 CADENAS,ALFABETOSY LENGUAIES ‘Un"simbosesuncotidedabiraca qe eiiemos dea mismaranera gues ‘imceplode punto") “ine, nosedetinenen geomet Laslrasysiosso0| ‘omplsdesimolosoxadoseon eeyncia Unaadena (polar) esuna stein Fniae ntelos onapuesaePorejempl.a.byesensitolos,yabbesnacate- ‘a Lalo vacate ques deta camo i selnimerodesinolos gue Componcacadena Pore ae neon’ Lacadenavaci, dents por {neta cadena qo conse en eo silos, Por ano, =. ‘Ls pefis dun cadena omados prs pemeos sins de os ufone himos Poreenpl, inden abso como pres aby ae: ‘uruljer on eee abe Un prof aij dura cadena qe noses lisa ‘aoa en pei sai preps. Ta concaenactn de doscadenas sla cade que se formal ecb primeraae Sepuladla segends sn qc haya cepcio ene cls, Poreiempo,lnconcatencn (pero cata ex perroasn La yuxapesein e alsa como ol eperadr de ‘anata, Estes yon cadena, eaoeeseresigceestnaon dts os cadena. La cadena Yokes aol paral operadir de cocaeacin E> ‘cle ew awe = praca cadens, ‘Unafaberoesan conju fino destnbolos, Unga ormal en conn- to de cadens de sions tras de alg alah. El cnjo vei, 2,9 ‘raja Frmao pra cadena vars (e] son ngs Nese gue nieces ‘io iene un cemeat, mitra qe primer no El ont de plies (adeas gue see gal de nga decay cevera) soe late (01) ‘sunlengs nino. Alganeslemeotes de ex age sme 0, 1,00, 1 scansoyen coectvamenta paride on als. ‘Orolengajeeselconjuo de caieas re natal fo. Denaunasaeste Aenmae corno 3 Por empl, st = (a}-enunces 3* = (ey 4, a n=). $i Ee [0 ventonees2*= (ey 0, 100,01, 10, 11,00, 12 GRAFOSY ARBOLES ‘Unf, dncado por = (cose en unconjan and vétce (ona) in conjato de pars de vrus Hamas ante Ens Fig 11s et ya. Ean = (1,2,3,4,5} 9 Pett modems ‘Una iayctorienm graf es una sevens de wie Yon ek Lh gue xine nant, )Frceada i 2/2k La lop daca es) Po ‘jompls 1340s uabapectora nel ato laFg 11como trin es por mimo. ty = le eayectra sro rato iis ‘Un pf iri digrf) au tami se dent coma G =(V. soit en on ‘tuo finio de erizes Vy nconjat depres rdeadoe de vrs ads arcor, Denoames un seco daw como ¥ > Enla Fig. 1.2apreocuncjemplode ‘in dialo ‘Una rayectricnun dato os ra seen de Eres, sp 2st ‘ques, a, esiarc pra cada, 1 St< k Deios qu a wayecoria es ese», fy, Aatpudh 9203-24 es uma enyectriade 1a ene dito dela Fig 12, Sit weeun avo, ina quevesunpredecesor ew 9 qo wean SEE, 12 Digs NOI EDD Arboles Un dol esritmene hablo, un tii y odenad) es isl que os sspears popes, 1. ris on wi, aad rae, qu ne prodecsees y dl cal pate una Anyestora alae vere. 2, Cad vice, dient 6 laa, ene exatamene un pede, 4. Los seen dead re etn erdeaados "a par dea ie" Seder dijo ols con rae ina todos os acs apurtando ‘i tj Las chs dos aos, porta, nonce india aie no ‘inard Lorsterores ata vere se linn degen drecha LaF 1Simsract ejemplo dun ta gue es un daprama dea oi "a pda zo oN wl Nealta sobre peo perso” En et eempl os venice se nm, {qe sex una sgust que ped ser ua pla 9 pars dl dics, xis una temo especial yor los bls, que die de aero ‘ese ulisace on rfc, Ae sues ew vce se ana io al decane pide, Seite ya ageioa dl ee a venice veces ce fhvv,evelanceur dev, ut ese decent de, Noes qe os ene ua Tglapara clean =v culguevreesunaneesvo descendents ds mismo. Un vice que no ose js Se cones came hoje os oo és es Tima ze irre Poreemplo. cola Fig .elvérce contac es Tdelvéniceqoc tere lng casvrba>, yes dlumoeselpare dl primer, Etserie con In ties "por es n scence de miso e tie coo I ‘uta ae vera, el vere qu pone lactiqueta oracin> ove sl veces ‘nit Los vernceseagutaos con pla oad sonlas ois, os qt {lal on pore el ern ene paras son os Eres noes 13. PRUEBAS INDUCTIVAS La pst de muchos de ot tomas de este Ho se hae median inducin reece Supdngse qs enros una popscin Pn sobre ete negation, Unejemplo ques iia con frecuencia es tama (com> oa) mica qe Pn vale pra n= 1 ‘laconic en ua picandutvsoleconoze como buseyalacoicién Sona ne Lapmengurte ees) seoaecnohsess Semplo 11 Probemos (1) mediante idacisn matemiia,Esabecemos() ‘tendon ga aeemen(1 )yobsrames queceambosladsdeaecwcinse iene eo Para proba, sostisos m1 poe me (11) ¥ataos de probar (1 ‘enad oben, Es dsc, deberos estar qe pa > 1 So Won page $= MO MBH {esteem cepacia dingo Peso gue fo n=, él nscsstmos mostrar que (r= on) ge nt AD © 6 Lasts guldat sige ua simple manips sac, conto que ced prota (0. 14 NOTACION DE-CONTUNTOS Suponemas gue car eno cancel de conan, ua exec de tos Eeetite decs conto) sin epctin, Las eons nos eden epee (eeetoan a de sus eke, Po ejemplo, sams (0, 1} para dnote Ufa do nbs Oy También especiicamos Tos conjantos com un fermasr Somes fe {POd (12) xen A1PIO 03) Layoposiig (1.2) se eel anja de bets modo us Pera (oe Pe gna propor soe os objeos x. La propose (1. 6“ ‘hej de bjs deteojum Adem que Pes edad eseqans Stele y resem A) Force: (ites ema yest nemo de modo qe = 2) ‘suns manera de specifier el conju de os ees ares, "Seats clamena de eseloment de, entoses srbios A By dros que eacntntioen A> Berbomisno qe B=A.SiA SB pera Hes doc, ‘Rideimemo ded een yexitealnelemesto de qvenoetienA;enioness bsomos $B Losconnie Ay 8 son pals sine osmimosclemenos, EsvenA= Bay soi =ByBS A ‘Operations sobre ts conju Las operaciones habitual que deinen ste fos coxjuis sn: 1, AB, natin A con Bes (clseusen Ao reson.2 ANB. latwerteiin de Ay Boe lu xeasen ay seston) 3. A-Bytadierencade Ay Bes (x |xeuen Ay xno eaten) 4. AB, elproduct cartesian dA y Bese comune prs odes 8) tes que aeten Ay besten 8 ‘5. can poencia dA, es conut ormado por ado os utc ounos aoa. [ies qu Ay denen nym lento respeivamentenones Ax Ben mm clement 2 ene elements Conjunto ints Nacsa inci, cuando nas extenders canna infinite, puede sepa, Doseonjutoss, 5, denen amismacardinada (mero de miembros) serie tnnsomacié uno uno de lemento de Sa, ran conjntosinin, e8 ‘uncenjuntopopiot ds, emonees Sy ese retrial, Sinema, 15, y son fio, na propesia oa srs Se, ojo de fos ‘ros pars 5 conuns de aoe os entre. claro san salons ‘op de 5, Noobsie, S95, uesen ama cadalia. posto qr aun Féin camo 72) = 125 na eastomaciin no uno dos ees pres 1S No tos fos conjios finns nen ts misma cardia. Consiee eb ‘njuto detados sents de odosio reales Sundog lean dels reales pd ponerse enum earespendeteia a on con lo neon Eanes ensiereel miner rea cay imo digo dest el pono docile el no ‘digodelésimorcands Se 10 Exe nimernealnopuadcearenconespondete Ean une peso que de dcx rel qua so wanton aumento. De loaner, codeine qc ls als no pute situa ea ua coespondenca de 1 Stee gemma. #8. poate conta entero, De manera inva otros qv exit demasiados tes Iva hacer. La eons eka mi raw conoe como dena ‘Conse ua hearin span en Iceni dela compuaci, Los conjnts qu aden pone n compo no uno con oe se ice quson into conableso singlet conabes Los nero racials Yl enn 2 de as caeas de longa i, oad com tft 3 00 Ininosconbis. Eenjunid todos ls sutconjunsde Bye cnja das {ae fanciones que tansforman a fsenteosa [0 1) son damian gue Testealsy no son cones 15 RELACIONES ‘Una reac binariae conjuto de pres El rier componeni de cad prs ‘eradcunconjuntolamade amin yelsepund compen ead par pees uncool vez distin del primer) lam conrad Al peep so ‘ule lane ix quel domino conradomino snl mince S-Enewe caso demos que avlcnes sore 8 Ses ma ac (cou paren Renones con tecunca, etic ob, Propiedades dea relaciones eines gue un elcinRsabre Ses 1. reflerva si aa para tda en: 2 eflesva sas fl prs od en 3 rans siaby be mpian aes nrc a pies Re Saximérica sa implica qu Bas asa [Nese quo casa rel stiicn dbo ser ila empl 1.3 Lari < sabe el conju de fos ete sts pore achyhecimplcaqueace Erasing portanoinsfixiapengueacimpice quobeaes ata. aia Ma nn nn a conto sinabs sociation gear oe,Relaciones de equivalenla ‘Se ice que na ea Ru eres, mtn y wars sua elacin de ‘pulenia, Una pops soporte de ura elaine equa ce ‘inj Ses que vie a $e cls de eqialnca wo vats dsumas (ase ‘erate 18) 0 nee), Loantrosgwtca que 3=5,5, en Gnd prs fala yle 1S .05=e 2 yan chdnay bens, okbes verdes Spamcedaoy bens; ates aa Losconans $s conacen ome clases de eguaenla. NS que mime de ‘aes pots fina ‘jempio 14 Un elo comdn de uma reicibe de valencia to enstiane engusnis mds uncntrom Esebnost=,j 0 = Jmomsify json entros fales qc jes divine entre El etor pace comprotar einem que, relent wanstvay smd, Lar ses de quale d= sn en neo Dloms 2nd Cerradras de as relies oping ue es un conjnt de popedaes de selon. a ceraiara ‘sonarelactn fc lalacion mde pooata qu iclye a todosios pares ey poss taspropedadesde "Pore, laceradwavansivadeR denadacomo vest define poe 1, (at easenRerones a, est en 2. Sia Benen Ry th e)osten Ry emones ae en. 3. No ay na na menor qu sc ayo dees inc (1 y @). Deer tla evident qe cali coloeatoen median as regs (1) 1) te yenenece det manera peda no incu a Fo wo sr wana, Usa ‘coca paca ndtv ues, tb que ede Bach Wana. As inclaye a estas connect mismo nimero de pes qu cui eli ‘ge ncluya 9 Ry wa ania Ta eerdarasrflsiva 9 anita R, dena RR (aa) La estéen}. SOMROA «asmaree oH LHe —aore aaa FlemploLS Sea = (1,2,0.2.0,3)) marcaidn sobre el conan (1. Entacss R= ((,2.2.2.2,9.9). Be» (1, 94.24 C1.340,242.9.0.3) 14 SINOPSIS DEL LIBRO “Laciecindelacomputacinesetcverossematzatodelconcimintoconcerin “Teac Ses yen pios pose cone a dito de algorios por pare oetdsy del uso den complend asin y a reduc po os babilo- tins ogbn 1955) En acta, sn entre ners et modelo por os {nporamesevens-ladvenimintode lasconputasorsfigialesmodems.apaes {velar mochos millones de operaciones por senda, yl formaiaién dl socio de prodimint feo, qe ajo como Conecsncn ba exensa funsone proabemente no calles, Tracie dela computa consa de dor components principales: irs steany models fndaeatlessubyoente en el lc, segundo, is encase note pare! deo deistemas de compan, tno hardare como sofware, respec aaa neornal sno Epesre ios pens cono wna irra a piera ee, eis frames qu son fabs dt eel, gue tarenos Neves antacone sore a as nporantes nae. Tenia complain rica av bese vari campos sits den blogs ge eataiafon models par ar redes seals; el de fs incenirs eric, qu aan el said leet dela nteopcn cma ta aint pra cl det de hardware el taba dees matics abe ox Tamencmos def ity el de los Inga nla nes de as rani (ede os logs ttre. Apri todos eas xs aio los mods ental dela cine de lacompurcin tia, in sncepos danas yexpresionesrepurcs apulos 2 y 3) Fucron dso rill mens psc sees were loses de Incropeon Relentomenhanseredocome dlkesheramienasen cisco Sane Taadrs de xo, gazes pare dun comple oe arpa careers e token: tas indvibescomoor nombres evaribleyasplaasclve; Centon ‘Saitcmas complies dee ura anforman Je maces auc xpesioes ‘yu cn auton que serin uaorcome araladores xo Schuh ‘conrad arora rains expesines regulars os mats tases Etioves de texan, cononéancia de pases, eres jroesaores de ex y frogranas arabs archivos come conor mstemdcosconapliccin acs {Dea como pc, Aina leaps 2 einaremoslguas de as apices esa ere, Tanocic de eramitcalibe decent acoespondint de aut ep lene (coptoy #6) ban conta enomerent i eeiecin delengua poamacin yl dood parr ra pare cave dou compli. [as expecifaconesfrmses fos peoganas de compet han usu as escripcones de lengua extnsas con freuen, cmp oambigus El ‘xnimicno dhs capitis deanna daplanien tampa mucha lands gramatea Ps ineesanc eservar que el die de parsers fi ie ‘oblenapara os riers compos, y que muchos dels peaeros pases Fheonbasunteinetentesemecrsarameneresirictvon Abo tacks alues ‘in dlconocimento st une areal denis Bsns ela omcs ite de ante el seo de analiza de rami ya ean probs, sis ‘taal epsom rena bs del emp ulizado enw Copan oral En leaps 10 facemos wn eho de as principals forse ues rede consi paris efits qa se comporan ome sab apace pir de ciertos pos de prams hres cote "Enel capt? os enonatos con as mains de Taig y aos entra stunode ls roblemas fondamenaes da cienca dela campus: e es exien Inisincionsquenombrespar defer oq larie praca Po an, tos enrentamosa lest de fnccns que simplemente son asa: et ‘Geir, oes rograma de compuscn gue pueda er srt, dao un arrest pra a fein produz el alo func frac agimemto uncon par os orgie ole Supéngse qu arcane calculable ext un pogins de complain ‘oumaloro quelle ann qucualwer programs cago pus so ‘Specified de marr, De esa mers programas de oman no son ‘mds qc eae ints sinolossobre alain allatts into, Deal gare cj {0 d dos los programas de emul sea comalenent sit Cmidere shvafancionesustansformena lover ay -Siponga quest} detass Tasfoncioes dees tp ex conalement aio quale fncanes shin peso ‘stcamesgondenciacomlorencos Se futon cespundicn a ein ct, Eines fone 0 sAl0)=1 FO) 1) deci manera pe ate amore ¢ ger ge ong nani, [Ses case tua sees) 9) ens tron kanal ds ele rt {Sic declan pn tates woop sen Pasta eames a cel pekes le dpa ce lec on pla pce met gat! oa nga ek de teas ake waputageaintontpsinapctonst Sees tee eno sky onsen Ppt cnn oes geettnateansondes sicapyberonasss 1 Daeg eam gamete) ones ea Mis adams, en e capt 13,doserremos que exsn podem res & ‘prams qc mie aon nctcategeri Larsen ooh de lpm fre" desi a fae potandament en la fora de eloar mass protien. rurRerci0s: 14 Bo ehaatse ie 14 1) nea sna, eres 1) pe venicr ee ertpe ces? © lope vence rele de St {ener igen enyecrinde 1257 ofeeteg | velit 2 Satileclacomcatgcin eens, 4, Nigun cen ser pln, mene gfe verse 20,14 Las ents de ps enor pd define al mens, dds om 1 Unncdau ante aiben (0) et nace samen ‘Steeped mine de (3) 9 ‘yaa pedo ane menos a2 00) 2 Demure 3) eu cars aca entans alanceds, siwy tim anee cel ones teers ‘Demise cadens ent no rte tne hg ace ens 19 on #15 {06 na eta see Yt nc sole ck de qe tL neni een agen Sehr eis! Pao cman on len {tops es vn eda Supone hs proposes cone net semen etme cco con clone Sten ce cS ai SSCs omc nenen Pelee seine less Party clones Semen 146 Musi que le sg on licens de guile ys ates 1 Losin eo rs. fia eR, jay lot 8 Lasts ten gene aida pr pe 9 apy gmone amis (ere nmol decane at «) ulque eb qasen cna oad cna oho (0.232.3,6.44 (685. 318 Pocteqp cone ln einai le un coms Spat nies +19 funciona eam a ia sini ye, pon ut men els. Trjusccuanioseonsettaaegpenrosarobna lon dena doe {insure sural, telson Erie 8) 1.40 Pree qu ur ojo de un inj ni eae eo aio LID sto ie do una colesn iniconble de conn ifiins conabisinie ona fine) edu extern? Soles eer seeonaos 13 Esco ue cancun gua spina cancel eased {chy desi Sings ie nee dea mama Pobas por Indi se itd gi ue sone concen deat a1) soy sifeletvenescesesotua oun soosimbolony porta velaregn0)0(. Sie eatemnayemiconsinae panto me Tsien ugar) gic geen. sos pela (Ghe=oeecsunpuliaan. 18 _SeaRnsrain deogvalninteSy singe qieay scnclebsdeS San yEctclbee Denewemse gee Coe, ne ay toda rennin ey oe ae Ppriocnareren enhancecarmruto AUTOMATAS FINITOS ¥ EXPRESIONES REGULARES a0 ae sein, eos ® peek gt sano pee oe 1 mm vocenreeinae + om {Lt SISTEMAS DE ESTADOS FINTTOS ama fn cs un modelo mateo dun sss com ead sais Fray sus puede exe cilerade on cro io de configu ‘ean lex desta sume ainfomacin concent acids etSiows 9 gu ef neccarn pn decominar el conporaaent del sims para at os El msanano de conde wn ecradr ess buen emp de Seeded ens fms, messmo wo ever toda as demands ovis reer son cl pin ench ques encveea deci movimien (i8 tee ln atajo geet de demands de vicina no satfeches. ei sence la computa enenraros acs ejemplos sseras de “ecaos nya ela ama aio es una Gl bani paal so tate es Unpemercjemplocsun ceo deiner, como aia de ‘Efrat dcunaeneguadore Uncirodlnirpcnescompueso porary fence compara cadnaa decals puede estar et a. ds condiciones. ot crldcnatatas por 1 Esaxconconespodran ca sminoscletrnits ae alae ins en a compoer sid, El estado de una ed gone compres por loan una Ges" asgncioncs 0 Pat races comptas, soto en cada compere peda omar cualgse- recep devaes,leweutoceewéicoetsdvtado ta waters Tees tk do volajesconespondientes a Oy 1 son eaubles,ycrs ola ext medic, sano des volajs, Los ccs deinen ara enlowlmene dei nea, eon qe peda vss Comosistemas desde, separa, pore, seo gio de ra compuadorade lnimpemenacin elena. ‘ies popaas liza con feevens, com hs ete de et ot smalaiores do icogue se encuentran en la mayera dels nde, 208 ‘lsetadas como sistemas deena fit, Poreenplo, nanaizadadeixico rere tos sintelos dun programa computa pra ana ascaena caret ‘respondents en iad canst naas,palraseserodae8en, -Enestprocesoel ralizador de lsionecesarecord ete nneaniad na 4 nfomacin, como qué lng de unpre de una pula reread fa vio ‘ise liso. La wet dene atm rons lea macho en el deh de ‘ooesndorsecents de caer de ee Ugo y ots En a Solin 28 me ‘Sonamos alguns ees plein. Ta compuiadon mma pede evs como nsitna e etaFaito,aunque acres ost tand como users, Tesrcmet estado del procera ‘eal mmo pri ylmocenaminto sir ence state de Ue 90 ‘suo dean gran ime fist desta, Enos sonia yor supose eke unaerofp de isos, anaes clas, cota, cis, y quran posde tender a memoria infinite. Tomar na compatadra cio sss de esta fit, si ear, nes eas osalsfirtodo natemaemene. sublecun lini afc aeagueiad de merora, Yo no, no escapade ‘ptr aeseniael escomputie,Pracapardemareragprepads leneepo ‘compotion se necesia una memoria potent tints, toned aa lnsalucinsennia, Losmsinfiniosdecompundorasedsctrsnen os Cp tos y8 fui ena, ambi, considera creo mano como sea de {sto int. Ener cells cereals earmark, cuando macho 1° Pademsconscrar aunque existevienciade oct gulesalo deeada erora puede esrb medanteun aque mero bi, testo gras acd ‘lesudo nt seaplca al ero. Sinemtarg, el nerd execs an grande ‘gees po probable que est planzamieno tenga como rsd obscrvacons ss eel cerebro mano om ques soposons de ead it yuan ‘cater stoma de compan rans pr on, "al ver la raga is mprante para estas ssn dee iit sa ‘tur deencepocomofoincaelhcchodequssugeen renee y mie lugares. Es es unt indicacin de qe hemes eapado cl coaco de e tpo fundamental sistemas. unto ques een stacy places pte, Uneiempto ‘Anes de dtr manera fomal ot sgamas de ext nto, conse ua ‘jmp En noilegltdade nto seencuenen nombre, jintoconun eb, ‘bray wo, Hay un bas coe lcopsidd sent para levaralhanbey aun ‘lov ours wes El hombre con lnoly dons conpteror den eararcl o,6 tote pods vara no slgala vez Sin embargo, et hombre ej slsal aba yalactraen culled. comtoa seguridad quel bo secomedalacabe, Delmismomod,stlacabay acl sequen na, a eabase comer alco, = oshle qe se pda cruzar elo sin qs nada ea cao pe? ET problemas poste model observa gu alfonso pertinent et cn los oeupans deca cil espes de rea. Existen 16 sbeonnos dl bombo (ello (acaba (Gy tea (C. Un estado corespode al sabato gr Secncvenenarbea aud Latest ciqutdoepo rej sparadss orun gues, porejemplo 4G: er donde oslo ic en angie de {un denae sbocnjnt gue se oil tgueds del: lo blo oe ‘tin drei del gig eps el ubcojunte qu se cnaenaen olla ‘puesta. Algunos delos 6 estas, como GC, oe fas ynuncadeben cesar slsstona, Tar-onadaalsitemason as accons el ome Puce eda ‘coment abr (errata ocon acl ead). lesa ical SS LGCO ye ea alex LGC. En Fi. 2.1 0 meta ol agrana de ‘rns, Fret Dayan dtm lgecn ane ye Hay dos solucines del probe gtmene cons, come puede verses se ‘scan as uayectria go at eles nial ial ave ent dentode neta ote. Evite unc intianete rants de solos dents dl probe, rotedas.coneecpie dds molorancilsiniles Elsa dead io cde serconierago comoel qu dein sun gaint, el conan de ods Taseadons qu etquran hs waectrs que van et esa inal lal. ‘Ans de seguir alan, es recesao anor que hay a menes, ds formasimportantes nar qe ejemplo snerirexcaracteriticn de sem este fino, Primero lense nei fan general puede ater macos Seren, ‘seat qe pr ead rans exe ura asin inves sbecl mismo sno Toque ao mcelament suede en el eso genera Nese wath qu tei “stad nal aunguees aiicorl no spnca que lel deb termina uae scaleaza, Panos contr hacen tansicoes, porsfmple esa 1G-LC (el ejemplo anion, 22, EFINICIONES BastCas Un awit fio (FA) conse cae conn fio de estos y wn enn ‘wnscones de ext esto que edn sore sinols de endo da slfen ¥ Parncaasintolo di envaaxise exacament ura anscn a Pai ‘ids esta (postmen de ere al mismo esta), Un esa, port pers ‘Gewadocamog, esl eadosteileaelquclastintacomicza Algae ste ‘edn dsignaos como final od acepucsn ‘Denoumos foment sw aut fio por econo dein caidas "Au FA se wciaun gato dgin,comacio como digrama de ranscioned . 8. Fen que Qesen conju fino deenades, un aiabre deena 1.Seax= a pra séntoio aon ¥ Eanes 8 wd) =B (Bay. Terabigessiodatia 5 qn) = Sigg Sea iy) =P. Debosmasear gee Btsal= aya) Pow Usao=8Gpr9 porta rela (2) dela deinen As pus, tg ma) = Bay wa aconpea pa demote ue geo wn ea Fshy sion bq.) satot mesa da Sts la veaddelproposcn vedo monn deadline F Eanes, Stay 8)" 19 Baines cand gg) tox CERRADURA ef, conga foe da F ‘oorblenentg Sete encnse= mapulesnstnbsa SS) conte these Fsenaes eguaont, Sy conime mom essen” Ene ‘osetd s (ps)cntenenenaio Se oeieng, enone, eons tesa en 7.815 Gy Deontyen gy qo esden?enemesc0 8(9e) CERRADUA.(8(tgy wo, lea gue col CERRADURA ©) yen dee 8 ge)Ejemplo29 Apliquemos a comsrycion del Teorsna al NFA dela Fig. 28 En laPig+2-10hacemos un resumen de 3 (2) Paemos amb considera aig. 2.10 emo la Tuc de vanscn 5 del NFA sin tosicionese Como mean “Teorema?2.Elconjuno de esas finales ”sclaye 9, porgu Ete encvetra ny tmbin incloye a, porque la CERRADURA © (@)9F tienen un esa g, ‘ccm En ln Fig. 211 present cl dgrama de uansiones pa \ ‘Los lengujes aceptados por un aun Git se describe con facia mane spresionessimpeslmadasexpresionesreplares Enestaseceknnrodvemos is ‘operaciones deconcatenacionyerraduasceconjnt decadent, detnuos ase Desonesegulaesyprobamos queef tip de lenge sceptaos ors saa Fintioses precise etipo de lenpunes que se pusn dese conexpesones repulrs. ‘Sea .n conjuno fata de sinbelos yb, 9 comjo de cdenas de E* La concatenaion Bo, Ly denoiada como Ly Les conn {syle ea, 7 fn). Es det, ls eadenas de, eatin fotmadae means la cl oa Eason, sepuia dou een” ca da le combinuiones poses Detiase S\e}y = 10" paral =1 Lavcerradurade Kleene (samen ceradura) de 1, denotada come L*, exe conjn., eee 1 laceradura postin de, dentada por ¢¢€ ont eaten vanes decir L* denota pales coastuias mediante a concatenacidn de cise smerode polars de. L"es fo miso que" slo qe ahora seexcaye el aso de cero {Buabrancayaconeaionscinsedeinecomo © NotesequeL“cenisnes © 9 Eto nace, ‘Bjewplo 2.10 Sea = (10,1), =(01, 11). Eniooses f= (1001, Tambien, iol, (10,11) = (€, 10,11, 1010, 1011, 110, 111... ‘i S.ee unaalfateo,cntonces 3° denota a todas las ademas de stots de ¥,como ‘Sestbeci provismente Nese qucno hacemos dstnionenve Ecomounalabe $B como un ienguaje de cadens de logit I ‘Sea Ean alls, La expres regular sobe Byte conjunto que denotan 32 einen de manera cern como ge 1. @es un eapresin ela y denotaal conjno vaio. 2. © esuna eaprstin play denot al onjto (e. 5) Paracas en Zo cs an expres ep y Jnl lconjunt (a) 4 Sirysson enprcsionesreulares que demtan los lenguayes Ry 5, respect ‘ment mmnoes (1 2,8) (=) sm expresionsreglare ue Genta ot onjunos RU 8,5 y Re, respectvamens. Alesrbirexprcrionesrgulrespodemotomitrmaichosparntesisssyponemos ‘ue ten prordad sobre Ta coneatonci sobre =, oe la conestenaion dene Frida ses Po cep, (O(1)) 0) pucde esc como" 0, Tan evar abrevar a express 7" exetendo r Cuando sca mecsanedisinguit fhe un exprsi regulary cl enguaje dono por, iliarcmos £0) praeste ‘timo. Cuandonohayaligaraconasonesaulzarenosr paras expesiona eg res par el enguajedenoido po a exresion eu, Fjemplo2-11_ 00 esa exresidn regular ue epeesentaa (0). Laeapreio0 +1 ‘epon daslascadenas de cros¥ unos. Por tant, (0+ 1)°00 (0 +1 representa Stoaslareaomas cron yunos con al menos dos cers conseculves: La expresion ‘epular (110) denotaatolaslascadenade Os Lsque comienzancon | yo enen shscerosconszcutivos. Como pebadeloanerioretailhacer wna demestacin por infuceign sobre de que (+ 1 no lene dos eros consecutves +f An mis dada ‘lzunacadonaquccomieacecom | yqueno tenga coroscomecutos no pads parti ‘ha cadea cas, soos de wn 0, sense: Po empl, OTOL pe parse en sl010-1-1-Eauapariiin est guccualquees dese cadenaseaken (+ 10), Snomtogn emattonn sy remedies ES rctnccpennregda, Papen Ftc)9 Bla #)=8G.e)= he D Btera)=8,(q.a pang onO,— Uf) ya en Ble} conan 6M psn Fg 2.14 (0, Csr mycin eg, 4 fcanane crimes gpa see ane defen fs «Lends cennnor pnb) ape.» feces ‘eecta bree easyer ctiuraacon ea A) ep, {ive prt ea fate ma cdera e L), Sepa € ftps mjc eqn fone yn nor ents cn syn punagmay tO(cleaby cOtgutenr =e) alge Sete i eal ape 0 “LM coma ee. a ‘cmc Plea {€ASO2 v arr, Sean, ¥ Mcomo ene Caso 1 y consryase Ma QU0,E EB [alee enone Bet dad poe 1) B(q.a)= 6 (qa)naag en0,- U4) 94 enF ule) i) Bi.2)= (9, ii) Big.a)= A lq.a)pamg enQ, y a env (e}, acon de Met dia cna Fig 2.14). Cala yeti Mya ses ara uncon eicah con lg aeons Yea qf spa pol Rede jag etuctatocon seule au vex peruatayetnseogesdcrn alguracalnny que vase gf orto, 1) = ay [x een LOM) 93 eh AL) yL00)= Lt) bt com eget dene. CASO 57 «79. SeaM,= (p35 FD LM) =F, Costryase MQ. Gehl EB Wells nel qu Bs dda por ‘Bjemplo 2.12. Consruyanos un NFA pala expres regular O1 el Tomando carn leis que acstanos dent extacxpresionenreaitades OE"), Seques dolafomar,» ren donde r,-O1¥y ro} Elana para, we baie EF Potemos expres, camo cn donde r=0 ya, aint ps ti on m2) a Aswven.rer7sondonde 61 Unaimata paar,e¢ E Nise qlee daira eases nf wohe liar el mise NFA para, aunque ea amish exes, ‘ara consi am NFA pr, lic la cons de a Fig. 3.4 CConsryals estab g, 4 oe etn et miso Papel we gy Y fy EPEC. meats EI NFA qe restaparar so muetracn oF 215(a Parra ensuuccin de Fg 214), Eala ig. 215(0) somal etn Forsino tlie construc de Fig. 2.16 para encntarel NFA parry Ea fsa consecio se crear ds estos gg ae gan el ppel yf. relia moearaen a Fg 2.15), a praca de Terena 23s, en eer, um alprtmo para conver una capesiaregrenanstnatatn Sinemtrgy calor sone mpcarense ‘ue la expesénreglir se encuentra completamente ene parents, Para as xpesiones gules qm tenga parénteedundaies dhe deters ila presi es del frma p +9. p90 p * Loaner es equivalent a analiza framrcalmetunacadeas eu agua ie de conte: orn algntne emo és vera asa el Cap. 5, dade pee levare 2 cao de ura manera mas ‘een. Ara demos dmosrar que ada conjuntoacepado por un ata ito es sna por agua exes repul. Ee estado completar el culo que reson en Fig 212,Iie Met OO DLT OO ‘R218 hominem gi ‘Teorema7id Sites scepatoporunDFA,entnces snc pounaexqresio seule enesvacién Seal conjuto acepado por el DEA 4g) E64) Seat el onjno do todas as cadena x les ue 89,2) =4, 9815449 )=4, acl y ques pei gmt ini dex, ferent ax o €cntones PEL Beda, Rseselconpntoe oa ease soma eat ipa {sdelesado gal, snpastrporningin exo cay mimeo seamayorquck Nees _que con ia expresiin «pase po un esto» quereaos decir era y despots salir, Por {noo pueden sermayers que = Como po ext un estado oni Mayor (qn. denears seas ue toman de, 4g, Podemos defini Rr domanera asst ga [(lMae=a) Hey BI Vala a= a) ve) ifi=j en Informal a din de Rad ria, signin qu as ema que acon ue vaya eg 84, sn pe pum esa mayer que 4, Som 1. as ques eneventin en 8 (0c, puea psn porn esta ta ato como io 2 Woeompurstasporunscadonade (qulewna 4, porpriner vem) sepia porenrboméscofenasdeR!! (qu leva asf deg, dergrsoa , sinfast pra oun estado con mers may) spud orn cadena (qe ira Sideosado, ag, etetos demos qe pam cada #,exlncuraexpresa ela gue ent nga Ry, -Poceeremosmadan doc en ase t=O), es uncon id cacenscta una de uscneses © 018 fstesnile harness oxrbineconoay a nay ee ene =) enon (aan) eelenfnt dll ks ‘Gebiqeyng, Sones tia ime w(oe enclewo eve can0 Indaciin Lafienarccrsvapara 4, dataen 2.1) bo implcaslosoperndores texpresons rele wi concatciony coradur. Por lhipesisdindue. pra cada €y mens na cxpesn plan! alqueL( f=!) =R PAS! cs, rpm slack lees rust een net tr oe complet inci, ‘ara tina la prcta sl tees que observa qe 10 =U yaquer, presenta dotodaslastnyectriasde gag, Deagul qe) a end orn expe oul fn ttnt tnt Anta en donde F (440-4 o ‘Hjemplo 243. Sea/fclFA que se muesacn a Fig, 216 Las valores de ef pra tao fs) 9 parse 0, 10 bln en a ip 2.17 Sean zag cies ‘uvalencit eae as expesiones rules como i) f= sy (41 pn sinpifcar as exrestonee (are jeri 216) Par emplacement Flan, laespesign pre da pr HYP +s = EO:a8 sovomarns rinton vexransionts et Fassia 2 e217 odin depen cee 218 Demanca simi, os uvaete ryarhielatehs tes = (er OME Rocoaciend qe (4 0) es sauabme a (0) 9 oe 1+ (er 0} eons y= Wooler OL+t ‘otsercqu 0) (e+0)esegvalene a0, Apes, 0(00" (+O) Leseguna: tne oh st yoru" i erst a censuacva da cys lap ge +P cnt ry ehichatiie ea fe (0 HOe110 + 1Y00) + 10)" = amo HEI #0) + 400) ryarhirhites tris e+ IMs (0+ HOE) + 0 = or140.s pe Deastans re (0+ 1009) +00) ‘emo iso al aot income un id econ ue wa in ‘ow un cadado hacia ech ex caa movimiento. Leaprgamesel no ‘ermine al modelo qu peri a exisencia de mocha copies ea iad de ena y as pie ater acne anc silos Ea pu wads It ‘raricones que penne cambio desta in et simbolo ends © ‘over ace fac, Ora cxesn nts sperm ua ita n> [Gcayucdad de over ria lsirgerdacomo als deer, Us ata node ‘stanaurateasceome cone ausimaafn dedoe deiner, copa ina cadens (eenvadas uve lacaera de cna del eon deco de cin, ¥ ‘isn tempo acces on est de eeptcin, Votes qi un eta gencriacion oes safe pra urea por del aa in: un FAG dos aecones ‘Sto sce connie egdares,Slanene dus tpt pn leas especial de [FA de dos deccions qu es crmnsio,ycayacabera ita ccbe movese ‘iia ls iaguets on och on cata movimicuo oo pomanse sack) En Jos ern se oma nena on mova epoca Un aaa ini determin de doe drecione QDFA) cs una guns Mz (QB, drag Foca lagu Q. 5 Fs linen gua qos ane ex tna trrsormacidn de Ox uO toh) 8 & (ga) =iud)cnonces ehh estado. Turientoelsinbolo de ental iD A cmacaciesatopymucvesuesbrabacls ‘Gizglrda un catr. 18 (a) (, fe 2DFA cna cect ests y maces «bern haca a draw ae, ‘Cando se hizo a descrip del comporaneno de un FA de wa sc enteadmos 8a Q 3°, Eso conesponie avons al FA cama sera ut Snbolo osm canal deem, poss wit ypc it, Fe Eenepoes inst praia FA de os decks, ye LDF pe move Seale injuerdn Por unt, la noc de ead ges ee seibeado on ci ‘ela mayer mporanca, En gar denen extender 8 nsodaciemos cl oncepio ‘be descripciminstantines 1D) dus 2D. que dese a aca de eae ‘sada ya point de lcaters dead, Despina a ‘libel sae be1D tal ql, i sy slo Mpuededeglaarede dria ‘sting 3/,ca do mie, ‘UntDal sun catem de 3°03". La1D wg cn ln yx enon 3*y 600 ets ances deepen losses bach: 1. wees eae de cna, 2. gerelesudesctly 3. Iacabeza de ena eacvrra yen pine stmola de Sie dem cards Defines taetacién fosimplemeast sf se tesiends, med: t Laconticins> Levitaenlgncscioncacasode qu laabeadeacinase movers aoe al even igor de lena, NOs que oespsibh hese un me sai se cabera dca cha sali el exten derecho). Sm ie ria eanaiva de Exe, 1 Tyan 1 Fc) My Smpre aie pry praalg0asmt ‘Bets y= tw lage | wp paraalea eo ‘ens, cs acpi por sl comeaand el eso gon ea ita ei cancrnenl nem igure. Mf Gamers crema sR acmpo que se dl exten ders de acinar re temple 2.18 Cone an 2DFA M que e compo dea tr Suk Cae cso, Mf rept encode marmite fos qu bata det Sree visa deans ge cuenta dosunosentoncesse marvels sssdnhann econarncer che coals racessoel estado purl el arin provers posse seta, ods closest as § sduenFg. 218 of ek ee Bf tom ace ii iem Go 20h Racin det pane DEA ene Consiese aca 01001, Pus que esta iia a rimeraTD es ints Pas eb a spina TD ome gv lino ave et tooetnent ala deeb delete genlapeimeatD esen 1y 3( 128 4 Fats epunda TD cs O10, Conn dee fms eames pat scesenac Tal. Deagugad alent eva ura del aa ls lacinaca nesta de aceparte, Ports, 10100 essen MY sott001 Fig. Etta taboo: Feo: Eaten: [oidgat EC rovot E Flatts, ‘Una eps idl compra cua 2DFA conse en cna 1a ectnlagnesiclncsberaycfesaoqu logic verquese craton {orc ei nai ee tl i ‘hao ames de mover a abera Por mpl, en a Fi 219 50 preset ftniaa S1SDPA Qe non cm 1¢219 Congo 420 Henge? 4 Lista de etd por dejo de cada feta en unos se eno cmd sesuencia ado, Aras sah 2DF arpa sen. ngura eeecn ‘rrad usd ener nest rept’ ace st move en ms de ‘Eo manera DFA senda deeminisico earaca nce y porto pou ane cer fora el eae derecho. i ‘ue ose prune acs do lb scuecis cas coi cob wimer er scrum a ror, cbera be movers cia a dtc, Las faces posticsdeben se on daceone lems. Per no, os clement con ‘icin dm cra vinesi tos on niet ar opsentan ovina aca aged, Sia ead ‘Sacepnda cco os tod lar secon curds son de opi inp, ‘Seaice qu um sesame crizadg, yd e8 dase dng npr,n20FAco socrtcndorcenctt connie separ ar an is ye races crus ison pin de cin 0 2s Seay Ree er escent cra — a gar donee gucci cajo senda pr wh 7DEA” cos cana NA se ones on Ca pn como func de vance NFA Pine Sar on eign en neces rr . a win decna lo or conics snl i sm ar at) PP Pens ti SSD cen Spare ce oe sa cranes exon inutoyre too Se anecdote cur Sinema pen ca eas on cine eo sss 818 zd 1 pet aipaitmoeconeneraienog re a ones tales. De fas, - A erahiaa eaten ensesaso, TS ne a Sn Coenen pon obs ovat Src sro i en et sons ‘Sis ence con ms re — ate eine aan iis, mae es, toe cep ‘de pues de concordanciaderechay d= coneordanca oqurdat cme eT cin techn PPPS potest Siti pnsnn sm cera oe enn iy ra ssa oe dae emacs spmeneqeinneneskarranscoe eso dt anata Encactmanos Gente Giger deay Peseta deh. cers con sz +) Lasecwnia aa conve pair ypor ec con 7 ‘pula. Es decir si uacaaleanzamosal cuadro que eontiene a a enone despren ee crnng dels ae eerdan ede 9 8.0 = (Lect Sa te apt fy Emo ue pm cmes {omen ngucrd sen etesado a, y la cera se mucve inmodianer Oe Seeger lst ee nw en Ee gen. Sarco eeuencascon prime rcehoca less, Sinnenegncomeraneleech iy Ste agencnapr ia ade Pe ene ee pena py Ese ner eee gids euch gy oction more ttn ce Ne cncyo ents some cm Sime aes ‘tenes orpercoase incor aia ot sdemeacasns el a ae on yrs cnc ar ch NSE He us ceccisoncerantes fe aei.sun cuando ‘realidad tio estes intra en pares qu concern por derecha. In) Sig, gj conver por sugar Oon py pr¥ Bt.) = 8), enone Guna cencodpolaingaerdnconp. sp Lajcaincs prea t deiarela 9) Sigg gomeveda porta deacon ppp By a= Leones sg ccada por iilerdnconp,p, Lajustiacon es paca iar ci. jemplo 218. Conse al 2DFA W del Ejnplo 2.14 yw caso Ge cna ave ‘oneal into La seer ianlcon ero ingrsa asec Sige 1)=(g,-R). Pr tao, 9 conser por nderchacan ote 1 orl Gin, Pesto ate 34g, 1) = GE). qyctmcuerda por ecco se orlaresla(i, Est debe serelcis ya, dooce un clealode cepacie lagu cs ec real xe a gry det de ‘uncuadroqeConieneun Avera, snebaro, qe u pu desecurciaspotiat ‘concondrauque oexsancleaoenelcil prcran saad ger, ps ‘erinposibeefconrarcadeas sar sidasala gues dace gae crane sls los vtec avivalenia de savas Fite de una y dos drscones Teorema 25 SLs cela por wa 2DFA,enlones Ls conju Denosracién Sea = (Q, 8.4 Fn 2DFA. La demos consis en eosin dun NFA gael Die ero ep Eo aeqg Phenlage semana 1. @ const cn nas as secu euzata prs Me 2 get laseoeria rad quo conse ote eng, 4. Fseleonumin detode ls eevreascuadas de logit uno ye consis ‘namestadn de. 4 Beane des tna evencin cra via pe concur por drscha con = soe en a) Ness qe come des vale dee ser eng pa. DDemarerainuitva sete side que Meine as peas elo de cnforme coe lain de ead, st hae adnan sccm ‘sees: SUM ha vino quer eslancuecicrizadn emu ora y uta sigue sino de entas ennces AF pede avin cul sevens ‘za vldaalaque caste por lade see acne, Sil Selo avn ene oma resia Movienios fuga del emo derecho dea ead tet test de ace, cmooees apa 3 8. Mostar. hoe) = LM, Sea w ra ate de (8D, Observes sceanein uaa usson gnc pcmcia dewepain eM sb Ca “a secuceiaerazaa nats por dc em l u eencena ene igote bmi asque pede adlaraseucescrus apace) sspperma er sen LP cosa HUA see eto hares" Ha ep ere hon ae Fee ces ns ei a meni nin enn 8 ar pais ein eA See iain, igy stb ei spel gateon, ein smodhis cha ween eneleatb a) ae re Cn ups ota Ase more Tee apa lemdng,emonien tek St om a 0 Con ns (8 mre pore on lea ee ya dunsemnoy, taeda) m= naman eq laisse ai Senge amine Inui Se cing yh loners, 8) tea nero bre te Cone cog nelgcmae ema aa a ee rane smecaeinaes = Ss Ss ne ams (Ta pore die essere a eee gems iuaetl Fad tem eo men 3A pot fg) ences ane enone Tego ghee? Wt) ea een eames eens he Metin eben de tes esos de dtm lo monic ec por Una saci ‘Shrenmossea csi acces an ea gy v4, SEERA 2, "4, Pomc as ss bh eos oa 3a aos La 6 en Iyebay emir sie by by Bjempio2| ‘Se, Windqin Maly ee rsen cna Fig, 228. Lancs adore 8, son {gy lg ly TP eb Pa A EO, hate rT bn 9 oF I elcesa nici de M, Ena Fig, 225 mesa as ans sibs Se HE Nese uu elena 9 una pe acces ype lini 1 APLICACIONES DE LOS ALTOMATASFINITOS xitcunzranaincodeproiomasde dit de sfwarequesesinpificanmedian: Tecomersin act de a suc d sexes els na Su Imenocign elicits de connor dl aims fino comeundcne, Eel resem abajo meneame de dels pleacioes; as Maas ogy Aaliandores de sion ‘Las tokens de un fergie programai son cs sin excep, exesabls on Ferma do conus regs. Pr ejemplo, ls encores de ALGOL. gue on Jevasmaydsataromininean eeir pcslule sein dees passin Jimi ens ong, pen exes como ew) e+ gay endbode "ee sgnifia A Bint Z4a¢beo. +29 pO" @ 6 L649, {os idnafedores de FORTRAN, con en limi de longi! des y tn teat ings alas maya al sino Spondon expe om. ous) (e + ees + gy aude esa pia (+A B+. 1asconstanesarticasdeSNOBOL ‘io permis lamin exponen penn macs os nga) puedo prea emo (6 +) igo (gio + 6) + iy Uncistonimerode generar de anlar de sco oman co cau ma scevoria express glares quedeserihn aoe pe 0 ‘ata inoqae reconoceaclgertskn, rl ger conisteniacr eo ‘epulars un NFA con tansicones€y despuds construe sabato de eiadoe yee pbc up DA dicate eb ear elma prio tances ‘Cad eas ina ics oken ptr gues ha eons, de modo gu el aunt ex en edd a mun de Mone Lacie dram el FA eiiadacn an ar oon am mar ens espa gue gue ara ‘58 de ascones st se repesenura como nae en dos menor. El sla de xo prc pref evar can prograna io que mrp [ebnscoutcadr,jtocnla bla priulr uenesonial FA guesconoe oy taken (cpsciieaor al near forma de expesne faa), Et ale dar de Lexie pie ser ira, eatam, como evil compar, "mpios de generators & anaadires do lnc que sigue et plncamicnn ‘ert e ncutn hDon ea 1968y Lek 173} tore de texte Ces ete te y progr sine pein susie ua coda re nlqrndena gu conc con nace ela Prem eer {steno UNDX prague mn rmando somo sgn) ‘sta aunsol coco cane paa lapeincr casas doco misspiosen "anc que eneucrsun ena inen das Leap "ego? dena a +, ‘fneayentaisa nad lecuastesdescompuainacscopocteariet