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