INTRODUCCION TEORIA 1: AUTOMATAS, LENGUAJES COMPUTACION ‘sigur (COMPANIA EDITORIAL CONTINENTAL S.A. DE CY. ‘MEXICOCopii hy ane Wey Pubishing Company, te rimvtan i OR wmtenaee ff Hee ey PROLOGO ee, yEREIDAD DE LA ERS Te TST TA pocuntmrscics ¥ BION SHorrevuneo - UR Hace gee anos nce comprometimosa produc unlibroquesbarcara material ‘onoeido sobre tongues formals, teorta de autématas y complejdad ‘omputacionsl En relrospectva, silo unos paca resultados sinieatvos acto ignoads en toda sas pins Al ese Un nuevo bro sobre Ia Inateraencontamoe quel camp sa extendo en tas iessiones nue ‘Tr que trata el tema de raneta foal y uiforme s hace impible. Mis {ge inter ser eneilopécos, hemes 00 ddscos al eta ef materia, ‘Eiecionando slots temas centrals de esrtllo terico del eampo oslo Tosquetenenimportaneia ea las apiacionss de ingen, ‘Durante los pasado die aos dos nuevas dtecioes de invesigacion han adguirid extrema mpovtanca. La primera lo cnsituye el wo de coneptes de inteorade lenguse com el nadeterminismo las jrargts de compljidad, po proba los ites ifriores def compleidadiaherente de clerics pro™ Flemes picticos, La ora ha sido Ia apiacn dela ideas de Ia tcorih > Tengu, eomo las exprestonesrpultsy las rama libres de contexte laseno de sfteare, como cuapladares y procesadores de textos. Armbes ‘esntollos han ayudago 3 dale forma ale orpanizackin de est io. {Us0 DEL LIBRO Para un cusodenivelsuperie, deen consular fos aco prmeos capitulo, ‘cre ambigdeda ioberene, ene capitulo 4 y ‘guns partes del eaptlo Lor exptls 7, 8,12y 13 forman el niceo de un {uso scbre compleidad somputasional Un eur avanzado en teoia del fengusj puede elaorarses part dos capitalos2a17, dei al I yeoa e114ExERcici0s ‘Los problemas ities estén sealador con dos astorisos ys de iia tad intermedia ideniian cn uno slo. Losers mareades con una S tine su soca al final dl capitulo No heme intentado proporsonss un ‘manual de espusias, sino una breve seleceiin de cers cya soluion sa pantculamenteinstrictva. ‘RECONOCIMMENTOS ‘Agradecemes alas siguiones persons ss comentarios y conejo oper ‘08: Al Abo, Nisim France, Jon Goldstina, urs Hsetmanse, Dave Male Fred Springses! y Jacobo Valdés. El manusrito fue mapniieamente ‘mocanogaflado pot Mase Oitony April Roberts en Corelly Ceres echt fn Princston, hace, New York JEH. Prncewon New erey JDU. marzo 1979, a 3 is Capito 2 cpio 3 ‘CONTENDO Petia Cadena, iby neni Graton trols Prova indus [Noida dosnt Sop deli Stas oad fon Datos ‘Rats ton cco ‘plane deat fin Pride deo canjnts repre Xema de sondo paraconjatos regres Fp cnet ‘Teruma de Mil Neve ymlnimarion de wetsto iton a ® &Cape ¢ Pa Capito st 3 3 coptte7 a Canto capitate Granites de cont (rani ies de eoteto 0. SO Simple de gram nas conto eran Fm somal de Chom a For oma de Grech im attend ngs esd concn inbsioncie wien 108 Antal de ptt sein nora 7 Definer : : na Asa de aplamicte yap is de oie a Propiedade desler ies decent Lema detondeopaa CPL. bs opus deca pa is i Mga Tong Modelo dei do Taag ise gj ts oat ie Mendon maqias deFotng. n Nevis Cac : “8 Mique de Turing estar qsholent st sda bso = 8 sei Prolene = 1 Prolene ira snes une de gin dig nvr) pronase. 198 ‘Teer de ice lens oo pros ean 198 isla pons Scorexpondec det am ics ako to vier Ts nubs ‘arr pctns CF mtn as Ione ators it cs cs a Gist drorec Ey Laferrpinde Chasey Grama ropa m 92 3 pinto 19 02 ios 08 Capito 1. 42 Cupido 12 mi opiate na 22 2B Be opi 4 ma Grants eign. engujsseses sont [Relicons eae po do legajen 00 Leng dtermidcon ne de omen -Foas noms pars DPDAS (Cerrado does DCFLa con epoca conn, Miguios de predzion Propinds docerader sina oo BCH ‘Propiedad edn doe CFL Grandin £0) ‘Geamses 0 yx BEDAS Geansice 28) Propedales ecrmdura fii de egoen Try won on a atlomacones de mda sien Sip ‘tts proper de corte pars oe ani stata de egane Ieipeniae penne A “Teoria de compli comput Debnions ‘en nimero de tas, ‘Teoremar oars. Relaconesenre medias sori ‘Lema de ron la eran a stern Propiedad er medias mpi oes {eovems epi sero uni, “Teor decompljiad siomsicn Problema tna “Tiempo cpio pines Aeon hcp ProbionsrESPACIOP clon Problema comptes prs ESPACION (og) ‘Alpen pelaasdamonablneste oo sce, a {acoustion nop sui ear con She lites en ass expe pra dermis > Carats pipe de ara ce degen Anemats de presse ater BER SSERERES a8 B8ES Mm §142. Anta de pe Iti PRELIMINARES En ete capil eevisamos Is prineias eas mamas ncesris para la emrensin el teri qos pest enel i. Estos cocepos ines, ‘bos, counts, relsioms, cadmas, lenges abarcios e neem mates ‘ia Pesetamos tabi reve node al io y en moar paras Tecra Elector uc pose las nee ose ematendicas enon: pods ar Giectamene ala scién 1en donde encontrar obsevacionesy comes {emotaci, 14. CADENAS, ALFABETOSY LENGUAIES ‘Un"simbooesuncatided aera queno eiienos dela mismaranera ques Eeneepon de" pun" linea, nose deinen en geomet Laslarsy os diposson ‘empl desinolosoxdoseon feeyencia Unaeaena polar) esuna stein ‘lade sntloeyoxtapueasPoreenpb.a.bcsonstnolo,yacbes na cate |) taLalnptu/deunacadera ques dentcome eb eininero de inbols que ‘Componclacadena Pore ae ene onpinds Lacadena act, Sent por {neta cadena qu conte en eo silos. Por ao, =. ‘Los pei dun cadena es amas prs peimeos sino de os .afon polos mos Posempl,neadem ables como prefs aby a: ‘Mutulr one, abe Un prio sao dura cadena qe moses misma ‘ea eum pei sai prop. Ta concaenactn de doscadenas sla cles ques frmel ect riers‘equi a seus sn quchaya espacio ene ella Poem, Iaconestenacin (pero cata ex perrocasa La yutapescin se wii como e operon de ‘nate, Estes yen cadena, caloees resis coestnain dt fs adeas. La cadena Yk sa opal opera de concseacin Es ‘ie ew awe = parca cadena, ‘Unafaeresun conju nto destnbolos. Un enguje Formal een conn to de cadens de smboos tras de alg alsbex. El cnjot vei, 2,9 ‘rojo Frmao pra cada vas (e] so ngs Nese gue cas: kino ene un clemeat, mira qe primero no Elon de palin oms (aos ge see gua de nga decay cera) soe late (01) ‘sunlengsp nino. Algnoslemeto de eae angus om 0, 1,00, 11,010 ToTO1t Advts que conan de tas fos palinsomos sore ana cin fina desinbsos no encament haan, eng, scales n> seconsruyen coectvamentoa parti dea als. ‘Orrolenaajeeselconu decaleas mre natal fo. Dsooanos teste lemaai com B= Poreemplo = [a]. ennees 3» {ova aa, aan) 8 Ee, ,emonces E> = (e,0, 100,01, 10. 11,00, 12 GRAFOSY ARBOLES ‘Un pafo,dnoido por G= (VB. cosi en uncojantan d wéice (ono) Vn conjto de prs de virus Ema ate Ena Fig 11s ges fo. Ene V5 (1,2,3.4.5] yE= ((mmina m= done m=?) Oo © : o ets : ‘Una ayectori eam raf es una seen de vies Yo ek Ll gue cxiscunarits (oy, prceaa,2/ =k LalongtedJelatajecisest 1. Por ‘jempls 1340s uate! gafo delay 11 como lamin es por misma. ty = la eayectara son rato igidos ‘Un pafo iii (dir) ave tami sdenata coma G =(V. seston on czehan inde verzes Vy ncn ds prsrdenatosds ves ama arcor, Deaoiamas nec Seva como ¥ > Enlai. 12apreocuncfemplode ‘ial ‘Una rayectrdcnun dato ra sewn de erties, so 2 ta ‘ques, enc pn ead, 1 St< k Delos qu lawyer ese, ty, Aatpuds 1-923 es una eayectriade 1a cael dirfo delaFig 12, S1t-sweeun wo, cin que vesunpredecesor dew que wes un SEE OS, o=o= Oo 2 eA Dia Ae Ua hed Arboles Un dol esritmene hablando, un bt rigid yordenado) es dialogue mos a spets popes, 1, Exit wrt, Hana raf que mo ene pedir yd el pane ura Anyestna alae vere. 2, Cab vice, sented la, ene exatanent un predeesr 4. Lon seesncs cada re etn ordenados "a par dea ier" Se dcbera ijloe rolescon ee ina fos os acs pura thi aj La chat los eon, porto, ones india aden 0 ‘Dincart Los suesors Us caca éice ej de ingens erecta, Lai "Smuerrel gmp don abel ques un pram de acre “a pi or ae al oecafés sobre pro pez” Ent sep os wie 0s nba. s0 ‘ees una sugust que puedsser una pla oars dl discus, Exiqe un temiolog speci yor los bles, que ire dea ermintoa ‘ge seuliaen on pafocimuers, Aon sues ew vce see ama io a rsdeceaoe pide, Sete ona iagetora dl ee ya vei v,ennees se ce ‘iy, eclancur ge, yun ene descended, Nese ie oe ene wha Teglaparaclenn = yeulgu vere esunaneese descendents des miso. Un vec quem oss js se cones come jay aos oo vere ees Tima trices ineriore:Porcenpo, cola Fi 131 vérie concave esun Tjedelvéniceqocuore nq cas verb, yes dlumoeselpare del pine, Etserie eom In etiqeta"por” es un scence de miso et te eoo i ‘uta ae verbal, el vere qu pone laciquta erctn> ove selves ‘nas Los vertices equa com pla de rao son las ois, os Qe. ald on pore el ew ene peruse son os Eres toes 13. PRUEBAS INDUCTIVAS La prsta de muchos de ot tomas de este Ho se hae median inducin resia Supdngse steno ua pops Pn sobre une negation, Un ejemplo ques incon frecuencia tama (com> : 1+) fee io El peng de lindas matin consis en qu Pa sc btee POY 1) mpi gue Pe apa laconic sen una picandatv selec como bse yalaconicién pope Lapeseb kesh ccc pet Ejemplo 1 Proemoe (1.1) meant induc matic, Fsbleemos (3) ‘ated gat acermen(1 )yobsramos queewambsTasos ea eevcinse ene ro Para proba 0, soos 1 pot me (11) aos de proba (1 de ‘end oben, dec, dcbemos star qe pa > 1 re Feet D iaphengee $e MOE NOH HD 6 [eteamiempcagepins inane het rosa fe-Erem (= then— 1). p= Mera) slo ncesiemos most qve (r= on 1) ge nl + RAD . 6 La ia guile sigue d una ip maniplcin algebras com gue que probaia (0. 14 NOTACION DE-CONTUNTOS Suponemos gu exe canoe l concept de conan, una exec de os Eee ues conn) sin ect, Laseonjnos nos pueden eecicars (ecto an a de sus eke, Po ejemplo, sams (0, 1} para denote Ufa do nbs Oy 1 Tambinespeiicamos Tos corjntos com un fermen deconunos. i 03) tsP00h xen 41 PIO Lapoposiig (1.2) eel anja de objets moto ue Pera (oii Pee lana propos soe os bjs x. La propo (3) ‘lejtede bjs deteojume Ade mado que Pes edad eseqan Ce PGo yesh en A). Porcjempl: (item emery exist meno § de modo qo = 2) ‘sun manea de specifier conju de os eee as, "Senta clamena de eselomenin de, ences esrbios A SB. ydremos quceasmtniioend A> Besbomisno qu =A. iA SB pera wes doc, ‘Rasenmemo ded een y exit alinelemeniode que noesien A; enoness eiStamosa $8 Losconjnie dy B son pals iene osmsmosclemenos, Enea Aa Bsiy os AS BYBEA Operations sobre tox conju. Las operacions habitual que tien soe fos conju sn: 1, AB, natin A com Bs (clseuhen Ao xenon.2 ANB. latworteiin de Ay Bee (x xouson ay seston) 3. A-B,teferencade Ay Bes (x |eusen Ay xno entsen 2) 4. xB,el product cartesian dA ye conus de prs odenados 8) ‘esque geen Ay beshen 8 |. can poencia dA, <5 cont ormado prado oe stuns ae (2,0), 21.0,29. [ies que Ay denen nym lomentarespecivamentcnones A xB ene nm clement 2 ene elements Conjunto nits aes intici,cumdonasexcademos anno infinite, puede seni, Dosconjunts5,) 5, denen amismacardinaia (cero de micnbs)seristeuns tnsomacicn uno uno d lementos de Sa, Prox conjoint 8 ‘uneonjnopopiot de, enonces sy tne iret carnal Sinead, 15, y,son fics, ia popes oe srs Se, coun de fos ‘nurs pas 5, conuns de oslo nro. Es cla gue son alco ‘opi de 5, Noobsame, $95, uesen lama cada. pesto qr aurea én cio 2) = 125 una esstomackin no uno deo ees pres a 1S No todos tos conjnios nine nen ts misma cari, Cones et ‘njuno todos sented odosto ales Supsngse lena des reales pode pms enum erespendeeia uno a on cm ln noe Eanes ens! miner re cay éimo dg dest el poo dca el no Aigiodeleésinorcalns S10 Exe nimerncalnpuadcearenconespodete an anenero peso qed decal el queso easton aumento De loaneror,cieeuinps urls als no poten stare enna conespondenca de 1 Seeger Ae Bespin. #8 8.4873 unoauto conta eno. De manera inv notamos uv cxiten desiaostals ‘ua hacer. La eonsacess eka mi raw conoe com dena) ‘onsaye ua beramena importants en Iceni dea compari, Los conjunts qu palon posse comes noun con noe se ice quson into comables,oinplemente conaber Lenzner aca Yel enna 2" de as aeas de longa i, oad com afb 3 00 Intinoscomabis. Benjani todos lssutcojunosde > ye conjaro deta {us facies qc atslonman lox enteron [01] son de mina ctinlidad oe Testealesy mo son cones ‘Una reac nara en conjnt de pres. l rime componen de cad prs ‘ema deunconjuo llamado dan yelsepund component dea pape _ unconjano (avez sind primer) lama conradanani Alpes ‘ulaemo lacanesen x quel domino contadomino snl mim cea S-Enewe caso demos que avlsine sobre 8 Si esa ac (Dc, paren Remotes con taco, eter a, Propiedades deus elaciones ecimos gue un elicit sabre Ses 1 reflesva saa para toda en: 2. eles saa fala ad en 3 rani say Bein aes since ab pica te Saximérica a implica qu Beas asa [Nese quo casa rc simtiicn dhe serie [empl 1.3 Lari < solve el conju do sete strani pore achybecimplicaqpeace Esasngcicayportuninexiaporueac mpi qucbeaes tas. {aia a i nog linge sin abs sesh pe incepta gargs teaseRelaciones de equvaenla Se dice qu una lain qe eee sinévicayuastva es una ela de ‘pulenia, Una pops wort de ura elacion de equivalence ‘injures que ive a Sea class deequalenca so vais dss (as erase 18y ov wine, Loamterorsgutica qe $=5,5, en Gnd pra fala le 1S .ns=o 2 ya cay bens, afbes vers: STpamesdaoy bens ates aka _Losconunos §,sconacen ome clase de equaenla. Nose que el mimeo de ‘hes pots fins ‘jempio 14 Un emia conn de uma reba de eqalencia fo consti engusnis dio unecrom Exim t=) 0 = Jmodmsiiy json ents fales que jedvinble ene Elector pase compat einem gue, relent wanstvaysméirc, Lar ses de quale de = so en mero fons ms Om 2m Ditoms amd had oe hem 12m Be Cerradras de as relies Sepsngas que es wn conju de propedaes de ls relat. La ceradara 9 ‘oracle laelacion mde peoota qu ic lye a tos ios pares osselas propdades de." Pree, laceradwaransiva de, dents com vest defn pe 1. i(a estén R rons, 0) es en 2. Sia eaten Ry th c)osen Rs enoaes 2.0 eten 3. No ay na na meno qu ay obenido dees inci (Dy @). Deber etar evidente qe cali colocation medians regs (1) ye penance de ota manera pao inl a Fo wo sr anti, Usa ‘coca paca ndtv esta, tb que et de Bach waive. As > Incaye a Res vsti conte el mismo nimero de pues queue eli ‘qe cloya a Ry wa vai Ta eevmdaras rflsiva 9 anion de R, dona RR (aa) 1a estiens}). SOTROA «catmarns HL UHHe —aae aaa FlemploLS. Sea = (0,2,0.2,0,3)) mnareaida sobre et conn (1. Entncss Ra ((,2.2.2.0,9.0,9) Re» (1, 4,240.3 2,242.9.0.3) 16 sINoPsIs DEL LIBRO “Laciencindelacomputacineset cnr ssumatzatodelconciminto concern “Teac Ses yen pis pose mone a diet de algoimos por pare oeldsy el uso den complend asics y Ta reduc po os bblo> tins gon 1955) En acta sn mars, el ners et modelo po ds {nportamescrenbseladvenimintodelasconpattorsfipiaesmodaas.apaes {dr vealar muchos millones de epeaioes por sepnio, yl formainaign dt zoey de prodimint feo, qe aj como Conecestea be exsenca fancies profabemente no calclles, elena dela compat consa de dos components rine: peers steany models fndameatles suspen en el lca, gd, us creas de note pare! dae disease compan, hardare como fear, respec aaa ternal sno Epes ios persaocono wn traci priera ee, ss framentts que somite dt eel, one haoos eves totclons Sobre as mas mportantes waco. Tenia compan is tav us lose vari campos sins de fos bilogs gue estan msels ar as redes nearness inceniros eg. qu ann nel esi de let dela teopn come te amicus paa cl det de hardware lea de ks matics abs ox Temencnos def pity el de los ings en la invesipain de as rani {hede os knggsntrales. Apri tos exo xsi aio os mosis ental dea cise de lacomputcin tsi, os encepos de imate Gntos yexpresionss regu caplos 2» 3) fueron dso ilamens psa ce las redes euros ose de Incropeon Relentmen,anseeocome des eramintasen eso Sano lias nce qoecs spre dun compo oe azrupacarateres en kes ‘aes indvibescomolov nombres variable aspalaasclve Cetondero “Sattcmas compliers dee tara tanforman Je manera uote xpos ‘equ coauntafntonsueserin wrocome anladores exo Shan ‘conta vaio cor rains cxpesines rules os amet ito en Etioves de tenon, conondancin de pasos, eres jrossaores de exo y frogranasparabussir archivos, ycomoconesposmaemdicscmaplcciinacis {Deas coms pc, Aina leaps 2 deinearemosalguas das piaciones ees era, Tanocion de pramicalibe decent acoespndint de aut dep lence (cpios #3 6) ban conta enorermemt 2 i eeciecin deenguajes pascal dood parr era pare cave down ompli. [Eas expecifaciones formas fos peoganas de compat han usu es, decripoones dengue extenas con freuen, amples 9 ambi El ‘ntndmicno de scapes del atimaadaplanieno ta mpi mca nisi pramatea sneer osevar que el die de parsers fe ie Protiuna prs ts pimars complies, y que cho de fo panos ater Fheonbasunteinetienesemecrsaramentresirictnon Abo gacaalues ‘ie dl concimento st una areal dtcicas bss nla ance de ‘one el seo de analzaores de rama yao eon pb, sis ‘taal espa som ersnie bs del emp liad enw Compaen oral. En el eats 10 acemos an eho de a principals fr ue se [rede consi parser eine que se comporan samosas be apace pir de certos pos de praises ds context "Enel capo? os eneotaros con as mais de Taig y ao enrntams stunode los roblamas fondamenae da cienca dela campuses ees, cxen Inisincioasquenombresprdfansle quest prac Pano, ov enfentumos ala cxistencia defame que simplemente no son casa Sci existe un prograna de corpus qu puede eri, lado sn ares para fen peur eal fone fsa cho agit y uncon par tos lo ngs ole. Supngse gus racine acl cxst un pograns de computain ‘oumalporn ue lacaleley anita qual wer por olgoi pus so ‘ipesiends de manta ni De esa mer ls programe comataicn no sen ‘nds qucealens nia sintolossobrealginlatts nan, De gare {© de tno tos programas ds compton sea conalaent ini. Comsidee sherafuncones gr tansformena lorena) Supongaquoslcajuno des Iaefociones dees tp es coalement ni ques francs Sohn peso stanesgondenciacomfos enters Se afueon cresgedon Smarr, Eons fone a shio=1 11) dco manera bo puede covespomdee& singin eter, Io que consiaye una contain, [Si fim) = ff, emonces enemos bs entrain 0) = 0) ¥ 10) fll Ese !gumeno fama ca scp y 8, done Yeremes oe ces rblemss fess deter no pdea esol co compete, am esd ut primera is, prcen ar osha lel. ‘in embpe, pcemos hace alg) mds qu el dace sum prhlema pande resolve 0 no con na compara. El sao Hecho de qu wn polens epoeda ‘slvr to sini que enna analgnitmopicca pars resaveio Encl cap 12 ‘remo que hy profes stats ese pose sce con ua computes, qu ucon cafes cursor de empo yocspacto pas ssl. 1 Daeg og pa panne 7) Mis cams, en e capt T3,desctrremos que exsn problemas res © tporantn qc mie con nc eteger La mcm ocd le "pbloms ‘mre ts desma alae poandamente en la loa de efor meso potions. rurrercios: 1) ea vn eau ei tie 1 Uhcvencurceetpeae © opt vence rele St 4) enero neceine 297 sey de(Ey ake1A Las extrac pden efaie lmao 1 Unacaaa ante ai (0) et ace sy sianent ‘over igen de (3) 9 ‘yaa pedo ane manson) 2 Desitnceds 3) Sueur acne) lances, inp times cel certo sere ‘Senger eden ent ra ncn nb ea dot) ns #15 (Qe tt ma te sie Yb nc tole eck de qe tb fe neni ews eager es! Puan company on le {tops es evn eines Suomen proposes conunoe tobe semen oie esr concen Sten er 8. ai scrusendwasd ySyemcninenn teem anioceesnens Poi ‘putin bead on sors semanra st eens {eS sn tons Prt or clemer eSoo mics na 146 Musa gue Ie sg on licens de guile ys ates 8 1 Losin ne ot ts. efi, jay slot 1 Lasts fe pe ai pr pt 30 py sitonen Tamms (bere nina canst. «eu gu hes gasencl mime on oa de cag oo. 0.232.3,0.46(659. 518 Postequ cna eqns he mens Spates nies #19. éansjemyin deans a gua sini y wea pe um sen nnn. Tejescuanio senses aendprrmosar gona ln dena le {vshsed squnslingy, ete lsstin Er 8) 1.40 Pre qu ur bono dun inj ni eae io iio “S.11- Poe ue slots ta perdu deems iii oie, 12 Esta downside con ais oma int ont? se race asia Secon ere seonaos 13 Eseieo qe cancun gation cane seg eased ‘rch dee sgn Sings ie see dea sama Poa pot Induce lid ua ue somo soniye de aa) wo sieletomescerctoti euntoosinnioay port velar (00). Sie enh eminayemiaconeiman pa anor, siege nd urging geen Asoc ele (Ghee oeeesun paar. 18 _SeaRuarin eognalninteSyspinguegieny bse San CyG, nena Seapuvnenaqucenimn rey bniyearaneaes do C = [ela] yectclbte Dennenenseguec,=CyoqeeC, 46,0 Sige CnC ye ‘wnat hawaii nacarmruto AUTOMATAS FINITOS Y EXPIRESIONES REGULARES {LL SISTEMAS DE ESTADOS FISITOS ata fn cs un modelo mateo dun sisters, com ead sais EME ssa pede ear en hale de rer ao de configu (een head desta sume ainfomacionconcemente cas tetSiowsy qu ence pur derma fconporaaient del sss para ‘iin reberiyes El mcanimo de cond! de un ckwadr esun buen ode eeSgana de exsos fms, mesa wo ever as is demands vis ‘Basu tino slo cl pin enc ques encenzga dein demorimien asia ‘cfevomacia tj) ye conju de erandss de evcio a no sascha, Sec els campaaclé esoramos ucos ejemplos sistemas de ‘exafostnyawol eamaeGutoses un learns paral dso SEEKS cucmal Unprmercenplocsun cies deineropcin, como aia ‘ifr dcunacomutadora Unciraiodlnirpcnescompueso porns aa appara cana d: scutes puedes en ta dd cOnIONS. Pot eect dcrtaasporOy 1 Esaxconiconespodrancasrminoscletrnii st ee alae ins en a cmpoer do sad, El estado don ed ee acon comperases, por loan hades" sgncioncs OY pe trees comptas, Avaya en cada compere pueda omar cua: re ejmanio deals, lewewtoceewicvetdvtado tal manera aerate volajes caesponene 0 1 sn eas, rs vO se east amedtoncne, sup dcx volas. Locos dems er nenoelmene dei nea, de ot qv peda vss comsisemas oxo fnt, separa, pore, seo god ura compuadorade lnimpemenacin elena. ‘Gens pops iva con reeves, como kt eee de et ot analzadores deco que se encertranen la mayer de I tds sn ‘Isetadas como sistemas doers into, Poreempla,snaaizadar discover tos simtolos dun programa computa pra eanar scans caret ‘emrespndinsaenuiadoes casas nines, pabrareseadan cs. Eneste proceso elanaliafordlfsconecsta recor Slamentoun casas ina 4 nfomacin, como qué kn de unpre de wa pubs ere a vist ‘iso iii. La wet de oe asim Hoes tea macho en elie de ooesndoresecents de cadena de ese Up y ote, En a Solin 28 me ‘oramos alguns ees plein. a conpuaadon mma pede evs como un sitna eatFait,aanque nceres noes and como users, Tenement estado de poser ‘el memoria pial yalmacenaninto sir encarta Ue 70 sun dean gran neo filo de esas, Esanossuponindn por supe, Ue ke uname fo de isos, anbores clas, exten, disponible, y que ura mo pasde extndor ly memoria indfinitament. Tomar a costars mo an Sistema de esa fat, sin ebar, oe elie ssa mate, Esublecun inital leeds de mero, Yo no 0 escapade ‘purarlesseneiaralelacompatrinPrscaparde miners prepa eleonespo ‘compotion se necesita una memoria potent tints, ton ean ada Inslucsnsea na, Losmalsininiosdecompundor se dsctren os Cp tos y8 Reta nado, ambi, considers a cerebro mano como sen de ‘stu into. E mer dell cereals neuroma es Und, cana macho 1° Pademsconscar snes eviencia de octavo gu lestalo decada erona puede desis medianteun pq mere bis. Sesoes as, wea ‘Glestudo nto seaplca al cero. Sinembargy, el mero exaosce an grande ‘uc poco probable qu es plncanient tena cma relndo sbsenacionss Us eel ert mano noms ques sopons de edo taylan ‘ater stm de computsii randes poo ino "al ver ara mis mporant para esa os stoma eet Fit esa suri dscerepo como oineaelhcchodequesugeenerenesy mie Tugures Eso es wt indcacin de qu hemos capa el cons de on po Sunde sistemas. untpo ques oot esrucuay apliacones potest, Unedempto ‘Anes de defini mane foal ot ssamas de ext ro, conse ua ‘jmp En laoilngltdade unto seencuonen nto, jntoconunlab, ‘ray waco. Hay un bacon lcopsidd sae pra levaralhaniey aun ‘lov os wes. El hombre con lol y dans conpteror den eazarel6 ete pede cra awa slo ala vez Sin cman, el hombye sla obo yalacatraenculglrlato de conto seguridad gee! ose comerkalacar, Del mismo, stacatay acl e quota pn, esas comer aac, = oshle qe se pueda cruzar elo sin quo nada se cao pe ne? ET problemas pose model cbsrvand gu a ifoemai pertinent een tos ocapanes dca ila despes de rv. Existn 16 subeanos dl hombre (tet lotoL),leaba (6) y Incl (C)- Un estado comesponde al sabeonumo que Ssecncveenarbara auc Latest cigotadoepo pres sparadss orun gue, porcjemplo4G-C, er donde lo silos uc enn a equi de [vin dena sboconjnt gue ste ila tgueds del: oslo oe ‘tin dere dl gn epesenan cl sbcojuna qu se ccsena cn ota ‘puri algunos dos esta, como GCI. on fan anc deen seers slsstona, as" enadas"al stoma sos accones cel homve Puede ear noes ‘comet entrada), nesta rade osom acl ena) lexan SLE ye ead alex LGC. En Fi, 2. 0 mest l grana de ‘rns, al # |e Pent patent one io eye Hay dos solusines dl problema gimene coras, com puede verses se scan as wayectra go an lesan il gn ent demo sence ote. Exist un nero nfm rnd de scluciones diferentes problema, roindas.coneecpiee eds inolueanciclsinilesElsstema destino cde serconierage como qu dines un gu iin, elena de ods Taseadoms qu ctquean hs waectoras que van et esa lal ‘Antes de seguir alan, es reese anor gue ay a mes, ds formasImporantesn as quel ejemplo anit carcteritico de fos sistemas eet fino, Primero Sexson ei fal en general use ke macbos Serund ‘ale quar ead ans exile ura vasicininvessbrecl mmo sol Toque 0 mecealament suede en el eo genera Nose amin qu te “sad nal aungu es adie na sgnca uc cleul debe rma cua saleana, Panos con hacend ances orem esd 1G-LC (el ejemplo anterior, 22, DEFINICIONES BastCas Un aimat iio FAY asic uncon io dees next ‘ann eal esta, or dan soe sinbols dena tana sitbeo E.Paracansintolo denn exe excimer on uansiin aor sca gosemene Se rege min ea), Un esa por I one ‘enoadoconog,efclesainatalencaaeeasiimacomenra Mgwnsesad ‘xn dsimdos como filo de aces. "AunFA le sciaun ga dingo coma como digrama de rans 4 lamer sigue La vers dl go crespnicn aos sad dl Fa. “xe ura asin lesa gal p sare nena aeons xs oh a Sao vl na aly nl grams de acne doa la evenca dense cirpodiens os nba der cond enoumos foment aw auto porelconpsn decinco caidas (0.5.8.4, F.enetgue Qevun con fino deen, an alabio de crrade ig omenn dQ, exado nial F & Qtconjand de estas faery 3 tnd rosin gu ansorma @ %3.en 0 Ese, 5(4.0)es umes pa "FA acpi aka estado gy sinbol entra "Visiamoraum A como contro, ose cue en neta de ys ocanasecusca de sinks de xen en uci seeunse mare 23. Eun movimiento, 1 FA qe sc encueusen el xi es eyendael melo a, ent a esto 89 )y mace su cab on snelo haca a dercha. Si a) un etd de scepii, eto se Cones due el FA ha cepa a dna icra cit de eta stata posiina agus ha movido neers, ‘testo mil sun estas de sep, [jemplo2t Ena Fig 22s laa agama de taninos dun FA Ele oil ¢,estndcado pr lech con acuta ic” Exists lou est Finan genes easo,indiead pre dobeccl. El FA cepa os cadets cers y unos en ls quel ner dsl numez Is son pars. ferment eta, onside eon” sein se wuss de estado en esta ca agra lend camera eng, debe rminar en ssaceplaascueni. ‘wa Caduenafaocasona qcel eonoterc aie nicola, mist ‘tem men cement TPL ED ‘-bsiy sé. ln entrada vista hasta aq coniene un némero par de ceros, De mane ct ie stage tnctenentct caine gs ROT hau nth sw Joos hence neers om parse Nome el “tt scaninpn ep msn ptf on 3 = {ele mmeras en, ae regret de i nme ft d exe 1g23 Un stta 1 Genet tn ni pinata en pnd ig perrtsrdtbogumns ences acpi ep jarcauann Para desc fomalmente el comportaninto de un FA soe una cadens sites exter auntie evansein para ue pueda anes)_yunacadena, ms que ayn estado yu sino, Deinimos una une de Ox E> 40: Laimensionesque Si.) epesentealestadg evel qu esurkel FA desputs de Ices cadena w dl edo g'Diho de ra forma, 8g, ex lion ssado pl Que ‘rie unatayectorisenel agama deansiconesdeqpcomlactigeiaw. Beran 1.8@.6)=49 2 para ods Ts cadens w ysnbols de ede a S0g.00) = 664.) 0), De exaforma 1) estblee que sin Isr un sotolo deena FA no psd ambi ‘ecaado, on dice cmacnconrar el enads depute de cr unacadenaenada ‘acta wa Estos, llr el estado p = Bw) despots de leer w-Yemonces ea la ‘lesiado 53) Pueso ue Sg.a)= 3(8g,).g)= 8. {haciendo w= enta regia asita), nopuede hater esaceedoentt 3 Bsr losargumenosparoscusess defies, Enel, por eazones deconvenena,ularemos Sen lg de Convencin Nosexforazemos n wile mismo sinbolos ara significa la misma ‘ont fo lrgo de todo cl materia sobre suas initon Eo paral eo Soe ‘Seattencs do ot ane lec pode spon au 1. Gcsuncopno decades Lssinologyp.comosisabndees anes: 2. Zeselalfbeto de entrada. Los simbolos ay b,con o sin subindices.y los digits fon sinbolos de envada 3, Serna fancign de amc 4. Fes conjnte de etados finales 5S ez. 2 cono sin subindices, om cadena de sinbolos de ends Sede quo una cadena acpi por un aaa ito M = (0,35, 40.) S152)» p par algin pen .Ellenguaje aeptod por Mt, denominado Li, cet onjtio(21 (gy eaten F) Un lenpuajece on cajun regular (osplements ‘epdar) ses el conju sept po agin automata fino. El ketr nuar gue ‘indo hablaos de un engusje apa por un autinata fino, nosretrimosal ‘SonjrtocspeciooL(h) aosoaentcaalulerconjntodceasenaquesonseepa lemplo2.2 Consdeese de nevocl dagamad vansicién de fFig.2-2en mera otc fomal. este FA se dents como t= (0,3. 8,9 P).enel gue O= (aed dy yh 2 (0,11, = (gp) ¥ Scomo se muesuach la Pi 24 io SupSngase que et nimero 110101 es un cntzada pars M. Noam ge 5a 1 247 8Ggy Day ASTOR. 564e I= 8G DD = 8G. D= 46 Podranosremarcar que for ant, estien (A proestamosineresaosen 1101015 Sepsioo alan y notes Que SO = dy Emons a Bl4g WO =$E(4y 19.0) = 5 yO) 4s a. CConinsand e ee tenor. ene onFAMOS Que Bla MOD) = 4, 5(4, 1010) Begg 10100 La sscuenca completes abalabal eal ao “Asfpue, 110101 estienL{N. Como lomencionamos, LAD erelconjntode cadens Conn mero par de sro un mero pa de wos. 23. AUTOMATAS FINITOS NO DETERMINISTICOS Tnzadacimos or el concern de astmata Gato no deterministic. Se Hepat a Conclusin ge quecalgueronjutoscepado por unautomatainito no determinsico ‘onde, ember acd porn autmata nto Jetermsnisico, in embargo, “mata into mo dteminico es un concep til cuando se ata de demos {Goremas Tambien cteonepode no decminismo ucgaun papel cenvaten asters ‘Setongusjes 9 compotion, etl para comprender enim rnp y de manera ‘Completa esc coneelo en un cnteto mey simple. Mls adelante, enconeare mos “Suomtas coy veniocs determinate 9 no detrminisicae a sabe gue a0 So guvalsa, yrs pare cals la equvaenea es na poland» impotac ‘lenogane: “Candérese una matics al modelo del auimata Fito para permite ninguna una mds eansciones de estado sabre mismo simolo Senda, Etewcvo melo seconace ome aatsmana fio no deterministic (NFA) EnlaFig.2.5 SSwestra. an diagram de wansllones de um sutmata ft no detest. ‘Onunequectstndosarniascon achquaadquesalen deed, ano qucresre "Una sscuencin de emia a2, 4¢5 aceplata por un audmata finite 90 deermintico sexist ura scknstdeanscione,comesponlems a seeueeia deena qveconuca dele nici algon estat final Pore, 01001 © ‘SScpalo ps NPA dela Fig 2 debi a qe xsi ura sector de wansiciones ‘que orton extn. dy reads cn 0,10, 0,1 Este NFA on [cular cepa xa a cadena qu engan os cero conceives dos unos ‘Retsequcel PA dela seein aero (PA dteranisicoo DPA) es un caso especial (GINA evel ques pancetta esse una tanscon sca sobre cas simbolo Por amo. tn on BPA, para una cadcou dena» ym exo 9 dads, Ma ‘nach unn tayesioru com tect» que comence eng. Par dermis thacadengesacepiapor un DPAcssuicentovenicarcsaayectria PaaunNEA ‘sin fuer muchas tayo son ls equa my se deen vera oda pr [Ectmimar sb una ond acaba enon esta a Tn inc del dagrama ques presenta en la Fig. 2.3, on wn convo fini que see un cima de strats pines consider que el NFA tambien ce una cinta de ‘Sara, Sin embargo, cn cualquier intant, leona into pusic encontrar en un leno ndmero de esd Cuando se puede hacer ama seconde sigue ela, ano elcaso el estado sob lncneada Deni Fi,2.5, poses emapnar uc Se aa OE ZY cen dupa do aut Paracas estado siguiente posites unacopia del ‘tmauncuyoconol ta encanta en ess ead Esa eobferacionse mues SninPig 2¢paracl NPA dela Fig 2.5 con omada 01001 Poni dete dv ‘be manera formal denotamos avn autmata fio no dterminiico mediante (0.3. 4e Phsendonte 0.4) (stadosenvadhs, est incl estas ale) fsenel itso ignficadogucparaun DFA, perocnesecaso sun vansformacion ps a2».(Recutrdese qu ese countode poteeiasde Qvelconjunode todos {rsutconjntardeQ).Laimenion esque 0) seachconjnt todos ov estan ‘pres qucensa ua arse con cuqulaa Seg. ‘jemplo 23. Fala ig. 27 data feign Sparacl NFA Gog 2S ‘a 3 * an) E27 Laanlomsin Spee NFA deg 25 La fancion Spud extenders aun fancin Bguevansfooma QxE* 228 que ssf sucesiones de entrar de a manera siguiente 1 8q.e)~ tah, 2B mad pr Ipam ain exador de 8), pest enSir a) {Lacon} no permite nc en un edo sn qu ext peste wna ends {acondcktn @) indica qu al ctr en el esa ler la cadena wseguda pore ‘nol dcenradsa, posemosliega sesso alosiunodelosesado pons ‘ibs pumps tar desputs deers e907 poems a ps mos a. ‘Niue que (= 8g, ) en donde acs un simbolo deena. Por tan, scmos tia de nuevo den lugar ded. Esitambienextcnde Ba argumemos ue nmen 20% 50 mediate3.80."= Unar Bm) [urcataconjuto desde? & 0. (4), enel que Mestonel NPA(O,E, 8 4 ‘hes | qm) cote wn esa enF ‘Bjemplo 24 Conidrese de nevoel NFA de laFig 25 cya ncn wanda ‘se presen en Fig 27 Sea In cra O10, ans) fo a ay 1) = Gn). 1)= fae as B= gy 8) Bas = (4 ah e mares sini, eames Ht, 10} 40,40 lg 9100) gy. 45 4) la 0101) = G4 guivaenclas elo DFAS bos NPAS Pusto que cals DFAcsun NFA, queda claro qu cls de epuneacep phos [NPAs nlye alos enjnos replaces (ls lenges cepa pos DFAS). Se ‘mrgo rsula qe os sn los dics conjnonacpads pr os NFA La ‘emortacion coma en mona hs x DFAS pote simular or NFAY cn a cada NFA pvemos const un DFA egal Co qe cepa lino engine) Lafoma en que un DFA snl aun NFA consis en perm oe *stdos del DFA eoespndan conju de estado dl NFA, EHDA ca ‘ons namie, ns eoneol it, tee de sks eas en an qe ot NFA puede esr dips de ler In misma enads que et DFA hr ki. La ‘amare foals enea en most rine cron ‘Teorema 2.1 Sean conju seepado por un aint no temic, Enonesexise un ainsi fiat determine go eel Denosiracion SeaM =(0.T, 84 Fun NFA que sepa a, Dias wn DFA, MS (G'S. 5; 7. F) la mane sure Los esta de A so Los ‘beonjants det cnjuto de ests es ce, Q"= 2 conserva ‘soled odoslosesadosen lo qucpoote esa fenced tempo dan esc conjuni devas los estas de qv omtenen une al de M Un emo de @ se det por yon geen dig ds enevenIIN (.Onerve uct. ge eran ni caads dl DPA qucreapende sen jon ‘estates dt NPA Naito amin pe =f) Defias 84, 95.04 A= By Poses BD | | | | avavremara riniron vo ontenMricas 25 syst Han 088 81 Ur Bo Esoes 5 apladazunekanetolg dy-g]0 secaeapeands cases Qe nt geen or gn Alaa Bad yng {boheme lg compan ov de na pn, Ea ue conto ‘cesar ene eps 7-}e0 ye omen cx lr de aha) + i te, ond ae lag Ge cade dead = a ldo 3) Fa aes) sly stot ag) = (ase re Eres es vial pra =0,yaque gy fal «esr Inducin Supfogse qu lahipsesisesvrdaderaparaenradas de nga ro Irenores Seana deta de gia = Tan en 5 Enos 54.30) = 415s 2) “Toman encom a etc F089 bou res sysson Blan 2)= tro Ps vat be opr rin dF BE rrnehe=rowand BE sigs PAE . Monto thaetivrenst —— § : Si6.X8)= (rotor E siysos £ 2on x0)= tase peas sent : fa compet pt, aon besa ue By, od en F eacesnndo 5g) ete wn cde ue eaten Alps. = tain. o Co os nisi ics deemincs ¥ 0datinsicos scan os ‘manor conintos, no harmo disincaalgura eave elles, a menos ue $3 ‘ees, sina que splomeneageeletiena amos como alias iis,oe ree — ut) Bay (ade NFA RC Me Hq.0) =O — May 1) = (ao ah sg), Fqvescee a0, demas Manama seksTanbS | ——— Fempiods SAM = (G0) Be. 0)= aos dih do 11 = th popanasconsnirn FA. M'=(0,(010 Pode ernment sce Og ag ghY 2 CORD BAe = ed) lad 0) fa sb a=: andere, 5(Q,0)= 510. 1)=2: Por Hino (eo 43h 0) [oe th | | | (gd. = fae a Kaos ih 0) = Ala 0) 2 Haus 0) = igor aad Y= (dor a3) a 8 (4gos arb 8) = Fao ash } meee alae at t= alan I) Man 19 6 fae 0h = ak | eons Fees eR 8 eat resus con frecuencia qae MUCHOS ‘esindos del NFA. 90 Som cre err dlenu wil gE paro, cit eas DPA sean eae St fad reine ona esperar cone ews rans | | st AUTOMATAS FINITOS CON MOVIMIENTOS=¢ teins para inci ose enter noes sel anda in ens ds iebo NFA | Peas ren cda vara «Einar deere epteallenesio porcoalgoer ine Big 28 Comm teat Kayeonacon equa wa 8 (eben a gr men eI) RAS prc smc 2 seme ‘Demanrafal detninasunatnatainion deerincsicoconmovinent cc comola qua (0,5, 8a) con toos sts Componcres ia ie aes eon S Seax= wa para un sino aon % Eanes Fw) =B (Sap ¥.0) rabies indstna, 5m)» BG). Seal W) =P. Debemos mostrar ate 5 (a) 5(g, wa) Pow U sq. 8 4,00 porta rela) dl defini de As pus, Sge na) ay 0. "acon pba demos i yen wn ee Fshy stios Styconene une de Stix oe ave Ola rps vb montana delat Se F Eanes, Bap ®)={ 19 doeasaoes cada ag) ex CERRADURA ef, conga cdo do F Gsierona g)Sixoe oneness waparalesnsitoioa Sq sone tes Fenn egwaent, Sip eonimne mom essen F” Ene ‘oseatd s (ps)eontenenenaio de ieenteng, erences, eons tmesuin en? S18 (, eamenen gy gens en emenes na 33) (CERRADURA (SS, wha) lot een cr ACERRADURA €1@) yen det 84).Ejemplo29 Apliqucmos a conaryecion del Teorsma al NFA dela Fig. 28 En laPigr2-10hacemos un resumen de 3(@2) Padmostambn considera nig. 2.10 emo la Turco de vanscn 5 del NEA sn nsicioncse Como mean ‘Teovema22-Elconjuno de estado fats cle 9, pos eae chewenra en y tba inloe a, porque a CERRADURA © ())Ftenen un esadog, tec Fn la ig 211 Se present el dgrama de anions para M ‘ ,_ os ae | traced i " on eel tel & 2 Ca) e210 Baayen 28 Q ¢ ) Roo Rout OOO) e210 NA anemia ‘Los lenguajssceptdos po un aut Gita se describen con facia mediante spresiones simples lamadasexpretiones/eplares Encsiseckninodimos ts ‘operaciones deconcalenacionevradrasabeconpnio decadent denon Dresoncseguaesyprobamos qe e tip de lenguajesceptados orks suas Finioses prises tipe de lngunes que se paodon dese con cxpesones regulars. ‘Sea .un conjuno fata de sinbolosyL, 9 comjuto de cadena de EL cancatenacion Se, 9 Ly denoiada com Ly Les ecanjunt {yen ) 9 fe £,) Es dct, las eadenas def, entinfotadae mahal li eo fave, pula de unaedena cada le combintiones poses, Defias? Sel y= tL "pera 21 Lavceradurade Kleene (0 solamente ceradura) de 1, nota come L*, exe conjm., 1 laceradura posta de, dentada por L* 6+ onjnto vaQe ssvexenunonte meovuanes at decir L* donot pala constuias mediante concatenaida deciles mero ploras de. Les fo miso que" slo que shor secxcaye clan deer {Bubrancuys coneaienacinsedeinecomo © NoeesequeL“coniones 8 1) Biome, ‘ewplo 1 Sea L,=(10,1)96,= 01,1). Entonses LL, = (100, Tambien, ion, (10, 1)» (€, 10,11, 1010, 1011, 110, 111, Si .et unaalfateo,emtonces 3* donot a todas as ademas de stnbolos de como ‘Sestatecispovismente Nese quc no hacemos disteigmene Fcomounaiabet $S como un lengua de cadens de long ‘Sea Zn allsbet. La capresin regular sobre yls conju qu denotan 2 ein de manera cera coo ge 1. Ges ann eapresin gular y denotal conjono vaio. 2 © esunaeaprestn gular donot onjnta Ce. 5) Pracads aca Eo co an expresso ep y Sot lconjunt (a) 4. Sirysson exrcsiones regulates que demon los lenges Ry 5, respect ‘ments emnoes (rs), (8) 7G") sm expresionsreplre e Senta ot onjunos RU 8,5 y Re, respectvamete. Aleerbirexprsrone gules podemor omitrmachosparéntesisssyponemos sue tone pron sobre Is conetoncin sobre =, que la conetenaion tiene Froid soe + Por ejemplo, ((01")) +0) puede scnbase como 01" + 0, Tan Festa abrevar a express 7+ exetendo 7 Cuando sca mecesane disiguit fue un expesion epulry l eng denoad por, ilizarmos (7) praeste ‘imo. Cuando nohayaligaraconasonesaulzarcrasr paras xpesionh eg res parte enguajedenoudo po a exreion eu, Fjemplo2-11_ 00 csi cxpresion regular ue representa (0). Lacxpresio0 + D> ‘epon eda ls cadeas de ceros¥uros. Porta, (+ 1)°00 (0 +1 representa Sos areadems ecrosyanosconal menos dos ces conseculves. La exyesion ‘egulur (110) enoiaatoaslseaenas de 0sy Isquccomienzancon | yn tienen lhscerosconszcutivos. Como etadeloanerioretailhacer wna demestacn por indaceign sobre de que (+ 1 no tlene dos eros consecuvos+# Aun ms, dada ‘punacadonaquccomieacecon | yqueno tenga corescomecutos, no pacde prt ‘deh cada en uno, sepios den 0, sense. For empl, 1101011 pute prea Ts10‘10-I-1-Eaaparuiin musta quccuaquers desta cadenaseaien (10), Soscutgn cman ay scmoctetne cote #Sratcyenerenda; rapier tea)i e214 Cues nd can Te )Pein ‘cmc Plea CASO? F arr, Sean, y Momo ene Caso 1 y constr Mo (Q00,E,0E, 8 (4). donde 5c dads poe 1) Big.a)=6(q.a)parag en0,- U4) 92 ea ule). th Bye) (a) ii) $@.a)=4G.2)pamg en, y « envi) acon de Met dia aa Fig 2.14). Cala pein Mya es wa yer cq con algae xy vad 8 fy eps pol ‘ered qeuqeiincone sin asver pra yet eagsccon slgnacaenay gue va ssf Port, LQ) Cy [sea iy eh 8L0)] YL = LOA) Lt) Gamo qr domant (CASO 7 wr. Sea (Oy Ey 8, 4p Lf D LOA) =, Conyac MAO lah ErB Geld nel qe Bs dda por Slay @)=8G.6)=(4,h). 4) 8(@'4) #8, (a) parag en, (hb y4 en Euler. [Lacensruecie es preset ena Fig, 2.14 (0), Cage tnyetoria de 9, 4 fyconsiteen ua yectora de a fsb eo wa tryst de 4 soe Suid cierto nmr ponies cee) de uayectrs Seg 3 dests se ‘eeedea gsbreeeata ayer ctigicadacon una calena de LM) seu, Sve, porta yeti de ga sore una cadena de LM), spss sabe -Asipoes exo unayecoan al de qa f,conebaetas yo pdms ceenbirs vex, pralguna) 20(heiso = Osgnifeas =) aque cate e606 Lh) De wl qu Lh) = LM como dese, a ‘Ejemplo 2.12 Consroyamos ae NFA pra nexpesin epelarO1 1. Tomando utes qe acsharnos deine xn oxresionen aides (0 "oh, feques dolafomar,» cn dade r,-O1¥y rd Elana para, Podemorexpresarr camo 7.68 donder=Oy rl, Ean par tai Hes ne) a Asw verre ondonde 61 Un anima pares eo) —— @) Nes qua necesid do mnie lox stand Santas rents inn os [rok wiizar st mmo NPA para, ry aungue sean lamina exes, ‘ara consi om NFA pr, lice la cnsraen dea Fig. 3.8 ©) CConszya tos eb g, 4 48 ebb el misoD Fel weg, Y fy EPECEVE. ‘ems EI NFA qe resitaparar se macnn Fig 2 15(a) Parr, ica onsvuccin dot Fg 214), Eala Fig. 215(0) semarrel elo Primo tien cna de Fig. 2.16 pars encontrar el NFA parry Ea sta consecin se crear ds estos gg gan el papel 8 yf. rela macaraen a Fig 215) La prac de Terema 23s, en een, um lgrtmo para conver una pes regrenunsutinantin Sinemtrgn calor sone mpcamens ‘ue la expend repli se enue completamente ene pretest, Pare ss xpesoncs eles quem tenga parateeradundaies Jn dein ia expres es de Ls frma p +9. p9 0 p * Lo ance es equivalent 9 analiza framacameteonacadees eu gua ie de conte: ort alge emo és vera asa el Cap. 5, onde pee lease 2 cabo de ura manera mas ‘tea. tora Jems demos que ada conjuntoacepado por un ata ii es sna por agama exes repula.Ese resutdo completa el crcl qu presen en Fig 212Hee OO DLT OO or Cane eon NTA spr ep ep = 168 ‘Teorema2.ASiLesacepatoporanDFA.entnces dence pocuaexprsia emoswacién Seale conjuto aepado port DEA 4g) E. 64) Sea el conjno do todas as cadena x tle ue B(x) =4, 981544,-9)=4, rack y qu Sea pei gm ini de, diferent ax o.com PEL Esdac,Rsesel connie cans soa et alata para {sdelesado gal, snpusarporningin estado coy numero seamayor ack Nees _que cn taexpresiin epaser por un estar queremos decir ena y despots salir, Por tnt 0 pueden sermayerse que k= Como po existe un estado on ime aye {ert dene sees ue toman deg, 4g, Poder dfn do manera ats ga [(l%aed=a) Hey BE Valalae a) =a) vie) ifi=F ey Informal a dsiniciin de dd ria, sign qu as ema que acon gue vaya deg 8, sn pep um estat mayer que 4, Som 1. las que serene en 2” (0 ea, pues pasar par an ext wn lo como uo 2, UrcompuesasporuneeaenadeR' (uelevaai aq, porprimer ver) sesida porecrboméscalenisdeR!! (qu lows ast deg, dergrsoa , snpast pra, oun estado con miro mayo) spud por nt cadena (qv ira Bi deeaado, ay, etetos demos qe pam cada j y#,exlncuraexpresia rela gue _enoaal lengua, Prveereos medi ncn en Base (b= 8, exanconoito de casas canna de asc € 01 Siosioe Rena meteactbineconone asa oat git esi njyendonds yoyo) eslenjn deeds losin tas ‘heeigobee Sones kanes toe enlew f= /)ave camo Indaciin Lafiemlarscrsivapra 1, dadaen 1) sb implcaslosoperadores texpresons rele wi, concaaciony codon. Porlahiptesiseindue. ‘ii paracaa¢y mens na expssn par 7! algueL( f=!) =R PAS! ck, promo slacorar la enpesin raat (eonene nets pe compe inci. ‘emia a pte yo emos ue sarge uy = et, peel daa rapsorae,g, Deal {ened prto exer Fy trite tty en donde F= 1404004: o ‘Bjmpla 213. Sea McIFA queso mustacn a Fig,2.18. Los valores de pre tas fs) rae =0, 1.02 ban en a Fog 2.17. Sean lao ies ‘eualents eat hs expeesiones oul como (rs) =r y (#7 fr sinpifcar as eprestones (ane Frac? 16) Par empl etter Fabland, laespesign prac da poe PY + a = EO:ete Faassiegb 2 e217 hd depen ca 218 Deena sini, Pyarhiehatehs +s = er OME Rosmscend que (e+ 0) esque a" y abe H+ fe ojk tenemos cs esuvaene y= Woap(er OH +E Corser qu 0) (+e equivaenten 0%, Apu, 00) aso ot st yrtnoa i erst aconsuncvala capes pla pe ge +P centans eros desequc rye rhidateie tee (e+ (0+ HO1}(0-+ 1900) + (007 =a 1y0 + HOE 10)" + 0" pheriiehstehs + ebs fo (Os HOrtte (0+ 1p) = oro yoy De autans re (0+ 1009) + 00) ‘emos iso al aunt income un id de con ue Ke wa in, ‘ikndoas un cada hacia derech ex caa movimiento, Leapregamosc! 00 6 ‘ermine al moda, que pera exis de mocha copie: ea nid de ana y as pode aera cn de mana silos, Ea spuds It ‘raicones que pecan cambio de estado in ert simbolo snd © ‘over cabeza defen, Ocenia spr ue a ita tna [cay dcmoverse ania lizguetdacomo ala ert, Un asta node ‘statriezasc coon cono aunt de dot die cione, expla va cadena (Ge envad si muvelcaera de cna fara del enzo deco el cn, ‘iso tempo acces n esd de cep, Vtemos qu aun eta generaiaion "oes suficeme prs aumento del asinine: un FA de ds decnes ‘Sto sce compro ogdarts,Slaneme dos ipa psn leas especial de SFA de doe decors qu es etcminsio,yeacsbert cit tbe mone ‘iia Is aqueds ln ech cn cae movmleno (oo prance sack) En Jes erin se oma neaea on mvelo mde penal Un aunatafnis deverminten de dor eresones DFA) su gla Mz (QE, dogg Frcala gue Q. 5 9, Fs linen gs garam 9 Bextra traormacisnde QxEuQ te )-8 8 (get) =tt).cnonce cht estado g. ‘rientocI sino deena i2DFAcaacaciesalapymucve sueabrabas ‘aisgird coat. (0) (, el 2DFAcnua en clesusop ¥ maces aber hea adc we, ‘Chandos hin la descpess del components de wa FA de wa cc, ntendmos 8 Q»3*, Eso conesponieecotsdear a FA com sera at Simboto chum canal deena, pos so y pia et sigue. Ese onesies insta part FA de ds decom y gue IDFA pe mover Sala iaqucr Pon, aoc dca ese eseribcado on its ‘ela mayor mporanca, En iar desma extend 8 ovodeiemos cl ancpio { descripciminsianténea 1D) ue OFA ue deci a aca de erase sudo ata ya psn auld acabera deca, Desps nods a ‘sige sobre beD, al ql, i sy slo puededelararcde dria ‘asin 3/,en vaso oie, ‘Un ID es cadena de 2°Q3" La 1D waren aque wx einen Sy 600 ews ainsi deepen los gues Pech 1. west clera dcnas, 2. gesclexudo seta y 3. Incabeza de entradas cocurra yen pine stmbola dx sie dem coda Defines taicién {;osimplement t,x esteem, msn: cecees a catera de crash movida fsa del ost derechoa, Heyes a, 6.0. ay ME a 5G Bay 0 A, Py Sem HE Signer > Laconn'> evitasagieacién encode qe lacabeade icine overt casi dlenvema ing de cna. Noese quem poste serum me it se cara dementia eh sal el exten derecho). Sa i relia wana de Exec, 7 1puatngs © 1.01, My Some aoe on hy paaal0as ut ‘etnies Lyne twlqge ena sigua pen ‘runs, w esac por i comenando eel est gon w bea cin ea ancinenel enero igura ev. of alesis cen unestad a septa aompe que ale del exteme derecho de acide nt es tjemple 2.18 Conse wn 2DFA A que e compo dea ar Sue Rael cso gy Mf rt code moins fos quate det Sreeitiucioadrchahaes que cuenta dosunosentoacessemueve bait rena hanm encom uncer, cele ese lesional Yeh ae ia rvtrnene, poses estas, odscloestaos as 6 edveninFg. 218 of ek ee Sf tom Gee Si iem Go Fig 2it Resin dei pel 26 Conia cade 01001, Pos ue esta ini a primera TD cs 410th Pan eben a segunda TD me cua ave cl nolo av etd tose tente ala dec Geese qeniapimeraD esun 1y 3d 128 4 Freee ta scpuna TD eb, 0101, Comino de ea cr games of ey nae a Tb, Doaguque fame erevaetadet ae us ciaca nesta deacepatt, Prins, 10101 een (MY sot0001 gt Emaar E tabi: Eigatot Cota: E oidgat E toon c Fiona, ‘Una pesado il del conprtnmieme de un 2DPA cons em lead. 1 {yesntigge sic ncaterny ced que sefoquccadave-quesecua ones ‘redo cord nit can aspen gu el Conca c 02.0 ‘has ames de mover acaba, Por ejemplo ex a Fig. 2.19 5 preset el com- portent dl 2DFA gel Egepia 21 ste 10100 ee e219 Cony t 30 Pago? 4 a se suds or dn i te cote eon se ano sates onion eh sae gia ‘Sands eer un etd ache vee ea denn ‘th mann d20Pa sno deca erature ‘nunca caer fuera del extreme derecho, - “oeners pe een e nie ime cq com om ners Waban hate ‘asec tm on ose Pre, emeno on ‘Svinjr sauna ean ovine ‘Esta ie urepesenm noswess haere ‘Stepney qe nevada ena na. See oom crag yd gicise ht con mor par esa iticos, URADEA Fae eo rar vs con gin condo m0 at concn 8 ge Se ar Sonar gece opna prin Cree aha cen cfs enn sa Cp cna ann de ae 68 NPA ca con eae worst ay ~_ a cial pce snl i a a at) PPP es mis se ean eupcnanent Nic euch ae ae a crip cura: notin Seo dl sin. cr esa ain SN PEM Ce oe seem menage: S82 connate gmetad deuce amietacactcsao De ora ic a cana dain encyclo 2 A Cone moan pos oa sor cet onan hem latene csons A Ree toner on nse ° ta os inios (20) qu dan ms alate dtinimos, mana recuse en coalesced gerd La cmc Ta Be ncotndeh co Pme rene tpn ab ial amas @ 8 seas docr gusics ne cae cue spoons akaanosachel Sa Ecc mat Fe figura pte sheets eh. {La seven ala concer praia y ora recta co serum 1a macy naoresalcetgconicn.emanessc HEF” a eau cenguode lords Inca cwas |) oo ee eran part daha PnP 9 BQ) = NS Sto tees pra cn Py Et ere cas ‘sie nguicrdaes en ches, ya cabeza se eve inmediannsn as ted nate non guns es ds cats me tee como, cenrano enc ce de i gn. Sa ecient de never conuprimercrichaca SS, {Sinan rg conus pore ech - Bi eee en Sa prlaeged con pr? Blend Coy ®rsmenees Si se a Seta yn E80 shins el te cdaeas hae lest, 7 carta we move diet ia aa ln penne eas ex ds eres ms ch oe concn, comewan con oP Ee dl ine doen ce conn eeniaents qc prime cae ean a aa son pur uc concur ota Grech, NSES que ec se yg ceacisoneranes pe aes. nO ‘eid tio estamos inexesadosen pares qu concuerden pola dere, 19) Sig gjconeverdaprts gua opp ¥ St = 8), eros una concur pola ngaedcn pp Laas pre 3a deiarela 1») Sigy sng, concur porta deechaconp, 79 3U 2) (4) eons fun ctneverdaporta queria conp, "pL stain es peidaa cei rea i. jemplo 218. Consties al 2DFA Wt del Ejnplo 2.14 yw caso de cnt ae ‘oneneal into. Laseuceciarulaconcveraporainursatasecicacia nl, 9 Sta, 1)=(a- 8). Por cao, concer por adeechatan sole 1 poral (in Pesto que Bq 1) = GE ge qycamennds por ecco se 1 orlarerl i, Est debe seri cas ya, dehoco,exite wn clelode cepa ‘nel qo espa de seevencia enlace Racin ingen dveta de ‘ncundroqeeConieneun Advert, sncmbaro, qc upd sears polak ‘concord angue nexstaun cleo enelcilpureran yaa ado der, ps ‘Srinpositeenconrarcadeas fsa serstundsala gues dace gue cirri sels alas xaos cots Pauivlenia de ls autimatas Finite de una y des drciones Teorema 25 SL es cela por wa 2DF, eons wn eonjnt eg. Denosraciin Sea M= (Q,¥,6, uF) 2DEA. La demosucin consis en eosin un NFA qu ace aL), Dense como a ata emg Phenlague semana a (consist en ds a scence wis pra sla eccrencurads qe coast wolame ge cel anpnie ode las scuenciscrdas de longa ano y qa consee ‘nunca de, ‘(a= [des oa sccueniacruata iia qu concer pra decchaco8| soe senda} Nese qe como des wld dete er de np par De manera init tenes de que Mees peal eel de ‘afore coe lee de end, so fae adnan secs cas ‘scosea: Si handiimdo ger exlancuecicrzada enum omer y uta st sigue sino de ends ences AF puede avinar eur sceueaa ‘za vidas lagu caste porladotects abe lacnzda, Sil eSevoativnao ene camo reso M moviniosefuva del emo derecho dels ema test test de acelin cmomnes MacpaaM). ‘Mostar. hom ie LM) = (8 Sea w ra calena 8 (89, Obseve as sccapein eras qu son gncadas por ncaa de sepa eM abe Ca “a secure crazaa gusts ports dct con ic encena ene! igoente ‘in asque pond adbiaa suena grog enie esc) yascpaemanersinere sien fA), cosa arc A iene fe A nme tae "te Fac, nda oe Fomcx co cA eG ftae mean wea mimi monn sn 8 ea eres bss por ifoscnte we Mh eee ee le 41H i onvenelciog snes, tes esos Je My, dtrminan le monic cos por, Una adc Sobre mms uses 3 esas yn, SRE CTH 8, 4, ome as it eos, aro xaos [4 14 -Pon Heeb y emitelar sie by by Fjemplo2 9 Sea, amiga de Mealy ue serene Fig, 228. Loses lado df sonig, Yigg Med P yale ye seed = bacon Ignis nici de M, Enlai. 225 vemesian as rans sas de MMe Nese qu lena ounca psi er aces ype imi 1 APLICACIONES DE LOS ALTOMATASFINITOS Exicungrannincodepobiemande dtd ofwarequessinpifican mans [Bcomersin aac de aac de as expen eles 2 570 Inenucion eine de computa de) somata (nin comepondene, net feseme hao meneame dex dels pleaciones; ks mas Mogsfis ‘rote elereaciay ase as pean, Las nes on nd logan, ass, exes Irn can gts For ees AG on casmyceae ombincaneuaa car msn esas linens gin peepee s ew) ea +ghoy* node "ea sgiica A Matis Zea aban $2y pio" 84 Le 49, {os idonaiiesdores de FORTRAN, con un line de lil desis y tn eat ‘nga alas maysculas yal sinbol sued apes om (ous) (e ea igi? ede sgica S++ B47) 1asconatsaraticasdeSNOBOL seem pian x essing) ae Ke +1 igio (gio + €) + Uncen micro eeraoe de anlar deco oman ca ala nase dips psa eccrine pce ano Suttons acta, orb geome weno fala an HPA con rancor dps oma soja ea feast ur = decartcogdeclmarimer anon {Esse in men ptr go acta nad, demo gel _strat en dun muna Mast Lavon esc OP ok t} quecomsise ent as ‘los ey long eu cana erect; es gular Spsngase que L ‘Spay ea stemor lama de sno, Seat =O", Sep tem de snd, ‘puede ears como ww en donde sb] “Sm yur w eaSen aia 1 Enpaniclr sea =2 Sm ombargon? < lav] 9 valor considera como miner iro & emo Hares so dl ota deSendo para demestar ue no es rgular Necesianos ds resides elated Iesnimers-Epimeroconsse en quel nmr de rims sift y uc exisen, conscuenea primes arbiranaret rads. sepa dbidos Ferma 2 xiv poe p psa cual numer peo p>2-Dicb eeu mane, 2 tmp (eae Hay y Weight (1938. “Spang qu Les gu 5a el neo cela de sono. Sea ¢ ta sprain deunprinn pale p 2", Ungrimocenexacarceriica ‘Se puso gic exit yn nner de eno. Pella de ond pros ‘eis oun yen doe > ya esa eesenci Dinar de eine [rato Scan, yn, sales eu,» yweemileadoseono nunets bio Sia ow sin e-erioncésm, on, respsctvamenees0 Escoja! =p Enonecs, sir eslarepresnaion bina un primo g El as numa deg ng ILD EPI Porltcoremade Ferma, 20°= no. Silevaosamtos tos alaptencia i sedremoe 2°" map, Poe nk. Seg 1028 4,.420-9%) Enon (=I guces2*!— map Eocansecucnci (2°! 1) & — Hesse nue. exo Nels] p > Ig nope spo. Per sep mad ‘ono lareponatacihineindegciealnquscranaconsadicee, Comcast 532 FROPIEDADES DE CERRADURA FARA CONJUNTOS REGLLARES, Exisen mckasopracions soe egal conju regs fel sent de ue ln opracionss apical os annus gues da COM ‘ula conju gues. Pregl, ls uni de dscns repues es ‘ooh repays quc sr, yr uo exesons reales que epee 3s enjunts rogues better, repent LL, do forma a “Lut tbe cepa Bs ora sin, Gconetenacin de conjntos regs ‘an cojuno real a cena de Klone dun conjumo epee. Si ctas delengajs x cert aj ana peace pica, Iamames cschechoutapropiedaddecrradara lacie delengus Enos paicdarene Ineesaosenaspropledades dc ceradra fects cnssque dass sce Poraoslenusesd cls, exis un algctopara consi urareresentacin del gai que sca predctod laaplacin de operaciones lengua. Prem lo aabamos darn algrto ara consi una expres el par a unin fe dos enue epresentaos or expreson:s ular, demo que a cae de enantio egulae ectvamesz era con expec si, Ls popiedads Se cematuraqusedanenesc ibe sonefecivas, menos que seine loon. Debed observa que lasequialenis qe Se mostaron ene Capalo 2emre tos ifrenes modelos datomatas ios exesiones pares sonequvaleeias ‘tetas enelsentidod gu valores nem dad prasad reyes {sea Oa. Porta, l rob popes cera elctvas pcos econ 1s represen que mis nos conven, por To geteral expresoes regulars © stata ios determinsns Consseraemashors una sreeiade proiedabs {coma de conpnen puree os jeri Se dan 6a pops de eens complemen ‘eorema 31 Los comnts segues son cena con respecte 1 ui, encacnai year de Kleene Denosraciin La demostacd sconcluye de foma ined a pati da de end eres regular a Operaciones bode ‘Teorema2 Lacs de vnjutos repulse cera ajo lacomplemenid, EsdocrsicounconnnoreglryL © Z* clones" Lesunconjtorczl, Demecraion Sea LW paracl DEX M=(Q,3,.5.,.F)9 & 36 Primer, ems sooner $= 3, puro que sexs nto de 5, que mo en oo EE posemonstimiarastrantesons de sae ls sinbolon qu einen EE ‘lode quel © Snovabguraqucnocanticmosel agin de Siexstnsimbols {45 uc no esi en, ete ninguna das sinlos puccench as plas 4:1 Posenos inode porto. ut "estado masta d enlfcon 8a) =a para tuna en ry Bcqua)=d parutodag en Oya en —2, Ara, para acl a 3*~L, complements los esas ales eM. Eos, sail = (,3, fot go -F) Enncce ace na paltry 80343, then Q-Frendoee w olden 1 Notes qs my porte pala ha ‘ue Bes dco y qu notenga movimenios © o ‘Teorema 33 Losconjans regulars sn cera con respeco a ainsi. Denosiacin t,t, = 77, en donde sar denotacomplemenioconrespecto ‘um alae gu tc abs dias de 9, Lacemadracon respect ala Icscein se coocayea pst d Ta coradua cb espe a unin 9 Ta cm emeascinsolos uteri nconenesadinendonDFA pra sec de dn conjnr eple La cosmic el oar prot ‘Shes deen idee de oma signe: Sea (Op Lots oF 98, OnE dy Fy) nants ios sesminsos So MQ, * OnE Hanah Fs «Fak endond a p £00,7300,9 8 68 E, Appa =n abo Se pune mesa de manera secilaque TM) = TO) ATUL) Sessions homomorfsmos tacts deconunos glares pose aires propiedad eer cera cones fsa lasutteconenclsenudosigintePuacada simboloadelalfabetodc agin ‘jun reguar sa ynsonuno reulparucul Sung queemplazamos (upulubaeya deport conjut de pales la forma 8 ‘Slnte nes ua plas culgio de ,, El esd enones, ssp wn Eenjon fegln,Beimarera mi formal sa susracion f es una wansforncin fralaicte 3 en sutcojunos de®, para algin alfabeto 8. Patan f asian Ttnguje con cata solo de La vanformacion f se extends a cadens a mar sient: 1 ferme Lp eases ‘a eansiomasin 5 evonde a lengujes mediante linn fy~ Use Fjemplo33. Seanf (=a yf ()=b"-Eaoesf ()esellengiae (a 9f Tee Tenguae qe Comite cw tele cade de bs. Emtncesf (00) e8 eh ‘Solera segue abea Si Les-el emguje 0 (0 41 )1*, enooesf (1) cs Sas beer eat, “Teorema tA Lavine de cnjnos repulse eats hj a suticin Denostociée Sea © E> unconjontoregulary,parcataa de, sak & O* ‘aicn on conjnta gla f= —+ 8" cs la suse defiia ef (a) =, ‘Ssicsonense cxpesiones rules qe represenzn a aca, Reemplses ads er que se del sinbooa en nexresinreglar pa porlnepesé esr porn, Paademosngolaeapesnepular gu resala representa /(.obs¥e [pci Situcign de unanid, prodoton ceases nui, roc oceraia eta sustain, (Por am, prep f (LW L,)=f (.) ud). 1 Usa spe induc ote mer de operate expestn regular completa pu Noes gus ene jmplo 3 caleulmos/() mando a expres el do ‘Los{d+0)I*yssityendoa porO yb por. Elhschode qo expen regular ‘eluate saequvleneataexpresGeregubrndssinplear esmeracoincier, ‘Un tipo de smtiacn qu es de especial meres es el honomoris, Un memories besa ssn al que (a) comene ua sol cadena pra ala orto gene was h(a) como ln cae la ms qe conan que Conte al exdou Es de tad fin imagen homoméficainvesa de Tenge como uy Hs) onsen 1 “También itzanos, pan cadena w i) Fjemplo34. Sean (0) =an yl) = obs Enwaees h(010)=aaahaaa $2 6 {Otyremncesh tL )es(aaba)® Sealy -(ab-rba)ea Emoncesh "2 smee ‘ons elacadon |, Paraverexo, oerve queun cadena du comenee on ‘bropwodescrhe)puncalqvercatemar d0sy Is, pustoguch yh ()eomienn ‘alban coo una Apo," Gw) eso vaca we ectentach Ly enonees ‘rcomienza con Aba w =a,encajocas (segues vaio, ow es ab’ Baraalgoaveen(ab+ baa Corlutos que cas pals ca hw) comin c08 fy como i) aba’ debe comers con a. Siw’ ay tntmosw =aba > Mads (I) Sirembargsiw’ #2 enknces = abe yea consecucne w= fae” Peo ninguna cera de (0 +1) ene h(t) ue eomience ab. Por ‘Sonsgient conus queues vaco eee eas. Asis ndicacaden ‘esque ene una imagen inser jo A esab,y porta FL)» (1) ‘Shuenese que ACA) = (aba) 21, Pore conan, il mostrar que deb) © Ly hh) mL pra cage lengue ‘Teorema 35 La cle de conunos robes es cea con respect als homo mofiamos yas bomomorisnos ives Denosracin Lacenabuaconrspecalorhomomocinosssiguinmedaanents Spurr delaceratiacon especoatasasive yaqurcala aomorism esa Sistine aga Ho) ee wou som Pas taal censors con respect ls homomorisos inves, ean MaQE- dag, Mon DEA ue scope a Ly b elhonomedsno dea 3" Consimes un BFA M” que atepe ah) mediate tia del sino a de 4 Yauesimole al ste h(a). Frmalmente, seat =(Q, 8.3 9 F)¥ dense Bigeerraray enQ ya encomn B(q8(2)) Noes: que) poole ser uacadena tae pe Besdetinhprsstensionsobetocaslascadenas Esl, porindacun sobre IT que 8 (ay #)= B(g a) Pr cosine, Macq Er aly alos sf acepna (x). £4005, LAWS = LN). aFjempio35_Lainpaarcia ds homomorienor los rtomrfismos avec ‘ai en scape de singer demosiaciones, Sabemas por myo. ae {Or In =) erm ruler Deana tua (a an I) eso ela For lnsmsnas zones Es eis wlramos un FAM que seep [2 Bo" | 2], etanosocpar ("jp 21] moda asia de steer ea (x0 Castn es vistl per smule Mf sobre b ye aguc adelante ena sobre paca twit. No cane, pr ser iroso es nscsit ny tar frm que (e" bo" [n> 1] ex no rel Exn se hace montane gue (eran 21) pede ser comseioa (0 1° | > 1) mediante as de opcrac ‘se cnserven a eulrdad, Por ano, ab" n> 1} ope et eple Scan.y hy bs honomertomos nfa)= 0, la) ~0, afb) ba 10) hia led nce lb othr 2 1) ater) = In Bh 02) snes" ((tba 21) consis cn tas as catena de(a (ase ales ‘quel ier de simboto qo anocdcn a uno mayor quel mer de sin Tes uses dsputs deb Por consign 5 Marbarn 2) athe = fhe Lacan 3 2)cmoncesseconcuye de mancainmeita medians apliariad Si (arn 1) fa egulr, conc, ya que, los homomnfsmos tonomer ‘isms inves ylnntesclon con un coat resulrcomervan sa ropa esr regulars $e eonclura que (0"F je > 1) cpu, To qe implica un dengue jeros ahora nes tec a ima pop de cra de os conte repre, que se demsvarien eases Uncirtonimera med propssdesde Sra dinners Diente cs ga by aie (x}enaey ent ut we yestien Hjemplo36 Sean, 0°10° y110°1 EnoncesL (1 crcvacio Pees que sade 9 del enedos ty Cadscadon'sy que sence, pune so Ino Gris aque ty eaten yy ea ‘Sea L, 0°" 1 Emons (02 0%, aque pra culgucrs de 0* podens songery 21. Escluoquexy se ncacna en, = O09) en L,=O°F Cao Taspattbas dey, denen es psibleque ls palais end end en anit, Como ouvejemplo 1, L, = 10%, yaquearacada de 10" psemosecoger, sdengevo,y = tae yy} slardeniy = 10°1-Srry caienl,y) tals, omer fess ey vide que teal 10 ‘Teorema 36 Lacs dconjnts regres es cerada con espestoal ase on ccmjumos arbres. + Denosvactin SoaM=(0,3.5, 9) unamaafinitoqueacepasalgincosjant regular Ry ca unkngijeculgira Eleosent A. csacepaporan sua {into M’=(0. 5.8 4), quesecrmponacomo. excep ue losesttes tines ‘eM sonodoststadosg de tlesqueexitey el paaclsialé (geen, FEmonces 8 (,-x)estienF'siysdotensey tl que 5 (gy) esthenP Po temo Mace 5 Seder observa que a cnseuci 6 Teorema 36 ferent aos bs ‘asconuccions bctsenestecapto ent etd dequenoesctairs Puss ‘ve es un conan caus, pte no cx gin agorimo que dermis exis de tal qu 8.7 eaten Aun essinpinos La luna cls ee Senne de manera ini, paras a peer na csratn eta 9 mes queens un alpriano pra proba a existe de cha) En cect estamos Acendo qu pra cniuer segues exit alin Fa ue con F como anjuno de estas iss, cepa Sin embargo, poriamos nose capac ‘kei cul subconhmiodeQdcberaescopenccomo#Enlasasene secinveremos ‘ue sun conjumo ela peemosdtemin Fe mado gue bs onpns ‘egulares esi efectivamente eerrador con respecto al covieae, con tn conju ela {13 ALCORTTMOS DP DECISION PARA CONIUNTOS REGULARES, singont tener algorimespunepondralarisenscueionescncemins lncojoos glares Ls ode epson shor lye os tt lengua dato vac, nto tine! xin conta ease su letra, Anes eq parece vse lprincs aarp Stes cosonts, debems dcr ste arena, an cas popes Sopendemos oo connor elas ea rerenno yor asics fa Fanos umber spuestoque cont eared eta or txpresones glares lpr ot tain go cists faces cna desta rtaiones a aut fin. No shan no puede natin reais hy ren ws lrin rn) Ps eas represen puede me aportos pr dts eg thiocal ae a “ee EL et, eb ap, pde seni a vo que podanos dein vn enya reget ac Verenorenl Caps, bro go pura ‘toes de nga ners ago pad conenare‘Vaculdd atudeiniitud Les alorsos pra determina sn conn repr exc woe, fit into unde nar Dao ote siguiente erema,Ducarenes lo alaiinos eens (bsp de preset ercma. Teorema37_Elconjn éorationesacepads por en ausmata fio M queens ses 1 osacisl slo sil atsmas frit seep uta cise deongiud menor. 2 Inia so lama ace lg crack de ons en donde ste, ‘As{puesexistun gran par éeerinas vn atm ito arpa un nero Fn init deeraconeso no exp nie. 1. Lane “se obvi. Supingase qu acpi au conimo no ve ‘Sea w ua pila an cona como cualgulr palabra sepa, Pr cl ema de sonden, ble prgu si feral pala mas conay fo) > n csoncrs wavy yuy esis cna enel ena 2, Siw eulem LW) ns In] 20 enlonces prema de sone, 180) sito Esto em wy Prosi exten De manera Inve 5 (M) ef, ences ens w ca (en donde fol =m Si w e2n,hemesterminado.Siringunapaubva uebelngiudeauen 2a se dang alonnas de 2, pero ancora como cui alae “iy ety longi sca mayor 0 ian 4 2n De msvo pore ema. de endo podemas ecibiw™=w e001 en 9 yw en (Pods sare dos stuacionesw nia flabea mi cona de longi 2n m0 jew, lestheazen y 2x In En amboscass se been ara condi, Eagar (1), algsin pra dei LM) ex an aoe “Vie alguna pala dong has eso Esicla queexiteun proces gue (ara qucse dena En spr al lg fra dec) ae doe salu pala eng compendia enue my 2nLesthen LM) De nies, esobia qu exit am predentin tal qo garania qu se dtd. |) eteroscomprendr qu ls algo sages cl Torema 37s aie ete cficiecs Sin cmt, pude pot con facia st un DPA ace a enjum vactoal amar su dlagraa de varsicones ycliminar ods os estads que ‘ose pucdenacacasobrecuhuerenradadeste esa ial Sermanece ono ‘mata Grates ellengajeesno wai. Entice sncambirl ena sep {o,pcemos limiar todos sq sean ley delaras po alanet tu esdo ima EU DFA accpla an lenge sfisto yao ste daprana de {rnscions resin dene un cll. Elmo mio fuscions pra os NFAS, pom ¢etemor sei os ens un cla tus con algo adem de © guinea Enseguide Rosaremos qe existe un slgorimo pra dete si dos ast fins acepin ema ont. ‘eorema38 Exe un algorimo ps determina dos amas fos soni valetes (6 ds, span el mimo nga) Demosrace, Sean, yM,FA quescetan at yL,respectvamse Senos teoremas 31,3233, 0) UL, ole stepper agin ata fn, My Es eile gue Maco na pala y loss L, #1, "De aq que. pred tema 37, xs an leet pr termina st, o | TEOREMA DE MVHILL-NERODE Y MINIMIZACION DE AUTOMATAS FINITOS Rocutrdes de Sec 15 nes csasisa sobre relaiones de equivalency lases eeqivalenia. Podemosasciarconun lengua cages na lain de ‘uve natura Res dot. yy Slo sk sca, x yy tne ‘no locsn. Ene! por de os cso cada cadena et por ai misma, em ua cas de auivaleca propuedehaermenoelses En parr ln (aimero dees ‘E equialenca) sempre es aos ean cot rel, “xis ambien una otacion de guatemala ls adoas soins conn aida ft, Sa M = (QE, 4.4 F)UNDPA, Pay» e0 3" Sea Ry Sy slosi 8g) 8(@, ») Lareaiin Ry selon, smi y tana, ‘eso gc sblo “ce ales ropa, y porta yes lei de ‘Stualencia. divide el conuno Zea cisesdcequaltc, bap ea ue se puede alnvar desde Ademds xR, cement Ry3s para 23>, yr spinel eee ay 2) = Gy 8) 2)= Ala 2)~ ao v2) ‘Unarelain de quale al que fy impiqux Rye sed que snare ora derecha (con especial eonetenesn). Vermox aa ae ats “nce una relacindeeualencia ive porta dere, esindacomo sels I, Sobec scan de eta Ese eld ve fomaia ene sigue eer ‘eorema 39 (Teor de MyhilNerode) Las uss poposkones siguientes on quale: 1. EleonjnoZ © 3* esacepiado por agin sims into 2. _Leslnanine algal de equivalencies econ de cquivalnci Ivara pra drt de die fin. 3. ‘Sea taeacion de cquvaleca deta por <8 y iy sos prada = cn .ie etienl euctament cuanto? een EnomesR, deDeneevacion (5G) Supngase gu es aepad por alain DFA M = (0.5.5.9 FI Seay larelacindesqualnca «Ry sly tlt 8(@ x) tq.) yer orl drs ya qe, pra caakguer 2 si 4G y 2) = 39) )emonees Blau ss) =8(ay92) Elina de, fino, pono quel iit eect me ‘tosindmer desados de Q. Asana, Lesh nine agua clases de og “alencin que uyen una cadena x tal gue Bq) est en do, as aes (regular conespndins as estas fies. (@)-+€) Monamos que cage lain oui qu sisga 2) esun rafamiento de eso, cada case de equvaeeia de Bess compleamene ‘eid en pt cls de quvlenca de Por omen m0 unde sor mayer scl ined y, ports ia, Sopngass que Eco Eesinvanant pleco, praca? en E17), ¥ por ano ye ERs y slosiaeexden . Astpucs. 7). enconscurei acs decquialenca ‘der en estscomeniten nln de equialniade x en, Conelvmes aca ‘edo equlakcia do £ en conenida cn slguna se de cquvalenca de, 8) Cy Pimerodebomosmosrarqu sinner lndreha SepSers He 2M, yyseaw umeadenaen Debemos roar aera jvc paca oahr ean L eaktanone cand yur een Rep comor , y, stuns ports dfinlin df que pracualgut xv een -enacianeme cia y ex fn L, Hacemos v swt pra probar gue R, es invariant por la derecho ‘Anes hagamos Oe conhnto Gnd de els quent de ye} st lemento de Q gue cimcne ax Detnse “Bs na) = laa | a dtineséa cs ancien, ya gue es invaran ori dre De ber escogid on gar dex ‘elacase deeqivaleca [x] bras bende 8 (a) = a, Peo xR). as nL enactment aula yar exten Ld mo que satya y (20 ye Sea [ely P= [le Ix estiend)-Elaunaa teint =(0.5, 8.9 F asp 2L,pucstoque3 Cg .2)=le). 9 po bata cd en LW). ysloste els one a jemplo 7 Sea cl egusi0*10*, Les cep por sl DFA Mf dl Fig. 32. Conran fy dina por M. Camo toto os stados Son aanabies {ssc lsd incl ae se a equate gue som C= (0, C= 00} C= 0), C= or0*, Com amy, cy oH HF 1 exlaumn de ue deesat lns.C..C, ¥C, “Late A paral temo «Fy 3 30 comple un dea gos Dale my posen ts 5) x yy denon un cada ua. 0 1) 7) enon ean ns a Pes cjemplo sx = O10 yy © 100, emances seston Ly siz estien 0, soy es enLtapetatent lar mat cones, Como seta. x=D1yy =0,enonespodemosesogers =O pa our querR,y esta Eo (58 = O10 estbent, pr ye = 0D mo es, 2 Petes raisins qed con 20°C <0°10¥ Caotintiwriyrcerctimpue me conccnSabiaercasttnens Eup sowikaauniede Cn cere Fe Rese Cee ate Ate podem consrirun DFA dlaanerasigin Times rep sents de CC, 9 Cy lgamose, 1) 1. Enon sea Ml DFA qu mea nla Fig. 34, Por op. 8°], 0)= [ya quest w ecole aden (7) (pee eC) w O10" quan semonies eae mea: Minimizacin deatimatasSnitos torr de Myf Ned eno, coe oa consecuencis, a impiacibn J que rise un DFA dena minima ssocnnot nicaa counsel, Teorema 310 Elausmata deta minogue scp un conto ico ata un amore (ds enombramien de estas) yet da como Invemosiacuin dt Teoma 59. Denosracin En la demosricign dst Teorema 39 vimos que evalguler DEA = (QS, 54 ,Fgueacpia dein ima lc de eatvaenclague un ‘enanint ds Ror sonigwentcl nme dc estas de M es mayoro al qbe ‘imere de esta de del Teorona 39. ila gale ava, ewontes aa ‘od osetadoe de pad sr deucao con uno de os esas de Ete, cay unesinlo ded, Debecxsralgunax eal que 84%). deu mane {7 pode sot canna de Qala am atin hs peueto. Me (usw con cesta 8(g 0.x) de M Ba entice consistent S. Bteevs}=. Stay y)a.cmones gin demos del eorema 9.x yy tic smisma clasedeoqvalencia de, Enconscuctcia, 8(qy.2)= 89) ‘Un agoritmo de minimizain Exists un modo inp paracneaarel DEA de stalominimo Melos Toremss 430y30,cquvalenea aA alo i= (0.5, F) Seaesinbolo «talkin Az cauivalni sors os eto de Mal gop = sl praca cea de ‘ria, Sip sJesin culo de accplaciisiy wos Bg,x)esunestdode cep fasion Obserese que clu omrfsmg eae acl ses de equaled ‘fe comctcn un sad que pode lear date ars algo cana de fray lov eas dl PA ead mmo Mt ASPs loses BM psden ‘emacs on ests clases eq darn algoio formal para econ las clases de equivalent « de imo eens un emp En rine lugar snes cea einai. ipo (ieimosquep eseguvelene ng, Deco que p ex dma de Sex uns TuBiptedsenP y B(g.£) 0,0 veces Fjemplo 38 Sea cl até fino qu se mesa cola ig 35. Ena Fig. 36 ‘emo constudo una la con una ena por cia pr de esas Poems ura ‘nlotahacaa vee que descabviosun par deesadosquen pusienser equals. Tniamcnte se sin una Xencadaentata quconesponda aun estado tly uno fina: Ennues jempo,ponemos ra X ents ena (a, (P.2). (64d) (er0 (apleD ye. ie 24 Cade om eg [Ensegida pune fares yg queaun msesabe ssn dings, consieamos bs es desis 7 = 8.0) ys = 30 parca sinbol de trad. Size hamnerad qv xaos 9+ som disingibes mediante ans Ean x cmocerp yq son Siinguibler median Iaeadena.a® Terconsiseae ‘Slgenaa (1) dela bla one wna Xabi sdb pone fe nena, 1)-Silacavala (a no Ueoe wa Xemacese pu ip Secolacachna Sth {uses aca con cna (sien tofu, nena (3) ee una, moos ada pr ea isa aidan lca tambien erent Ra,at enlaces ea Cinna onto. 8) moa a en] gnome ne De aaa, ene.) ee ti eat 0 =e ee Tomah Terence) mate ib seme a Srnec nue pacancn 1) Ore be a pte nga dee Detoo acne. hen eee ntinasnncon b ) Cuno econsralacns (0) oe ei tcac runt pra) ani coed umtcee Or g)iacamdi ine 0. Ps nan coca ncn ces eee tate 7 de ats ito esa cater mega. Samen ass os es aig 3.8 ra clalepimo para marca rina 3.2 demnena qe emo dea tect fe ead 0 equivalents sang a iy said Sall=(Q.% ha Phan DFA Enncsp coding 9 Sy Leman wraps ala sata il es LDA Pee pdt cin penx ¥en QPP eo ei nna 0h 34.2) tients 8a ammene ‘ie 38 Acre mires aon Denosacsa_Supngase que pes sigue eqs ms peueta sn dtngeap deg. Pokomes por indcein ose ote nen at correspondent f(y 9} enscalda Site cntomes acon sm Se py ges esta nly age neta ssf en ea Dap, tse aipesss verde ty sel] ns Ese a=) Neuse» 5(.0)) = 3(ga) ory dangue 9 dey) |= Aer po Laps indica nena corenponnt spe 0) nd ge a Sieteevemoocuredpotsdequsetaconsrado cpr) onncestacas (Gea) yt sip macoda cuando cms 08 pg seemiccn la sa soca con -encoyocasocamaradsenalna Sp.) cms despots de al enamels a epoca Ea xh aoa nena 7.9 stl Us crn res sol nro far aados mocara ema (9) ln, eos) Sk Sitges EalgomodelaFip Sea mdsficen qu cleviene agosto pa macs aamgsenereimdscces pol Sn Funalatocont snesy Gens den xaos Lanes ta) aon Eleelode age vadels2ale oc ‘hens (veces al menor un porcaa pr een too gc nls ies 2,63 elem) Elsen qe inten tea Sessa ean dessa Poca )oecnaca mea esasen Ines PoranoetnpogstepatcnialinasesO\) demoioqneltonye ta anes ‘Teorema 3.11. ELDFA consi pore lori de lai. 3.8 ene ue shan ‘lina os stados races, ese DFA de esta mini par sa engaje Demosraiin Sea = (Q. 8.4, F)e1DFA lca apical lorie ys MP=(W.3,9% [gh F Ve DEA conse, Estoes = Ug) | gexaecesibe deste), =a) lacs) 8 aha) (649.0. "stiilmosuneqe dst definite maneraconsistentpuestoyuesig=p. erences 5(4.4)=5(p. a Estos, 559.0) se dsungue de 8p, 3) motane x eine at tinge ag dep. Tarbes ei mosuarqu 8) =) (8(qy a ads fn be Poreomiglens LN) = £8, ‘AondetemosprobarqueM Gennomdscsake que ene cles equialer ‘en donde L(, Supangase qe exo sae caes cnn ds esas Actes 4 y pen O tes use) [si embargo exten ry) lcs ie 8(gu2)=4.519,9) py AR, >, Peo suey ¢, pore sn, chonces alge eB itnguc peg Pov cmonees wR wf, porgue Poses tae Fs yotscrvarquscravtmentcnadeawe y seen. Prmctmo®, inv 7 Deore) see ome ple ge = petawon rane porla sec, Rye verdes De ag qugy pro extn meng Inreafogicclocke de, Enconeciesab es DPA Ses DOP, suercicios Cys esis gunn cone? Dome rep. > fest 8 testes 3 Selma nx enn $Ststfno su ta saagar gun enon eg cry 2 fentusastostryscn ste sesmo a exesgorgempla O10F= 10 2 tetpwenne en) 8 (ieee esr) 22, atcigsmocaridlne dx piasninsnepa Sota Sagat ncaa png rpegg ty hom PO ATeac edge ff Byram he 53 elope} pes oh [2 |2 oma ei GM__SeLancnjunn ei Sot hsp ons sit Don sdegeenseekent) Bone a he Sabet) 5 bites eeattL prec) ‘sx el penne tree ey en} Sty cet [sgn et epede een) 2 twmiye te paugmey eat putea Stedteacenth a eg i tenn a a nl min “See tol ey yess roe eat 3 asd ta obser eee esi opt 36 Maes ld) sore #39 Sabena bess dh ce ese 38 Uncnpmn eet nde ema p= 12) Uns Meitinanntss cerns naa Ser Sop cbse iro Saves omtoc fe Gudoreisnetecneecoans put Sign. ‘terse stro : BD Sekimori) =01, K)=0. ‘yma nd b= 0 Deunwendslenvonetys uray rtm onset dos eceedthy eens 234 094 mes een een 220) pa ‘slr meets idl egeen [laden al To ecsn ee ‘Shenson omar sentry | | wwAt6 Sea nine Ds 21)con0 | Te Tes slgaaylgue = [y Layee) | esac, vad ee prime iad a cn de ra pr eal egg 12) ree “ ple imo? el de nme? Dia suas gas | (aspuratem yen [Ly 4) oxi 5) toe) wena [sx tapebenL) fe isneyconl> |= 2"Layeace dh nema renin nh bar Eline steers abs pd nn dad ‘ba Eating snaclcaruasepdscmnr lace Pte ics 2DFA wa cna aspen lane cojnin tei [Sore ‘Meteora cng meer. Carrer username puna Pretec RFA de nculr [seme Tome choos on Beco 1507 SNOT1 cot nnn no complemen fi) 9122 Come DFAM, Seige gue Mee edo cin yo sh Jaane etme SoM Anne spngae ula tna rs eee Se eetine naive yuranintnsccmnsndreaesyohecrveniobs pele » dena nt ir Mn ni ») Beunagoien pt mi lograna reson eM cp rl nda is eyed acon eae snmp Terese pra eprom ua ena (Coenen) ny creeper) tae to cng parcn epost wn cong 9A fmt Hep) 3 sengs O02") so stones) ie3% crane 3125 aces enna ide sao mime equal Sagrana dense 1) Cesena dae quale de RL lero dei Nea eoems3 9), feat =iorepoay 1) Dic nega lan) pre mosque rel {Rept prsten un ues 60 1x29 Rese lends ayn mapa 1128 Sulfmuninnafsnconei Samp qetdndaingsisdey cine incon que leurs og stn spore ao even 329 Enun fA dence ene cone ee nnn atecdoula nancapainFArosepeomsencinas)yanatepet ‘anni dscns ocr sree sire de Tso oon uBvact yet int Stksend pleat? 1 Prat ques cntee> Ol gain lg 28 ream ego ‘prance peruano DFAnen donk es canes coe 1) Die srs pent a en DEA iS sila (K(E| nog, A enlaces geri Ea dt pages tip Sinn. donee. Sm nena. erie enn etn igs hp annie oe Putz deprcone Cs ern mae rina pan a ms ‘ets tgs mis pnts cde bs pe 3A) Ete 8g ced expla SEAM =I2.E. Bg, Fe Brawn amine bans A pets osreb sccconadon Extalhevarigin nih tscomperconnnsueat Doe MOL OREE MO scanp on 9 Sqalmtgaty 3) Basie bo on Par prota que Mela 2 mest por ints pa gue Yq 04a) Charme pun = 0, 816.€)=9= Big.) Sone ge eines er vexilr pts (rine: Focahpins eseca, Sia ssa Bla ay6h 28s) Ae esa) penn Sa 20) a s)= StH 880) = se aa) = Hara) = Hea.asa) Peta of, etkenLM ly sosia tanya! " 3.23. Cheamen, sp coir it io equate» ma ‘Stren eben ai epot senses Se Sopa sen UN yon cenveniesinc mn en: Deter ean post de soba vein Sore be DEA NFA yceomes lava cece el ens 3 Tacenser yaurent sep po pars iersein Sinem. nce MENS ‘nim denon. Como os opracres pune assoc Jed puede ‘erates iio onautiade rpc dani A, opty Ut A) pone grin cape ips open oma optic nary ng deena eases Senco ‘chars none sci, pnts mean oe cas een ‘Spanien evans hsm ele ‘tian nssbergresons dey nin 1 seas Se Lites Inala cons on Sieryerwoce Tavencs pmeclcander Pacem gence sok SLC reat denen sen tops recta nen set] [rp rtm canoe seme Nowcisconpans B “Suispinsyoryendanatcumageoes,-cnandct Pl 2 Shans |e ErTorot.a cata con pac sain et te et Seayp tonne wenstcmrapasincneen sos Same Le Terma 93st tata i ran de Me 1956) nt Re | ct pc pc sn on wah de Name {9S Erna smal Bere ba, oe ec “esse sl 1957] Ellin pan mimi mma ino dene Mitman 198 re 985 Hot 971 peor pres mar eine oomph 9.2 wk tt scemctnnt dr nasa pes i, fe eon or ny y apenas Laois em ‘mrrencondscama te use ssnsnal Bae elas aps steve {eer yor Stuns yarn] La eeraacnescome langue scene Epson fence Kor 8 Situ ly cvs ‘ete te sch content por Sly MeNatpbn 11576 Un si Ef coir ernest rem el Ung rm ici pr FA deominscr dn inte saat ei (3GRAMATICAS LMRES DE CONTEXTO 44 Motivactoy emvrropuecion neste capt inroducimos as rams bres de context y os engajes que desren los lengujes bres de contest. Lo lengusjestibred contexte, moos onjunts regulars son de ran imporancs practice, sobre todo ent + < ras verbal > < frasesuaniva> + =adjelivo > < frase sustantva > “cas sstntvas + agjetwo> + pequeno « endondclascategoritssinictcast sesriben tre pargntsisen ngbloy 1s ‘Srmiralesse datotan con palabras sin paresis como "lo" y"pequsto™ Elsipaieado de - + < frase sstanva >< tase vesbal> esque una manera de formar una rac (una cadena dl lenguaje eas fateporiassintdetescoracén >) cont nomar ura ase sustanivaseguie ‘dona ease vrbal.Elsigifiado de ‘esque lacadena que consist ont smbelo terminal “ino” eden lenge ‘Se Teeategora inden csosantvo >. Nétese que "ilo" es un soo simbolo terminal ao una cadena dete sinbols. Por clerasrarons fs pau ies de context en general, 088 co sideran somo alecadis parla deserpcn dees engujesaturaes, como el "spur ejemplo, st exendemos is produccones de (4.1) atodoeidiona, poulamos se xpaccs de oma "Is oc" como una ase sustativay “cote ‘omo una ease verbal: Por consigucate,"laroca core” serauna ora, que faroce de significado, Es avo que se necssita alguna informacin semdntca pura relamentarcadsnas sn sgaieado que son sacticamente coe Problemas mds ster se prsentan cuando se inten ssocia el igniicado de Iw orscinconsuprocedencia Sin embarfo, ls gramaleas bres deeontexto joan un importante papa ea igUstia computations Mientras quo os ingstas estutiaban as rama bes de context, os cienifcos dela somputacin comenzivon a doserbir lengues de proge ‘nacin medians une notacion snoeids como forme de Backus-Naur (BNF), {gue es Ta nota paral rama bres de context con cambios menores su formato y algunas abrevnturs Este uso de as prams libres de cm texto snpleado grandcmeat la dtincién de lngujes de compulaciin } la consrucin de compadoces. La rardn pare que se dsr este sucso, indudsblemente, debe en part a fem aatraten que la mayor des “omsriciones de propramas dc computacia son desta por gramslcs. Poe ‘jemplo,consdlrese el comjunto de produccones 1. cexpeeson> + + 2. expreson> + expres > +s expeson > 3. Sexpeesén> + (eexpresioa>) 4. Sexpeesiéa> + id «ay ‘qu define lasexpresionsaritmeticasquecomienen operadores +y*,y con los, ‘operands eeprewntados prot snbolo i. Agu = cxpesion > es lca ‘aril, yas erminalessons,°()e4d. Lasdos primera produeciones dicen {que usa expvesion puede compancrse de dos expresiones onectadss por un Sigeo do aicdn o-de mulupicacion. La tereta produceidn dice que unt "expresin puede ser ora expres rodeos po areas. Lali dice que ‘onsolo operands es ua expres, “Mediate la plac epetida de praduciones podemos obtener expe Slonos mis yds complcadas Por cjempl, cexpresin = + ) + < expesdn> S(epresion>) + ia S(eapeesién s+ + i) id Sarid) tia «> Esinbolo = donotaclactodederivacin, es dec, susiucin de una variable por! lado derecho de una proecn para ce varie. La primera nea de (63) se obviene do la sepunds producelén. La Segunda loca se abtene sus Tiagendotaprimera- entalines poet lado deveho de laterera Prodcedn Laslinesreants soa estado de aplialasprodueciones (3), (0), @)y 0). Ls lima nes, (ad i) * i const solamente en simBo}s {evils y portant cs una palabra en el lengje de expresion > ‘Ahora formaiaremas is aeionesitutivasintoducias onl sein ante for Una gramatica ve decontento (CFG osinplementegrandica)sdenota porG=(V.T,P,8).endonds Vy Tsonconjunestiitsde variables yemninates, Fespocivamnate.Suponemos ue V soa dsjuntos. Pesunconjuntofinto de productonercadapraduceinexdotaforms va, eadonde Aes ina visible Yaesunacadenadesimbolostomadosde (VU 7)* Porno, Ses unavariable {special conocda come elsimbolo cilAt Sungate ue liaos on lug do< epson > pra la PRE ctha goats (0), Enonces pees exper ea grandes anwar GE os. Ws Bhron sou Peonste EnE+E e+e) bow Gist le dor guint capitloruavemos as elas Siguents con sespecoa as gratis 1. LastetrasmayisculasA, B,C, Dy Seepesentan variables; Seselsinbolo {nial a menos que Selig io conta. 2. Ta lies useless tsps y las cadens en aegsitas son terminals. 4. Lisleies maydsculsX, Vy 7 ropreentan sibs que pueden sr tr- tinal 0 varnbles 44 Tastetras mininculas av, x,yy # denotan cadenas de trina. 5s letran props mundeulas @ fy ydenotaneadenas de variables y terminals, Asdiicndonos actaegls anteriores, podomos deduces variables, tr inal simbolosniaesde una pramstcsimpioments medantectexamen {ts podsnc For uno pesemaeno on fectene a ramice Solamentlintandoses products Stara A-vay.-,A-", S008 prO ‘ducconesparalavanable de algunapramatcsentosces podembsexpesaas tmodante fa notion Actaylaeee ‘endonde linea verticals ke “o”.Lagramatica completa det empl. po ‘da eerie como EES EES BUC) Derivaconesy lenges Definirmos, ahora, de manera formal et enguaje generado por ua gramdtica (V.7 Pr). Para aero. desarollaemoslantaciogpararepresetar Und Senvaidn, Primero dtrimos dos relciones py pene ademas de (WoT 81 A» Bas una producioade Py oy 7soncalesquieracadenas 2(Ve 7), emonees a. @ By. Devimos quel producsion A Besté Spleda ats cadena tA Ypara boner a Bryoque a 4 Yderiva drectamene terByeniagramitea G Doscadenssesin elactoadaspor = exctamente {uandota segunda oben patie laps pedantic una apicaton de tna proucsca Supongase que oy, 6, son cadenas de (VUT}*.m 21 y Stet eRe eae monecsdecinsque a a, 0 a, devas a, cla gramdtza Es desi, [Sila crralra rani yee dood a Sesion 1S sobre seusine ceradurande ecioes) Alteriatvamens © ssn ede aimed a apleaion de oro o mis procionsde P Nee para cada cadena orto goer et cao uz pramaih Co ‘rvocads,heamos-> ealugarde o. en lugar de Sta ova xaciament en pe, dimen qe => El ng genera pr G dono. pot L(C) es ww estén Ty SS Eno una cadens een 10) se La cadent comite staat en terminals 2 La ada punde denvane a pares Llamas un lenaaje libre de conteto (CFL) ste (6) para alguna (CGO -Unacadenadelerminalsyvatabesa seconoce como ormaoraconal 5 Ss Desinman spramatcas G, 9 como eauvalentes L(G) ~ L1G) Fjemplo 42 Consdérexe una gramdica G (VT, PS) en donde V=|SI,7 lasblyP= (8-245, 5-40}, Agul,SeslaGncavaraheza yb so emunales Ensen dos produccoaes, 8» ab y§rab_ Megane a aphcacn dea pt ‘mera producccn 7 ~T vedo, sopuida por una spiasn de la Segunda rodutcon, tenemos SaaS ahh ash ae PSH Nae Ans, as eas cadens de 1(G) Sone para 2 1. Cada wee que $825) sculliza, el admero de Ss pormanece sual, Desputs de uit ls Droduscia 5+ ab ‘encontrar quel aumero de om Is form oraconal Aisminuye en uno, Por congue, despucs de ulliar $+ ub ninguna permanecs en acadena resullens Pustoque ambasproducsonssenen una Salainguerda,elinicoordem en el cals produccones pucdem apliarsecs S"sa8b,alginnmora de veseesegts prtsaplicaiondes + 1b. Asipuss, LG)= leo n> th EL ejemplo 4.cs un ojemplo sine de una gramatica Fue rlavament Hc eterminar qu palabras ean drablesy culms 0. En gota, puede Set ‘xcesvamente dure detcrminar ques eneradoporlagramatcs, Pesca ica cjmpl, sn pons mai WT P.SheningueV- Ejemplo 43 Considrese P conten ost Sot A-ha Sab BoAsa Bobs Anas Bako lenge L(G) exelcojunt de todas as palabras que pertenecen aT que conusienenun nimeroigialde ary Probaremos est proposcgn por nds soe la longitud de una pla, ipstesainduciva Paraw en, sy slosiw consist ea un nmero igual de as bs. 1 sow 2A 3 w siysdlosiw lene una mis que bs 3B Sw siystlostw teneunab mas queas. Cerament,ahipissisinductivacsveraderasi|w|=1,yaqueA 3 a -b-S by ainjundcadna terminals derablede Tambien pore da is frotacclones conexcpein de> 29 > b,aumeatanaongtodde ura {Sten gina Caen J opal tina de ay es abe de Ay B, feapctnamem. Tambien se dene que mnguna cadena de hnpital Und ex ‘erabledeS a Supénpas gue lahiptesindtvaes verdes para toda w delong Tomer Mostremos que verde pars =A-Prmsro.s1S 5, CovonesladernacondcbscmperarconS-» 405 -»bA Enel prima seed forma ay onla gue =k 1 Bw, Por a hpotese due {inch mera de Bs en weno mis vel nar day de meso ue » omen am amor ual dea Un argument St Se apc a Ainaion cominrs con's-+ BA Debeman ahora proba condca slo" del pa (0), ses [nf Sty contatcenunoamero un deasy bscnoncs 30. Eipnet stl Gow ova oes -Supingscqusw samy, Adora m= keiy wy, ene nab mis quan Porlnupteasde inicio, b> m,Peroomoncan Soa Bis an, Unsrgumentosnsarse spice] primrsinbolo de w es ‘Nk re an no termina, Pars completa praca, debemos probar esate) y 6) delahipses cv paw delenit Hacemescso ‘una ancasiaralmstodoque veamoscnlaprucade apart (0): partes deal to. 43 ARBOLES DEDERIVACION stil presenta lax derivaciones como Srboles. Estos dagramas,conocides ‘xo doled derivacn ode nds gramatal superponcn una esta “chre las palabras dew lenge que e de ulidad en as aplicaciones aes ema ompiaion do enguses de progeamacin. Los vies de uni {Se derivacionestin etiquetads con simbolos terminals o variables dele [rumica,o poublemente con ¢ Stun rice neriorn tee equsta A yas Iajosdem esti etiqutadoscon XXX, pation dels ingiedaentones ASCH, Xo dbeseruna producelon LAFip 1 musta drole andl ‘amatcal pada dervaion (43), Note qua lemos as orecha,obtznemosta ima inea de (42), (id) "i oe .. . ce 5 Se Rett Atte De manera mis formal set G = (V7, PS) una CFG, Un dbo es un debot te derivation (Oe ands gramatical) pars GS 1. Cada vie tiene una eugueta, que es un simbolo de VU Te 2 Lacnguclade nene 43. Slun verse os interior y ene ciqueta A, entones A debe estar en V Sin tiene eiqueta A y steer s00 fois da vce mde inquiordaadoteca,cometiguetas XXX, .tespectivaente,enonees eases be ser una produc en 5, Slsériem iene etiqutae, enloncex es un oj y eel Unico ij ds supa, Ejemplo 44 Considércse la gramaca G = (8, Al, a}, P, S).0n donde S-rass|a A-+8b4|s3) be Slo por esta ver iduaremes un debo co ecules en lugar de puntos reprerenan ale verse Loe erties se numerarin para soreetenca Lat “equsas se pondrin onto los érices. Vea a Fig 42 Lon wren intersre so, 357 El vt 1 bone ctiquts S808 Ins a paride angler, een etigutasa, Ay S, NOewe que "8 AS ‘sua poducciin Demanceaparced clvericeSienechguelsA,slaschgues Sesusiijesson 8, y A, purr delaiaguietda. A» S.A es ambin una produccion. Los veries4y Suen, caaunoctiqulasS.Elhjo unicode cadaSe, Por ain, tte no deostonecigtia, 51a csunaprotucn, . ‘nest yu erecta tne carb Ta incu proc Por omegient san alana Sonclc pursue la Pi 12a U de rain pte G- oo Oo @ oO ern os ented l onesie esd a gra” esos para rodsirondesoeao Ge njusiaa Goran lust Dees, Meas amperes ete ceed so x. Dados vest alae ts ‘pdt pur avs tna aque cctenen en ‘Sean x, ¥x, los hijos de w enim en ls wrayoctorins qs aes ssiajtlshane Sv norumentsery ovoera ert Boplngan quca estilo igre eee arbi ons cdnninyuds doy, Etseo opm esse ScncPoabonlon,)rsonaheueany Waeahg Seaimes 3, 2, =S yx, = 7. Com S esid a la izquieeda de 7, se concluye que 9 esti a la Sldet = avers ‘que un drbol de derivacidn es una descripcién eee co 5 trast dlaramatin Semeur ‘eri’ fot enrenonuafin acoa aa» oe tap ati dracn Malan ecm el rodeo de alpiin arbol de derivacién para la geamética G » (V, 7, P. S), cmon liamohunsoncetoadiiona ldesubrbot Un sbétbol dun bel etn so repr tt ‘Rishi inueunapelneeanysiseguts lope slsdcln ocoplogutociatadearpune nose iba inci deta rama. SilavarableAestactqustadelaraleentonestamaes alsubébel drbol A. Por consiuicns“arbel $s un sino Searbo de Serivacn” So limbo ini iemplo 5, Consdsrene la gramaics yl dol de deivaci del Eemplo 4. El rboldedervacion de aig 4.25 seprodacesinsertces mmeraden ea ai. 4.3 (0) El producto del sot en la Fig. 43 (3) es abe Retiensons ‘denuovosiaFig 42, emosquelasojassoa os verte con amet 29,610, 1 y8.cnese orden partir dela nutes Estos vertices tienen elguster bb aa tespectivamente, Notes queen exe cas fdas as has ene {siminss como eiqucts, pero no existe una ran po acl eso debs set Siempre as algumashojaspodriantener cugusta ¢ Oealgua vase Notes ‘que $2 aabbar porta deri, Ss ets aSb4S = aah = nas = aan 1a Fig. 43) sesra un subsebol dl rb iustrag en tapas (0). CCorrespoile alvérice 3 de a Fig. 42, ntocaneus descendent Elpeodute elsubsebotes abba. LaetiqutadelaraivdsteubisbolesyA abba: Una ‘erivac6n, on exec, 8 Ao Sb 2 obA = ae {a reacim entre ls oles de devivacin y ts desvaiones eoremad Sea G=(¥s7 PS) ua gram bre de contexto.Eatonces $ Sati ys6osiexste un ul dcdsacion dela gratia Geom product a emoticon Ensoncarcmos mis (el pobar algo supelo al eorema, Lo ‘que dementraremoscs que para cualquier Aen VAS ely solosrcnsc oo {Arbol A cone comoel odo etd Aaty nde tins, Primero,upsingasequeacselproctodeun rbot. Probamen,porindsin sobre el mero de vices aterors de bol que A Sar Sten ao ‘vere interior, bol debord vers comoel que seprescatsenta Fig. tt. Ense caso.¥,X, = X, debeser ay A debe ser una produssidn de sgn a Astin de dol 6 derivacn Ree Mat enan és Ahora, supngase que ol resultado ce verdadero para bots que poson asa =I sto infrtores, También soponpase que aes el producto de un Sb A con vtes interiors pata alguna > 1. Considrense ls jos de lataic Notodospusdensoroja Sean tar cigueiJ oss. Xy Xp X, deiaquaeda a dtecha atonces, con toda spurs A» X, XX es und ‘rodoceGnen P.Notese quem pus Sor cualquce coro mayéro Gua que ‘to enel siguiente argument ‘Si eliesmo hijo noes ua hoje a raiz de un subdrboly X, debe ser una ‘rile, rsuebldbeseralpindrbol,yenealginproduciog, Silvétce Fesuna hoje sea = X, Es el verques ) <1, elvirieej 9 todo sis ‘Gexceadie nts se encuentran al iquirda del vtec | y de todosaus deseo ‘lentes. Por consguiente, a= a, 0, 0, Un subsrtoldabe tener menos ‘rkesnterioresque os qustient suo, mcnos queelsubébolsea col copie Feria inc cain gueosca ui X, 5 a, ya gue el subarbol con ae X, noes el aol completo. iX, =, ‘toned on oda sepuridad, X, #1, Podemos junta oda esas derivscionss Paris para er gue ASR Kyo Maha ts Ketan Xoo Baas og 4) Por coasiguicns,4 sa. Advignaseque (44 esto una de muchas drivacones poses que se piedenpraduciraparirde un bol deans pramatcal dado. ‘Ahora supsagase que A S> Debomoe mvntrar gue ent un ol A con producto a Sioa medanieunsolo paso emtones-1-ra esunaproducion ‘Se Py ente un rb con prodot dei forma que se presenta en la Fig a ‘Suponganios ahora, que para cualquer variable, As f>amediante una dervaisn con menos de k poe entones existe un deb A con producto Supsngase que a mediante in derivacgn de k pasos, Se el primes paso AWP N,N oo, Doberk estar, lao que cualquier simbolodea debe ser uno de, 4, Xo er dervado de uno de esor. Tabi, a potegn de @ ‘derivida de X,, debe esta ala izquierda de los simbolos derivados de X, hich. Portant,podemoscscibira como ayaa, en donde, para eadaeatelym, LX, si X, esunatorminaly Bas &,) esumvanabl, ‘Six, cxun variable entonce la dernagion de de X, debe tomas menos sok pasos yaquetaderiaciincomplelat oa Loma kpasosydatintwamente tlprimeronoesparedladenacion Xa, Poctanto,polahpstessinduca, paracada X, que set una variable cxtieua Arbol %, com producto a Sacre Sr, ‘Comenzamosconstryendo un rbot A connhojactiguetadas XXX, sinning troverice Este se semustracnla iy 45(4) Cada vere cou EiquetaXyen donde X, no sternal se reemplrs pore bol 7, $0, c= {ermal ose hacen sstitudoncs Ea ia Fig 4 () aparece un elope. EL producto de ete arbal es. a ‘jempla 46 Consiéreie a dervasiinS abbas del Ejempio4S. primer ptoseS = uAS Sieepuimorladervacin,semosque A inalmente casuals or Sb A, despots por ab Ay nalmenteporabba-La Fie (b)representaun tbo deans ramatical para cra Gervaci, Elio smbolo derivado Je Son aAS esa, (Estasisttockn epretentacl simopaso )La Fg 45(8)0 08 ‘Seba para ima deacon La Fit. 4 muse cl bole dervacioa para S ~+ 2S. Sisustiuimoslos vériceseonetiqueta dela Fp. 4.5(0),poreldrbol de aig 43(b) ye race con cligusta de lai, 446(0), con el dbo de la Fig 46 (a), obtendeemosel fol dea Fig 43a) cayo product es aabbanDevva la extema iquerda yaa extrema derek ambigdedad ‘Siencada paso de una dervacdns aplica una praduccin ala vaiable que neuanira miylqierda entonces a derivaion es exe inuirda. De ‘manera sir, edie que una devin ena qu a varable que es mis Tnderectasesustiuyeen ads pasocsexrema detec, Sw estden L(G) ps [i CFG G,entoncesw-tene al menor un bol de sn gramaticl yore ‘ondiendo sun srol de andi gramaticlpatcalar,w tne na dervacion [aquierdayunaderecha ica Eniademostacindel Teoremas.)laderivacia ‘dow de A correspondiente a olen cueston es extemaiguirds, siempre Yuan lis Jeiacions Xa, sein extrema rules. Siem lade Usrvacién (a) hacemos (de masersrecursiva) la detivacin X, >, exter ‘otha y swstuimos as X, por a, por la derecha mis que por la iagulrd podramos obtener Is Jrivacin doco corespondznt lol de anise aaa ormupussto,w pusde ener vasa dtivaions drechs nq. ya ‘que pucde haber mas de un dol de doivacion para w. Sin embatg, es ic ‘mostra gue de cada dol de dersacié, lose puodon obtener una dtivacin tetrematrguientay unaextrema deck Tambie,aconstuccién del Teor 41 produce rbols de derivacio a partir de diferentes deivacionsextremas lagletdas oextremasdevecss. Ejemplo47_La derivaién extrema iuicracorespondionte aldol dela Fie 43a) e5 Ss AS = aSbAS-~+ aabAS > abbas ab La correspondicatedervaciéndorcha es S->0AS = ada Sha Sha abbas ‘Una pramdlica bee de contexio G dela quo alguna palabea ienga dos froles deans pramatical edie qu es ambigua. A parted lo que be- mos dicho mis arriba, una definicinequivalente de ambigusdad la conse Testo de que alga palabra nga mds d una derivacign extrema igure “omésdeunaextremaderecha UnCFL paraclevlealaCFG esambiguosedice {que es unCFLinherentomecteambiguo. En aSeceién 4.7 mostaremos qu 0s CFLinhorentementeambiguosexisten, xistenaiasformascolasquese puede restvingtetormatode laspreducsones sin redcirel poder generatvo de as ramalias bes decontexto. Si es un lenguajelibe de contextoentones puede se generado por una rari ibe de contexto G qu poss le propiedad sgsents. EACION WE ChaMATiCAS LiaaEs OF conTExTO 96 1, Cada variable y cada ternal de G aparece on la detvaisn de alguna Palade. 2. NoeristenproduccionesdelaformaA-» Henias que Ay Bsn variables, ‘Ans, sie noestien Les neces que no haya proicconesde la fora ‘Arye. De hho, ie noestden L, pedemos nace que ca produc de {Gea deuna dels formas A+ Cy A*+a,endonde A, fy Cson varias fvalesiera a e5 una terminal cual De manera erat, podetnin hacer que cada producioa de C sa de forma A> a en donde una cadena de variables (al vez vac). sts dx formas expeialss6conacen = ‘somo forma noma de Chomsky} forma normalde Greibach respectivamente Simba ‘Ahora nos abocarmos al rea de ciminat los simbolos niles de una gra Indica, Sea G=(V.T.P, Suna praca Unsimbolo X esi ext Una ‘ervacon & aX w para algunas, menlaeque w exen (tecutrese ta rela que ya hemes sto coa respec los nombres de oe simbolos y cadens) De otra manera Xs in Exbten doe npocos de I ‘dad: Pre, algunas eadendslerminalesdeben sor detnabes Je 1 Segundo. debe ccureiren alguna cadena derivable dS. stasdos condone son sn embargo, suficientes para gatemzar que Xt ya que X psd ‘cate slo en formas oraconales qu cotengan un atahle do's cl nase pueda deriv ningun cadena erminal, emad.t Dadauna CFG G =(V, 7, P,8),con L(G) + podomos eesti ‘mente encontrar na CG equivalent G:= (V7.1) algueparasida Aca rex alguna wen T* pata la cual Aw Demosracion Cada vatisle A con produccén A+ w en Pearamente perience a V-SiA-+ X,X,..X. esuna produced enla qu cada X es una {erminalo una vanalequsy std stuada enV entonces na caden ermal pede derivarse de mediante unadervicin gue comvence => X, X.-X, 3, por consguicnt, a pertenezea V-Eleosjuto puede calculare mediante linseneilloalgorimoterativo. eel conjuntodetsas as producconesuyen Simbolosesta en Vu lalgrimo dela i. 47 encvntra todas as variable A que pevtenesen aV Seguraments se agrepaa NEWY en lines (2) och la (3), entonces ‘A deriva una cadena terminal. Pia mostrar que NEWW mo es demasiado pequena, deberemos mostra quest deriva Una cadena terminal w -entonces ‘Ase nade fnalmonte aNEWY. Hacems eso po nduci6nsbrelalongt0d ‘ela denvaciin a ‘Base Sila longitu es uno, entonces A+ w esunaproduscdn y As aregs SNEWVen lps (2),Induciin SexA%X,X, « X, Sw mediante una deivaion en k pass, Enlonces podemoscscbi'w’ =m, w..w,endonde X, 5%, paras 1 ‘nadiante una deriaciinconmonen dk pisos Por lapses induc, eva 1 owwvi= a 2 Naw -c{a(A-+ epunaons wen 3 thle OLDN + NEWV an ‘ean e ‘Supv.~ NEW 5 NERV:COLDVUIA|A + apemamaen(TY O1D0") 6 New et Caaiose¥ ues X, que soa variables finalmont so agtegan a NEWV.Ea a prucba det ‘Selowhle lias 3) smmediatamentedespucsquela ima, chaanadido SNEWY. nopodemos ener NEWV ~OLDV porguc la itima de ests X, 0 {tken OLDY. Por tani cilowhile se epteal menos ina exis, Aiard sgregada a NEWV en ane (3). “Temese ¥" oro el count calcula ea a inca (6) P come todas as produsconescayossinbelor estan én VT. Seguramente G= (VT, 8) Susie la propiedad deque si dest en Vcntonces A Sw parasiguna “También, puestoquecada dervacion do evunadervassnde G, saben que L(G) = L(G) Poros ext sina w en -(G)quemoestsenL(G)-entoness ‘aii dervacion dew en G debe volusat Una varube que estéen V=V™ ‘oun preduecin de PP (lo que pia qus eit una vaablen VV que had uilzad) Pero enfones existe un varable de ~V que deriva ina ‘cadena tema lo que significa una contraceién, {Lema42 Dada una CPG G = (VT, 7,8) pote mosencontrarefectivamente una CFG.G=(V,7,P,5) equvalentotalque paracada Xen V UT exstan ay Ben (VOT) parsissque s Sa XB Domostracién El cosunta V" UT de sinbolos que aparsen en as formas ‘oracionales de Ge consraye mediante un algrin wertiva, Cliquese Sen Wisi A estdcoloeasoeaV" ya» [a | [ay entonces apreguese todas lasvahiables de oc, a, alconjunto Vy todas las erminales de 1,21 P eel conjunie de proguccone de que conienen sla sina de vor Aplicando, primer, lLema 4, despise Lema $2, poxdemos convert ‘unagramaticaa inaequalentequendcontngasimbolosinites Esintresante nota que apicando ci Lema 4 primero,yel Lema 4 despues tl ver 00 86 ‘imines on simboles ines, ‘Teorema 42 Cada CFL no asi es generado por unt CFG que no posse sImbos ines Demosracién Sea» 1(G)anCFL no vaso. Sean G,eretultad de apie laconstrucin dl Lema 4.1 4G G gel resultado de apa Iaeonsueion dalLemast2a'G, Supéngae que ene un simbolo indi X. Sepunel Lema 42,existe una detivacionS fa A Put qe los oe sipbolor de son simbolos de, se concluyéWel Lema 4.1 que S-& «XB a> »- para alguna aera terminal. Por cosiguiate angi sinbolods adstacion & XB Se Secelimina ogin ei Lema 42. En consecuenia,X driva una cadena irra ‘de, J, de sq que, X a0 es ni om 8 habia supe o ‘Ejomplo 4 Consideése a pramatica S-ABla Ana “s) Aplcandocl Lema. ,eaconramos que laguna cadena terminals derivable eB Portanto,cliinamos B ylapeoduccionS-+ AB. Apicando el Loma 42 ala gramatica saa Ana «s) ncontramosquosslo$yaaparecencnis formas crcionales. Por coniguinte {(S}{a 8a. s)esunapramicacquivalnte qu aotiene sinboossetles ‘SopOngasequeprimero apicamoscllema 42a (4). Podramoscnconear «que toes simbotu aparece en forma oraconales. Enfoncerapicand ck {Tema acs quodarames con (44) que iene ua sinbolo in, A Producciones & Pondremos ahora nutsra atencin a a climinacin de producions dl fo- sma A» , las qe lamaremosproducionese Seguramentee ist en GG), no podem clas ous os produccionss€ de G.porosi © nocsts fen L (G)ysa hace evidonte que pesos emma, El mea consist en eterminar para cada variable A814 % Stes suseds docs que 4.8 ‘null Pdoossusutir cada produciin B=» XX," X, por toss ts ‘recone formademedant sliminacgn dealgdsuconjsntode aque 1X, quesonanulabls,peronainluimos +e aunsitaslas son anuabes ‘Teorema 43. SiL= L(G) para sgura CFG = (VTP. S).cmonees Le 1s L(G) para CFG que ne sinbels ines 0 produciones € emosrcién Pods dezeniea os snolosanulabes do Ga wavs dl Siguentealgorimoiterave, ParacmpevarsiAre_esunapeeducegaont00-ces A exanulale Ensepoida x 8+ aecunaprodusciny todos lot sinbolos ‘SeasshancnconradosnulalesentoncesBexanuable Reptimoreste proceso ‘asta que no se encvenren ms simbolos alae. Elconjuntodeproduccones de Ps comsriye de manera siguiente. St Aon, X= Ky etd on P entonces ageeguons tos Ia pradeiones AA aig Pen donde 1. LX qo esanulablo,emtonees a= X,; 2. SX, esamulable,etonces 6, e4¥, 08 3 notodastase, son € Sea" = (0.7.79) Fedmosqueparntads AeaVyw eaTA Bi ywioaw ee abe Sheen A pw y w 9 e.Denosiramasporinuciinen! que Af w La tines != fer tas pact sw ee er tra rossi de P Como ‘etinbiaes narod Sepinelpasoindsv seat >1.Entoness Wp ks Bw tacts w om mp oe por ed LE, ‘Si bninenin depo St, x @ 9 3? Eva varie eros ierlahpess dein ences doe &, Bn Si mentors be Portanrd= fh ofr esunapaducion de ch donde, Sure phat an,aeGimow a, noting sone -Dbaae {pe fengnh oa devon ABB Besa BaP ma ms eno Silo x1 Sopéngse que 4 i w Segsamente w 26,94 gue G* no ene Prodstionese: Mosramosporindocrinen! que Aw Paral bas, Uses qbe At wena prodiin de ™ Dede Sein rein 2c end ulqeclainando cents inboigansalesde nos juomorcon wv bons exe un Gntacin 4 p> @ ment qua detvacion {13m mpc a devi dee pale fo sinholoanables de que fern siminador para cone» * Paral paroindctno hagamor/ > Enonces a X,X% X'S Debe csailgana A= en Pia queX,X,- 2, geencactrs china igus Sinboloraolbls de Por nagunie A XX, X, Exerbate = trrenlgueparatods/.X, 3 m,medantcmarords! pros Porlhipsess Ge indiceloh 8 Bw, 8 outa vanible, Certamone,s, os an er tal gmoncer wy X, By, ev vaimenteverdadera, Ea boseconca ine Beet Et imo paso de Is demantacin consist en apical Teorema 422 G* para product sin siboles ines. Ya que la construcién de os Lomas 41 142 no inroducen ninguna prsuecién Gn nea simbolosanulables Ingles Aun mis,S=9w si ySllosiw we ySzW-Esoes,L(G')=1(0) set o De agui en adelante supondrems que ninguns gramtica tiene simbolos indies. Ahora pondremos nuestra atencion alas prodeciones de la forma ‘AB eayo lado derecho coasste en una sola variable: Lismamos a eat roduecionesuniarias.Todaslasolas produccione,isuyendolasdela forma ‘Aa y Ins produceonesc, son produssones no wrt, ‘Teorema 44. Cada CFL sin € sth deinido por un gamit que no tene sinbolos indies, produciones ©, prodcsonesuntran Denosiraciin Sea Lun CPLsine y L= L(G) paraalgua G=(V,7,P,9) SepnelTeorema 43 spsegae que G no tne productions ¢- Conve tea conuno de prodtons de means ici per de tetas peesonesnouniarsde Enon peep gue Bros ‘Aya de Agstqucses ods roussons dea farna A, Ende 27 vesunaprovuceion no sntarin de ‘beret podemospeobrdemancrasnsiasiA“ B,yaque Gnoiene produsions enya : Ap Bie teehee y algunas arabes aparecen do vere ena secuenss, pademosencontat una Secuencia ms corte de produccionesunitarss que taen como resultado que ‘A 2 B.Portantoessufcenteconsderar aqua ecuencias de producciones ‘fares que no epten ninguna Je las variables eG ‘Ahora tenemos una gramducamosifeads,G'=(V. TP.) Seguramete, SiA“*a esunaproducciinde PentoncesA 2 a. Por compute, sense ‘uns derivacin de » en Gy entoncs exe unservacon de w en. ‘Supdngase que w esté en Z(G), y consdcrexe una derivacion extrema laguiceda daw en Gdigatnos Si pera0a. medians na do ls produscones de Pf De agul qe 1. @)= LAG, Psi compels ta demas, observaros que Ono Gene ‘produccionsunitarasoproduceionere SiutlaastosLemas41) 42 para limina los silos ines ao agregamos ninguna produccon. de modo gue lesutado de apicarlaconseucin do ales las Ges una bramalce que Sats el eoeema, o45. FORMANORMAL DE-CHOMSKY Demostams hora el primero de dosteoremas deforms normal, Cadsunode ‘ios xablace que toda ns grams Woes de context Son equivalents & amis con resrciones soe as formas de ak produclnes. ‘Teorema 45 (forma normal de Chomsky 0 CNF) Cuslgues lengua bre de ontextsin ees enerndo par un gramica ona que todas as produccones fondelaferma A=+ BC+ a Agul,A, ty Cson variables y@ es una ‘ermal, Denasracon_ Ses Gun ganic ive de omento qu genera nena ‘Qarmsconiene re. ordi Teorema 4 podem enconrr ura games Suialente,G, = (V7, 7.8). talgue Pn conten produsionss ntans 0 ‘otucioncs€ Por tno, una prodeig ene un sno spl 2 erect ese snl es aera y ha produc st al yen un frm scopabi. or consis una poses Pea forma A +, X= Xen donde m 22 S1X, es unatermin oy nadcanse un neta ate Gy StapraducibnC,"0,qosesun forma orm Enon siya, ot 1G Senelmaevosonjuio variable yea elavevocojuntode patucignes Gomis lapramea y= 7, 0,5) 7 Sap, cnonessa SB fortama L(G) (Aor mosrarenesporinacnsebre et io 6s paoe dena desist ge Aw part A en ye 7, eaones Sree etresta ex pra dfvacnc oun pt Supsngse qu es ‘elado para dervactenes de asa k pasos Sea A“. unadervacion {ds i) pus Et prime pas debe sede a forma PB, By" Daa m 22 Fedenos csrbiew ws, o-endonde dw, 1's =m SU, es, prt slgonaiiminaf,entonsew bese Pera consis siéade exbteunaprsceinA XX, X, de Pentaquc = 8,5 BeahenVyXna,si0, eden 1. Paras enV, sibemesqusla hr 272 motora mado pan do mos gs po a pes inductee" encomanciensa,A' w ‘Temes dS eliado nie gue conse cn que cualuct lenis bred conteto pudeser encrado pr una prams poral Cadaprodosiénsadelatorsa A sao +H, = fy param 2. Ag By ie soavarablen ya exon emi Conic dha ramstieaG, = (71,9), Movies G, mediante Iaadcndeslgunorsimbolosmssa 9 sisayendo unas prodcones de PParacaaprotueea "ty 8 Bde? cndonicor 3 eames tures ‘aiales Dy-Dy vB, yeutiinoeA*' 9, RB porsiconunode producer 45 BD By BD Dy * By Da: Dys Ba Bah [FRape Ga ment ienn Sean “el nvevovocabuavoao terinalyPelauevoconjunode podoesones Sea.G, (7, 7,0".9}. Gyestben CNF.ExdatoguesiA spl entonees ASB demaneraquc i (G) © L(G), Pere tanbienes verdad qge LiG,) = L1G), ‘como puede mosrarse,esepcalmente, dea misma maness enue se moss que L{G,) ©" L(G). 1a demortasin se dear al lector. a Ejempla 49° Consideremosia gramatca (A,B, a, Bl, P,S) que tone las prodectones S-oh4lap A-sbadlasla 5088S yenconttmos una gramatica equivalents en CNF. Primo, asnicas produesones que yaseenceetran en forma apropiade son ~+ay +b. Nockistenpaaussones tari igus paxemoscmpet ‘isttuyendo las terminals dladetechapor variables exseptoen el esade is prodoccionesAsay + b.S BA sesisttuyepors = Aye, = b Demancrasimiar,A + aSsesustiyyepora + CrSyC, =di At bAA essisiida por A'-* C4; S-» a Bee reemplaza ors = C.D obs ‘eemplazado por B “+, Siy 8 va BB essa por BC. BB. Eni siguiente etapa, taprodueciin a xG, AA seststuye por A-*C,Dy Dy» AAylaproduccion B+ C,BBSc seemplara por "C.D, yD, * RD {Us producsones para la gramdtica de CNF sso muesian’s conti, SaO4IGR Dad ACS|CDi|a— Dy BB BAGS|CDsI6 Cova Goh ‘ora destrollaremos un tsrema deforma normal qu utili prodesiones "ayo lado derecho comienza con un sinbola terminal sepuo tal ve. pot Sgunasvariabls Primero demosraromosdstemasqueexaecenaicpxeos ‘modifiear ls preduccones de una CFG de carta fora sn feta al engue enoeado ‘Lema 43 Desinseunaprodaccin A somo una prods con variable Aen lainquerds Sea G=(VsT, 0 S)una CFG. Sea A »a, a, una produccion se Prysea lt “B\(B1B, ‘el conjano de toda las produconss Ph. Hagamos G,= (W.7, 8) a pramatcaobtenida de G mesiant a shmiaacin eapecién A-+ a fa, de Py Isai dels prisons A & 8 Bile lah eremontes /(eye 1 (0). Demoaracion ObviamenteL.(G,) L(G). yaquesi A-+a, 9, e,seuilizaen ‘unadervacindeG,,entones A= a, 8, 3. f, puede uivarc en Paramostrarque L(G) L(G.) Rotamosiinptintnteque A» aes la ‘nia prdceonde que no etten G, Cuanto A» «a seutiica chun 1-Comenvando con Ay comtiuanakatig A. jhatemo lo antror como sige Suponemos que ls presucsoneghan ae imbiiatas de forma que para si = A" A, yes tn preducsén is, {>4 Abra modifeaetot asproduconc A, SiA, +A, vesunaprodutioncon/ cn na ann ma arial Chom estes probs poinducson sobeclnumerode spescions los Lomss 43 y 44, quel lado dorecho ds cada produccdn 4,1 <1 Sy ‘omen con und terminal, A, paraalgunas) y &- Por ano iacadena Selalinea 7) ela Fig 49 no pcs nea estar ata ocomenzar cn alguna 1 ariqueningunaproduesibn psd comers contr P,Porcomipeme {ass prousones J, one sad dorecbo que comisaza con eras ‘OA, un apeacon ms dl Loma 43 pra cada produce B, complet a ‘sonaiueis, a Ejemplo 410 Convitamos a forma normal de Greibach a pramsica Ga (a. Aa As (By PANY en donde P const eno siguiente AtAsds Aya AA A avAla aso 1. Comact ido derecho delat prossiones pur A, yA, comienzan con {erminales o variables con nimoro mayor, empecames con la producion Asus A, Ayysusttuisiosiseadena por Ay, ay Notes que A, A, Ayes {ania prods con, a euler El conjuntoresulante de producciones cs Aw AAilb Ay AsAvAsla {Como el lado derecho de Is producién A, -+ A, A, A, comionza con una ‘arable de ero menor suttuimosla ples octrenciade con A Ay Y biPortastod,=+ 4,A,A, sesusituye cn ,-rA,A,AA,y AyA, EIR onjuatoes AtAsAy Ay AsAb Ay AyAyAsAibAy As Aplcamor ahora el Lema 44 as pradueciones Aya AyAp Adsl bs Ala El simboo 2:2 ntrodee ya producisn A, -¥ Ay A, Ay ststye por A aDAALBe A, sally Dy Aydydy By “A,A AD, Elcojuatoresiate AAA Ay-tbs As By labs BoA Aaa AsABs ‘Paso 2. Ahora toss ls produceionescon , ef tzquicrda nen ado dere- ‘ho que comisnean son terminalas Estar os uiian para susttuira A, en produccin , » 4,4, yentonesslsproducionscon A, encl ado inierdo SCotian pat ssuira A, enlaproducson A, 4, 4, -Elresulad ese Siguiente Ayah Ady Aba, Apa PAA Araya As a8 Ay Awad, Ash AvsbAsAsByAvdy Ay bss AvyAaB AAs Avr ady Ay Aiba By-2 AAs BoA AAs ‘Paso 3 Las os produsione Bs convertn una fora apropiad fo qve {eae como resultado otras 10 prouciones mis. Es ded, as produces Bye Adads Bee Ay Assy quedan teradas mediante la colocain de lado derecho de ascncoprodue- ones con A, ea fa iguletda en lugar de ly primora 4, Eo coneeuenca Bt A,AAise convert en Bea BAG ABAVAyAy Ay, By -+ BAAS As ByaBMyAaAy, Baby AAAs Ardy BytadyAyAyAy Las otras produccones para se sustituyen de manera simlt,E conjunto final de producesones ex ABA, AAAs AsnaB, Ava As bAy AaB As-tbdyAady As aByAy sad, Arb AL-t By As BSAA Ava baAeds Ay Abd, Boe bAsAsByAyAyAyAsBy— BysbAsAsByAyAyAsAy By aBy AAV AsAs Bs Bis aByAyAvAyAy Boba Ay AB Baba AAs Byrds AAA AsABs Byrd AAs AB Der bAyAyAy AAAs Bd Avda 407” EXISTENCIA DE LENGUAIES LINRES DE.CONTEXTO INHERENTHMENE AMIGOS [Es fil presenta gramatcas bres de contexio ambiguas, Por ejemplo, oosidérese a ramitiaconproduciones +, B,.A ay B+ LO ‘que noes area icles peosetarunlengusj ibe de content parseleua cada (CFG es amigas. En esta secién mostramos que eesivimente exten CFLS Inerentementeambiguos Larch xn anotsdios,y estante puede, silodesa sltaseestaseasiéasinpirdetadcontinddad Laeisteniadetales Fengusjsse utiza solamente en el Teorema 816 Mostraremes quel ienguaje Lo (evem|nz malo [etree|az met) «sinherentemente ambiguo haiendover que unimeroinintode cadena Ia forma eva, > 1, deben tener don dervaiones extrema igerdas stn. Procederemos estableciendo primer do lems de aspect ecco. Lemads Sea(W M151, patesdeconjuntoade emteros (Etosconjuntas pueden serio aioe) Sean Ie) Nm in S-SUS UUs, ‘Sicad parde eneros(n,m) estdenparatoan ym ,endondem #m enon 5 (a) stn para todo enero sxcpto sin cnjunto fino den Demasracion Suponga que para todas n ym conn em ala (nm esti cn ‘S.y que iste un nmeroinfnto den ales que (nn) ao etd cS Seach ‘onjuntodetedasas tales que (1 )aoestaens Consceramorunaseeuensia deconjunts J.J, yon tales que F324 242 2h (Cad J, sed infinity para cadam ym 00), (n,m Yo essen SUS uous, Param enJsucede quem no estén N, 07 no est en M, je ora manera (ran estaria en, } poe unio en 8 En conseeventia existe un subconjunto ‘nino de J laméeeste J, tal que paratlam en, vm noestd ca N, para {oda enJ,.n nocstaca i, Abana, parany'ne end, (tm) noes Supongaseque J.J amsidosonsrues.ealsque ir —I.Entonees 4 seconsruye daemasiuseae-Parssidan end, selene gun mows fh N onoesti cM, de oa manera (retain Sy po anton ie ‘Sunaconradceiényaque 1 ParsomspbienteounsuconjuntaintooJ, pocstéenN, ounsubconjuntoinfirtode/,,,noestienM,-Encualuier tasachagamon/. Tal sieonunt infinite, Ahora rat nym ed, m) ocatsens yancomecuene ndestsen8, U8, UU, ‘Pucsoued,comtene ua mlmero nia de ctmento, xen y en Jj. 0m. Ahora em) no esteenS 05,005, =5, contain asupo- sade gustado im Jconn 2m estdon sPortanto (a, )estden Spa Todo cetera, excepto pare alg conjunto into de a Lema 46 ca G una CFG no ambigua. Eatonces podemos constr eet ‘arnentoura CFG noambigua G equvalenteaG,talgus @ notengasinboos ‘producions nia, y para ca arable A oxbemente deren asi boloscil de G.tonemosladenvacion AS Ax, endonde, #80500 loedore DemosractinLaconsrisiindelos ems y42,ciminandolosiboloe ‘yas prodacsone ines no ped convert una pramstcanosmbie ina Znbipu, ya que el comjunio de oles de deivacion pata ls palais ‘aba Laconstucegn del Teoma eliminandolas producconesuntaras, ‘no puode tnvoducambiguedadcs. Esto sucede porque s laroducits la Proce A >a debe exit una Unica Btalgue A'S By B > sca una Prodssn, dota maner la gramstca original no cra nami, De orm Simi, consraceion del Teoma 43, eiminand lis praesioncs no Inve la ambguedad Portantovamosasuponorque Gaoposeesimboles opreducionsiaiis, ‘prodccones mi provuccione unitaras,Supdngase que para ninguna. y Soniambase se comple Ax Ax, Enionse sityase cad A emo ‘brechodecusiquerproducsd poe oonestaosderechosd Ws presents ‘4-Comoaoeustn producconcsunitaaspeoducconss.e nsimbolesit, ‘opuedshaberunapraduecién* ya, dectreformaexisieunadethvacon AB ras ,enlaguex,y x, noson amas € -Segdn cl Lema 43,cl cambio {que se hizo ariba no mei al enguaje genera. Cada nueva producion ‘ene de ua nica Secuencia de vijas producions, de ota forma G sea Smhigo, Pr tanto fa pramatia restate cena. Vers qu ahora A vin ede ser eliminads,Despacsdeciminrdeestamancralaevarahee {que volanaconicindellema,lamdewa gamstiesequvatent vic, an mo ambiqu y saa ema “Teorema 47 ELCFL, L siaheentemente big, Demouracin Supingase que exe una gramsticn moambigu que genera [ESepineltomas¢podemencomstrur una ramen nosmipiaG=(V, 1.08) qu gente asin inbolosins,y para cada Aen V-(S, A Sox Axara [unas xen T™,noambas "Noth ue a pramstica Gene ls siguientes propicdade: SIA $ xx, .emtones, yx conssen,cada uno, ensolamente un tipo esimbdlo (aye od); Je ora forma SS este Seng AN RENE pea lgunas», yo sla ima cadena termina nosso 2.51 25x Ax, const en dierencs siboos SI no fea as en orivaciongueinvolure aA, podramsinctementae nimerode un ‘desimbolo en una oracion de [sin aumentar of momo de cslguer "pode sino, pr ello se ener Ua orain gue mo este 3 Si So, A, entones |x| Be oe forma, podramos encontrar Daltbas ut itmen Gu npan msdsuncanoquecuaeroue. 4 Sid Sox, Any A fox A, omtoncess 9s comsiten en el misma ipo de Simnolos.e gal foria fy ,-.De mse ash se ils roped, ‘ha mis ara 5. SiA a, Ax, enlonces se cumple una de lasiguens 43) conse Unicameate om a yx, solamente en bso 1) leone deamente on bs solamente cues 0 6) sme Uniamonte ons 4 alamente n.d. [Emcualguor de lo ten esas i deriva una cadena que no estén [L'ANi pc las variables que no sean Spun dive on eat cass, Co Coaly, YC enclconunta Ge teas las Agus extn enV tales GEAR a la2oohsSaaryaveabsCa YC. scaendenaners Seton. 6.Unadervason que somlengaunsinholoqueestéenC,, 0 6nC,, apiede ‘somtencransimbologuexteonC,, aenC,, vices, Devitamansta, podriamosnrementarel mimo‘ es tipo dmolo de un orcion EF sin suena el dere del suo tp, En ee eso, xt nt racine pra la que el adm de oeustenca de un pode sinlos Sia menor qu a de culguse oto. Aboranotsmoxquesiuna deivaciacomtione unsvatsloenC, oon C9 ‘atone lacidens lemma ponceada debe estar en [arh"emd= | £1, m > if Porque supoagass que 4, qc esd en C,,, aparece en una derwacin Je Und foracons que nocstien’[eb*e"d™ |i Sigm 2), Entoncsss debe sr de Taformaa'b-end".men.Como AesticnC, podia genera unt racWO oamaricns LI8KES DE comtexto. evrpsretman,paraalgunap 0 Dichaoracionnoestéen!_Unargumento Simlarsepoedeaarpara Aen. Uneavonamientoparecdoimpicsque sana ‘Servaion contiene a una variable qu est C,, Oem enonce a rac bpenerada debe estar en ar Drend| n 21,7021) ‘Davos Cem den amis, GH US Cav Ca TPS) G,= (8) Cu Cue Pa Sh endiondeP,conine a todas as produsciones de P con na forma variable Cy ‘0C,, ena iguierda ola doreca, comtion toda Ie produces de P fon ina viable de C,, ode C,_ oa iguenda oa detecna, Ades, Eentine todas ls prducionet do Pde arma Sa" bve=d yn om Pycontene todas as producciones de Pde forma $= asbcnde Lisprodiciones de Pela forma Sarbend" noestinen P nica Como Gneneraa Wier |nz mai ueree ins hme 4G, debe generar a as as racioncs qu stéaea (ever |as met +m) ‘mis posilemene algunas oracions enor Bed" n> I]y G debe pnerar {Todas ls oraciones que estnen [eorer ine me nem mis postblements algunas oaciones de arb" "| n>). Metres gue {steno puode se eleasoameaon que tamo G, como G, generen toda ss fracionss de fa" Pres | m2 1] excepto conjunto fn de elas. Por osiguente todas las erases de a evn 21], exceploun meso fini "estas son goneradas por G, ¥ G, y,encomecuenia, por do dervaconts Iisgntas de Eso conzadie la kpatess de que (ea ho angi, ara ver que G,y 6, genean das las cncones de ie bred" | n>), caceptounnimerafinted ellis, aumerenseasproduceonesde Pela forms S"sadotr-Parsl st s1.48 a erai-cimaproduccgn aN elconjento ‘todas ls ales que Saket para alguna yea M, econjunto de todas sm tales. que Sgageveer pars alguna Dejamosatletorprobarqueparacialguera nde, yeuaasirs mde, Sgekeree Isugerencia: Recuorde que as variables de aestinen C, oon C,)DelLsina ‘45te conluye inmediatamente que , debe penerat fd as racones de [et rena |n 2, oxcopto un abner fat de els. ‘Unargumentosimars aplieaaG, Eller puede mostrar icimente que G, nopusie tener ensulado derecho oso mis variables Numeramas clas praduvionesyparesdeprodesionescon ordensimple Lasproduciones de Fatormas~+ 08a, endonde Bestaen,endrin un nme, ysiestenlmero {1 hagamos Ne eonjonto de tod a tal qo, pra ain me Sant teres. ‘Tambien hagames que-M, sea el cojunto dem al que, para alguna n, Soain hawer, lpar de peoducconesS-+ a yA -*4,Bo,reiiein un aimerosi aconiene una varablequcesiéon C,, A cston CyB esienC,Siacst pasle {gna el nme entonds detinase N, Soma cl onjund de fa a, para guna SeaSrdy ena mie Sater. Desinasetambidn M, somo elconjunto das ta que, pata alguna Sab xdape nn Bare Rae, ‘wa vex para cada en N, yom en, sparen, ¥yportaniose concuye sogdnct Lema 45, que G, enor ots is oaciones de Lerirci >} exceptoun aimerotintods sak Contes ue pars alpons ratrort ex tanven 1(G,) comnen L(G.) Ess orice dos devas ‘Sones equorss om ‘araracicios {2 Econjuno de palnromos(adenas qu en gud Srcha 8 agus y or) abet tea) >) Beojutode oa lncacnat de paéaesiblaoe on, tds cde pasos spe ones crapntone poise + Beso dee czech hm encamen de «ic em ala 06. a ‘ttrditreneeneceamotaeadcn vic yconoun aioiten ua ape +0) Blsnjusio dels er casenar obec abet ab] que 9040 ea oma Parasigna eaters 9 feb frajoyah ¥ + aSa8 TG) = feat eli de ane al meno ata ne). 43 Pars (21,2 cadena de 10-61)" ge represent Dinar de 44 Consus um CFG gue gener a eonjento wate fens nie be bles EVE 4) Costes ue rare caitant no aba 1) Comtrys un grant noumbiqs prs osancxpesionsarinian uno ‘Wty pss ao lononch (rd) leno mis def =}. pasoe mia aaa ea Oud tan aca det ite 2 pond lepsrcaonha “47 Muse pened cr Gee ental aw ween 9 1) tndosrecin eee grat) na dvvcinetoms deeeha ‘Jun atl de sna pasa 149 (Estegranica dl Brio 48 poambipss? “410 Encaenruna CFG que no conten snon inte uve “411 Supa ote Ger ua CFG ym, dolomgidgens on AC) {Qe mp ene os dasvaa deen Gx 1) Geatsen CNET) Gest en 4 ON? 4412 Sea Gt CFG gue goer femal Sos si2sInle Las eins sn Jey >: Bnew unegramsica co foma oral de ‘Choa genre 0) “413: Must gue Bs comersn «Informa namal de Chany puede clever “ele at in an rma, arma Comes {418 Mocare yu cads CFL que a0contengs 4c, pee sor gost pon CEG Says pradeconcsontadee deforma t aos BCscn ne BECY WA i Dany +, iye00pobeon ala, 7-2 004-4 =e47 Mone que can CL quo wo coneag @ «es gnerado por una CFG expr ‘rotesonc nossa fod vay Av ah {4b Poe can CFL, sin podusionss, ser generado por una CEC capes ‘rataitonrson sre lame Ae HCD GAS Aveentonss (Ger un const ga. ‘420 Sete gu uns CFG csi! ining no derecho do una prada ine ie ‘ean tana pra ur vars Cases Se os ngage Eco tence ‘portant? 95421. Un gre de operadores CEO, gu 0 pce pradusons for alqaeno con sinolorcosceutvotenellsds deecb dc rprodaconsr qu ‘anther Macitequesna CFL ne es na poms de pea. +422 ayorimo qu oon ls Fig. 47 para determina gu vatblesdvivon Seas tominas noose mires pod Dua propane de compas ee fenestra on Oporto oni de oul prodcions, $423 {Eseloonjnoobitiiaj jay ke] un CFL? {Suave Dosa ns ora normal parca se Teor €7, a Si SFE Sena oi gh aime epcon ect vcretn nnd dUpaa pene on CP Lager abet ‘tuna Posmardlisiasopaldrmotee[s 1 mareatecnsnacane ate 23 Ninguna otra cade es us piindrom, - Demesramorcn el Frio sas dfn vip lg plindroa ‘Une CFG pos paldromonsedxprsnle dunt innednta de) @) Eso Soo)tle (det Sas0jist (462) 446 eu 6 = (7 #, 5) ame pranstcs ONE ge gre, Spiga gue ke a Tongue ad derecho maradona rods de © Soa P= fetetdca Hate ara cass prarsn as do Py ead vse [Apt de eno (Aiko -Eactemoen res ffeimnnd oes dea 421 Sea (VP S)unarntg ONE gegen Mads joa 6 foment cinta pesos lnm a sapheealyaeabe ‘Prmeosstaye cos rod sachin ra AC] eosondlCerona nays ‘ane Desputs detest laigradsionslonma AraC enone pun cadavarible[BC) produce By ee pane CC fsa over rinraataala roc BC] aR Nec acy aon ems Salem ic te pea hm on om aren dl oma dela rani ie dso secret umshy {iss exis prcnees Se tmp haces per Choy sre nae pwexenenChomay 9%, a La stactn Bask Nera outloar {Wasp el ALGOL co Hck 09 Nas [90 La ane CPS {UNF ict ow mug Res (9 'S omasoma ge Coa ba Cha [9).Fa elas Chsty emo el roms me gers pasion! Eee FS tsar aaa Grace dra por Greens 1] Ea para Seroacon e ‘ali cho ofa M ¢ Ps Econ ake oder ance tigertoe Renna 17 enc propia equ uscaumetssest ‘ttre mero de vrahc mice gue soo ed Teneo ts pede ‘Somer name es me ena pce Soar la Berciraieamy sat ‘mtg hs CFOS etd por primes verde mar fora por ‘gd a, Cantor 58} Chrmigy enters [93]9 Crebae 3] La she inl sstaapy Gos aly ran an ‘gato al dito de samp Vente Ay Was [92 1 9T Lowe otsrany Scns yng ta drape iat dacpan ‘eagootabpucte ha hehocncse tet Mel adam eilegee ee ‘conta pct oncinaren Gtr [90 San [3AUTOMATAS. DE APILAMIENTO Ast como as exeesiones ene un aun ein (el aninata init)ks ‘rani ives de contexto tienen sa conraparen forma de mga, ero {mata eaplansent. Enctecao neque un pce mens satsftor, ‘aque el atomaca de apismema es in digosve no datos y su msn “crminiica sso acpi un suet dno os CFL, Aloud ee ‘ubconjnt inclye ala situs dn mayors doe lengua de ogra, (Weasel Capo 10 para un stato deo deo engines dor aus plume determiinicon) Elaumatadeaplmicioesesncalmea un usa io ge pose cool sobre unacin d etadayita e frma eile prime etre thimosae™ Esde, sso uetenacerre ort ssknbols ese ececan tnlacimaoal fet deals, Cuando i nba ve coloaen cade tae Sintoloaneirseconienvenesepeno lseandoenel ray sacs. ‘De manera similar, ctando un sinbol se eta dal rome dela is l sno lnmediato amerorscomviene ene ener imtoo, el ercea en cl seg a, ‘Un mp comtn de aplamiemoes a pila de plato ay come pdms ela ~anfomadacn el spi de nae dela alee Sens wn soe debujo ‘eloslsosconta frais pracmpuarlapla ges sparncain lal ie ‘etmoatrar. Cando el pl de haa ata sete deal, ncaa onl soise alge, provocanio qe tplao imediazament debuo del primer aparzca SUES Emonser. Sven plo seclocacninad lp ste presonda adc mado queso puree plan dena ala alin! most Para Teee equates ujonenos acl esr cs de longi sbirria de manera que ‘oie apa tots patos ito queens. Gna plaos con cae carctersucas, cola au col fi, Put scum para Frans an conju n euler. Eleanjno b= [wow wen {bor te] crn nga decomexo, geerado por arate» 80181 ‘Necsuitel mos gL no puede sx acepando por cualquier suman. Pars SeGertC dct hacer wo dean coral ni con dosetdos 9,4) ura ila see rcotaqcmos lacs sues, vers rojo El dspostivo pera bao ts Siem els 1. La migina comin con un plato oo ste lg y sane cont Hin ene 2. Sita couada a dispositive e Oy ése es en estado g, 8 coloce sobre la pila ‘Splat art i lacoade ds posavocs 1 yess eevee eles gi tocaun plat vere bbe api Enarbosassel contol aio prmansce nclestat 4, a Ginsuuads fey dpostivocsienceaadog, és cambia al esto 4,7 ro seaman ns eta plas. «4, Shdcmmcs0yeldppostivoestienelesttogcontnplstoazs,qverepresnt dren ncims el plas tia, Sila eats cy el sapostvo se ccucnraen ‘lett g con lao ede, qe resent T-en hope de plat plo se fora Enos eso con fo permanece en cea ‘5, Srelaspostive el ene eaatog, un pla my se eteuenrac cima bk pl pino asin esprit om «6, Patndos ocr sings Tos meconaos aia spas no puede face nin movimir Lasreglas arose esamen on Fi. ‘cmos qs dspestive descr arte aca a ua aden enads S procter uo sino dlc, la pila se aca competent, Nese gue, Tha ver qu evi pila, mo xpos hacer mis moviniens Trottatmone, et dspostve opera manera Enclestado ami quiahaveunmagen den pads colgando npn run acim paced ‘ceqc apart un nner, cloeando ut lato vr cada vex qu apace Te Stats Cuando ncn cr, eldspestvoca esta, En sei, (Wenmuaresant se comporscon siamo eurode ula ara de rina (inplacade ee qucel sino deena, yn lao verde cian cso ‘Seats ca 1 Cada pao denna es del color inde, apoio ‘sens ynoes pose sep proesano uentads i sosTosplnoajstan cons Acta tmalmenc quid express cl pln ro de odode pil, plo Se mertnnedny sede qe cl dspsivo aaceptad ata cafena de ‘Rn. Todor ts paos pose rerados slo cuando la cadena que en al Tosti despues de ce hers de fate ems ates dc “xrlatenah node nintadeimicn FO PDA in cada nei a apie tana ts dein i dni ar i as como on imei de aematvadmovmicnncncatasinacion tos taninoncrse 4 dos os Ene rine po de mowsto sua yn see cease eee in de as sn enna et come fe ce a mar Cama etch erp col int ua enn See Salon cates eat nananinban sent po erin ion oma maine) ai a eset ana dectas ose uc Wp ersimbolosdecaradn NORM SHPO A maar azote agente | vay Sekai SoFulment,debomos deftly cepa panama de planino. Exist dos modos tur has El pina uty ees vise, cose St etn eng acepnd como conto Jools pauses ona suctsién de movniens ccs qucel aunt desplasict are supa Coe "eng se ome como cl eng acepido meas el agama de "segunda manera ce define ngunje cepa cs pases sa formant maa io aca ss eras cr, digas alguns esaten Co ‘stasis dctinimos ean acepaocomoct corn dtodsluenadas ‘a las cals alguna slesign de movinisnos oso que auido Slamien accese um estat il, ‘Como vero, bs Jos detncions de sepia son equiva scn el scatso de quesiunconjunioesaeepiao,medantect aaa Jets ila po ain PDA, ce sr aepiado tinsel axes dune nl por ato PDA y weer {a aceptc mean un estado inal st eonespo soni, pro ela Ins sencilo msi cl orm bso de sant api lane Inacepaei por agoamienio dea ps Ese cra stables que un enue ee 'scpaoporun atta de piumicta sty sll xu gue ve decane, Un oudmata de aplaeno Mon sts (0 3.8. 4p 2) en donde @esun conn tia d ead; Lesunalfabet lmao abet de nr Tes alibi, concito como aft del la: gy auvestben Qe ead ctl 2p que esken Fes un sinbolo particular de i, ama snd nica FS Qesel ean de estan fnalen exer tnsomacgnde QxC Ua (e))x Penta sos peer Amenos que sublets cos. uilsemes ea mins crcadl etl labtop devoar simbols de ena as minis cerca lia Se alaktoparadcaparcadsd into, Las restates Solos diay sv gat indian cna de sinbols dpi Movimiotos aimerretia de Hg. 66 2) =u 7 Pa Yah Yd en donde gy. 1 m,soncsados, aecnE, Zee un imbolode pia yeh ent, 154im.comsse en rel PDA onal esda gon sintle de cern y Z fsbo cia de pl, pd, pra csi. meen eh es py wire simboloZpor lady, yavarzar leat eet into, Ader lnconvenciéedeqic!sinbolqieesdmasats eqn ercolcadbencina etapa yolsintoto qucesi saa drehasea cols chal om, Nees gue Boespermisibleeeogrssttop ylacaenay, pra alguna senunmovinict, Tamrac de Ba 2) (5 70 a ahs Baad quel PDA en xa g,ndeendonerment de silo deena qu est leyendo,ycon Ze sinolo dea cima lapis puede ase eop,ysstiaié 2 poe pra caluera 1's m, Ene an, acaba de end ahaa Ejemplo SA ta ig. 52 presets un aumata de plane fornal que spe (wo Iv ea en (+ 1°] median agement de pla, Nite que pein ‘movimenta ene que PDA esrb un solo en cia al en lan (a. en donde | |=2. Por esmple, 80.8) = (ig, BR). Syl de ong toe! PDA simpemeat sasttaras smblo dela cin Sale por un sro Slmbolo yn aera ong ala Advise que rela 34, €.8)= (©) spin quel PDA. enel estado «400 Rc silo deacon, puede barr 4. ndpendemaent el snbolo de ‘haraa En exe aso, labor deena ava, dehecho, okey tarda ‘us haa nga onads este, Weldoat OLR Ae RS) 5.0.80 RY 1 660.9190 8) Su Nort 86 Agu 2) = 20) anc R= tenth Sige a8 Se 61= (6h 8610.9 Gs on R= Bas 4 6)= tara Pe $2, Auten eal ete een + mene Para desire manera foal lacofigurcén de un PDA. un nse ao, ‘einmos lo gues core como deserpeii instantinea UD). La TD debe, por ‘oes, estar el ea yl coc de apa Sincmbargo, cen amos ‘sehr tamln concede “enala oui Por consign defnanas na 1D como ef wip (0-9. done 4 es un ead, w wa cadena de snl ova yum cadena de sintols de ila SiM'=(Q, 3,3 go) es tn POA nos que. Za. ea) 5B(g.2.2) concn, Neng peed Sr € ounsimto deena Porckempla ent PDA dela Fg 52, cl hecho keine (4, BO)esthen (40,3005 de gut (,011, GRR) = (4, BGR,illzamos | Sprain cerara eleva wansva de fy. EstoesJ [Fara cada Del Pus [yk implica que fy. Esrbimos/ |= sila / puede “onvrine cv K despues de evactanenefovinienios Eline elimina de lin by 9 Fy-cundocl PDA pariculr Ms sobreentend, Lengniesacetados Para ol PDA M =(Q,2,T: Bigg pF) defiimos a LM) lengua acts sedate ead filo bh (gys 2) |2 (0.6. raaalguna pen F yYe0T™) efinimosN(Mlenguioeptdo mediante apeanienedepla(oplanla)como (wl Gem.Z)}% (€,€)praalgna pen). ‘Cuando is accpai es median agotmicno de pi conn estos fae lessee relevant y,enest cso por genera hacemos qu elconjuno de estas Fras eleonnno vat, ‘jemplo§2 Lafig,s3dnvnPDA ueacepaa (we |wenien(0 +"). Lasvegas {Gb (6 peomen gue Mt maces lena cn ala Ea sre (3) (8 AF tive aopion de ds movin M pe deci qolnmiadelacadena denrada sid leans elit spundo movimiento se psa lesan gc lena ‘tocontrlor sans sibolo deena co el conte de apa Seige de franra coc, ysl ena ex dela rma cooes sends concn, - agotr su play en concesencaacepard aa cadena deta PNR AS RAD 1 ay 1.6} lu GOR es 7) 0.8) DBL are 8) 1.6) = fl 0.6) ie #69) 9) gy R= Hae 5) A 1.81= le 5, 10) 4 R= He Fe 53 PDA dominant n= en ine in ‘Como suede cone sno deterministic, an PDA no deminsico Macspununacnradasiculer siesta deteraasocaiona qe ago pi, ‘Astgus i empee"oma adsoncorst chido aqucinadcson equiva, ‘orsimian,ocssona qu anacoatasearcchazal Uracmad es echazad 0 ‘So exicn “ative coca La Fg, 84 mesa las TDs acces ‘ed Mf yoses don 0110 PDAs determinsticos IDA cel Ejemplo 5.1 es datemiisticn onc sei de qs cuando much, vt movimiento es posible pti de cage I, Formalment, decmos qc un PDA, (ET Bay 2 Pas 1 (a, 01100), 01100) 1 (4 100,64) (ay 1200, 90 110, fa 100.0) (0.8m) SN (0. GonaR) "0 8R) 1 (on 0, 26080R) (s.3. BR) Ge anccanny Gh 6608R) We. R)=lge 60) i 1. przcadayen@Qy Zea sano 5(4.6,7) no exact enone (4.0.2) ‘el vaca ara en: Fora inguna gen Q, Zea y aen 3 te} 6 (4679 comme ms eon 1a concn 1 evi la pusbidad de wa clescdn ene un movimiento indcpendione de sibolo de enna (ovina) yen movimiento qeinvluc !unsimtolo deena La condhn 2 eva lass de movimien® far ‘gue qa.) €.2)Advienaque adferccia sl satin, seam {run PDA es diaminsicn, amen ques cga Wo contaParos atts ri, los madsen y no dteminico eran ‘utiles con especie ngs acpafes, sino see esfcon un PDA. ‘bart, we? ev aon porun PDA sodcerminsico, perovo porcualguer PDA (erin. 153. AUTOMATAS DE APILAMIENTO Y LENGUAIES HIRES DE-CONTENTO Demostarermos ahora el ead fname, qu consis cn qe lacie dee iajsnapdosporlosPDAsespretamens alae de kngoasifesdcconeno, elcacmos primero qu: bslenpugeraropatosporlsPDAs mediante aces de tr esado ial 4 eartamente os engojs acids pot ls PDAS medians ‘ouamiewo de pila Desjutsmoarrcrosquoslenguajes aepadosmedianeag ‘Sbtonode pla son enters logs ives conte. [Equvaencia de a aeptcion mediante aces estado aly por sgotamiento de pl ‘reorema 54 $i Les iQ) pgalgén PDA M, eons Les NO) paaalesn PDA. Demoxracién En pcos, or essa qe My sila a M, co pide {gue tara su placuando Msossaraun eso ial Urano, 82 Mpa Sear fin y worms come vn sea dl fond api para as gh My oteepde sea ateknleud, gta supiainacesruneso inal Se MretQ.2. Bay 2 P) ua PDA ul gic L= Lt), Hage M,=(QV (ap aGhE PUK) 8:45.%O), ‘endande 55 diode a mansion Le BGiveaXD= (do ZeX) 2B ead) telaye ate oman ds (qe, Z)paatodagenQ.aen Zoe eydeat. 5, Partoda gen Fy ZeaPu (%), 8° (4. <7) contone a (ay). 4 Paratoda Zen TU O).3°Gy 6,2) comen a4) Larega()easona que, seas 1D inal, peo, ends prio setae onde pl, Xs seenunnsapor tj elossibolosde lap ‘Er Lareglag® poe smble aa, Siempre ue, ese esa fal, ‘rls Cy) pormen a tenar in aerabvad asesirel estado gue y borat Eipnaper compute acaniolsentad, ocominuandocoa simul My Debs aces nt us M, poison pds boar spl conplets pr alguna nuda roe oes eit) Esse aragnporla cil, ene supropinsetalador ‘Bono den De ova mane, a soalara pa bor por comple st ropa por tno aparina x cuando no dbs hacer apes xt 9 Eas) nl. conan son si concntas Reach athe don % Kobi to ® Z0Xo Medinet res (2), aa movie de M, es simi ga pare Mor (aoe Zod (a6 ‘Siun PDA pode reali una sues de moinicno partied a Dat, pode acerlamismasusidn do ovimienos apr deeuguer 1 obenta del prio ‘median Ieee dounload states dels or sto el coneids (bia ps ocpl Porro (@e & edh to % Zo, (aD Ports reas) y era Mta ok Enconscuencia, a. Kel feed YM acepa a median agoumiono de pil ‘Deimancra inci, sf cena x median spots de pls Senco moxie que a sucesin J movamono ete ew ovina sen gl), spose ana sruenea de mvinies sen aa () oI aM, smal Skepacknder por, spudopor ators dels pis ge, wizard sls G)y G)- Ea coneeustca rcsbe sar en LiM). a ‘TeoremaS2.SiLcsN(MpunsginPDAM,cntancest os LM) paaalginPDA Denosvacse, Nocsropin, shores tne 3M, qu siule aM, y acca csdo Hy racn so pi M,ascesa on esta final cuando y Slo cand eto ore. Sea MO=(Q.3,1, 84, 2,0) PDA ul gue L= LM) Hgames M, = (QU (Gea ce donde 5st dts de manera sia LF @ieX) = lay ZX)): 2 Parodi gen, aen 8 le] Zea, 5(¢.0.2)= a. 2) 3. Parada gen Q,8°(9, 6X) omione a (6) Lareya (1 ocson que cesta Dinca de po M, ede 4 ropio seta donde tia, uo encuentra porta los snot dala feat, Lassla@) polos snslrai, Siampreqoe i, are su placomple, EP U(Xohd go XoolanhMy tan crue simul Mf, boar placomplea eon excpin del SitbloX, eve secncatera cn fondo Laeyia(3)oessona gue cuando parece srs on estado ia acepandoporcensiucts, aes Lapua de que ity ht jessie ala demoriacin dl Teorema 3.15 ja comocsercic a uivenia de os PDAS ts CFLS “Teoremasd Si exunlenge lie decotet,crincesexise un PDA M alate Lent. Denosiacién —Sapogamos gue € m0 eon 1G) El eir pucde modifier onsrcsninparacleasoon que eeatenL(G) Sea = (1, P.S)unagrumsica ve fe comext ea forma nomal de Grech que pve. Haganos aN -F.¥. 8.4.5.0) ndonde 5g 6,4) concn a sempre qu Atay een EIPDA i smu aa deriva ingle 0. Peso gue Gest forma normale rth cada ora cai de on ervacsn nts consis en una ‘cna de emis eguda por enacadena de vaabls Mf amacen! so {0 toma oracles onl, eps habe rcesnoal eto x De ‘manera formal mostraremos ie $ %amedanie una dervacia agen ly Sosi(@.4.) (@.€.0- (54) rere sponsmas is (Su (@. £49 mostamos princi be que SB amLabase/=.esuvialfuciquex=e ya=5, Parla induc, upg (usd Ty higase x= a, Costes siguie paso, (4 SEL aa Ela 32) ‘iets. final de aca de ela en as primers IDs dea secs (62), dscubrimas que 3.8) (Qe). yaquea puede oteer fectosobre Ws Imovincios do M Haga gus ca ca lctvamenieconsumia de ead. For a ipo indoeaS 3 El movimiento (90, P) (gr e,0) mplia que B= Ay pare siguna Aen VA +a es una producion dG y any De ah gue $4 y= yan = _yhegumos a conc de usa pn "si" de (3.1) veda. ‘Ahora spines ques fx emodlante vader aque Mosvarcmos poring es gb.) (qe, 0). Demers base, =k Se TT ysopingas cn donde x=o.y = ny. Poa hiptes de induc, (9.5 4, £4) 9-B0r tno 9.9 (era 4 Como Avan esuna prods, veconclyede Bg, 1:4) cone ag). Por consume XIE Ga ADR l ord 15 conte Ia pute “sot” (5. Paracon uit a demos, stm os maces hacer tar qu (5.1) con sen tenemos$ Sr sy sos gx) (G6, 6). Esoesxestien 0) iy slo Sieesen ma. o ‘Teorema 54. SiLesteaN()psalin POA M,enoness en engi He conten, Denosrackn SeaMelPDA QE, 4y2,0). $06 =(V,3,P,S) na gam tcaibe de conetoenlaqu Vs elect de obs de formal 2 ‘tin on 0 yA en, mde I nwo sinbulo S. Pex conju de Podeeioac 1 $-* tag dZpah parent gong 2 Ug Arde) le By Bef) Me Bae dg DAIS. nde en Qucainacn Bute) yb by 8, okt at que 8G. a, 4) enones (5,8, (Sime 0, cance ia pshecioncsl@sAval a) Pracatcnde prac sys qu as varie yprodesions de ‘um sido dina tl form una decivacion inguin Sara rein unsung PDA M exnto aon ena En parla arias «or aparecen ca cali pao de aa drivin iil de cosy Simlos ep do Monel insant on gut avo ano do xtra como ‘amd arama que ha sid ya gene Dicho daa mater, since Sime [aeA.pldeovea sy sdiosizocsion que bore una desu meds ‘ta sce de moving qc comiens en lest qy min eh ead Pars moarar qu L(G) = Ni) domoxiamae por mde sas mero de sos de ua divin dG ste et ame de monet ds gh [eels siysdosi(ax Ae (nced (53) Primero mosramos princi sobre ques. AV} (6) etoees ‘Avplsse Sin I enoness qr A)debeconenera(e) (Aguix ese ounsints ‘coat sine. Emconsctcvia [,~+ £05 a producign de . ‘Ara sings gan > Sea ayy an VE Gy 9 BiB BDEEE Un oh cadena y psd ests como 1.61 domi en elec de sacara 4B dclapla posslemontdosputs dca taga aces de monimsrge sd sek el eto de yal fal et calli por riers verse aeuia a1 sible {phssimtoosdey quest despa dey, aks que a fal ds apis por Fhimers se dc logit 2 inl, yas sucsiarens- End igS8sepescaa fare. Nate quero noses sre ene snbol de isa pardon, fur toe spo qu ea, ya que B, yore ambi seencuenraena fa de ails por a mi sbolge. Sin ombsrg,nngara de bt ‘BBB sence so cia met, ea 9 oor 0usd sr carbiadas inure leu. Ea gener 2 penance sin cunbioscn apilsmicnras 08 95,5 xian ets 4 or oe Son 9, =P es Ho (nr BEd ‘mia motos de pasos gested ced candor pine ve, Megs ona eng den-) + 1-oe nt stipes inact salen y lan Bpged%y) mee sien ‘Sieoerdmos el movinint original (47.4) (4, 9.82, [oA] alan Blas Bs mado qu 4A}. 3" ‘Abora supa uc, p] 5 Mosrano por indus see gu i.) Pe, e) Labassi= i, se concaye do manera media ya gu yA o = seb na producionde yporcansgtione Sg. A)deoeontnea(y 6) Noss gexec oeuien®, Pain nds, supine que Ua Ap] Aba Be 4a)“ Bo tes en donde y= Emons possess x= a. e8 df) 2 ‘spa = /Sn,yconcals dace lovin scabocoa menos de fae Bly ips indi. 5) J Gu 0) pe 1S), Sins Bed, on ond do capi atin arr a Dx, vemos ge (4p 5p BBs" BYE Ue Bs ‘el ime po da inacinde a ide pl sbenose GME tan nits 26 BBB) esenmovincnotel dc asic ynando en cueuese moviniioy(S4) a Foi Devan seconye nd Gree dears cane con nove ge (53),c089= 4,9 A= Zy ‘ned 64) UoZorl®x ayston x Za) (60 sa trac, juno con ae (1) acme de 6, os 8 Ste siysdos yng) G.c.e)mmalinesador Eos rst cn) iy ss eae AD a jemplos3 Sea ae, ah 10.1 2 ‘endonde Seta dat por as 0.25) (aes XZ an 1 XY= Han Ger.) (Go XXY, Hae X= Han de Hae bXV= le Ih Hau 6 29) = Hay dh Paraconsi unt CFG G=(V, 7,7, S) qo gone aN) Nagamos 15.40: ae or Mea [eX eh eX ah (aoe Zo do Zo de Zo- ul 4 20> {y= 0,1) Paaconsi! conju de producionss do manera sell debemos ‘Eos cunts guc alguns wares posden no parce en anguna drvacin gue ‘ominseconclsintel or tn podemosabomralgn sue sicomenraos ‘on ls prouccones par, elon agtegamasproducienes slo ya squellas Savahes uc aporcen en ls veld algun produc qo yaseeaconu nel onjom, Las rorsons pa S son o En sepida agregar a protcioes pr isle (2, 9 8s son Lao. 2a all, X,galin Zo 40 [oe 2ae al Old Xai Zaxasprodesanesnroqidaspor 90.73) (4g) -Abora as podesiones are 2908 Ze 1) -+ Olen Xeon Zoe a) [ae Zoe anes Xe allen Zo- 4d -stasso ouside ambien por Bg 0,2) = (9:82) Las roduscions par ls ‘aes rss y lor movin relevant POA So: 1 fay Xe aul Ofgo Xgl Xs) Xa) Ole. X alla X40) Mig) X dlls Xa) 1X, gi) de Xela Xa) AGH Agu. X)= lle. XX) 2 lao Made 94 Sg. bX= loo Bolan Zoeg)~e yas Hay 6 20) = (G9 Hae Madre yee Alay 6 X)= (ld: SlaeXvad-=t yaque Ble fe X)= lt ‘eterna researqu oes raducines aaa arables (0X4) yah Comotodasaspotucions fr eX 4 Fy 4 even a4 X41 Fees enm eehacnngara cet puede derived par 3a 3S Ge Zea Elninando xs as potacones gue voictan ua det SNR equ ota deta rmiarescontssinsietesproducions Slee Zor) fae Zora fae Zoe an) Ole Xe aller Zasb (an Xeaidr6 Lan Xa) Olde Kallas Xk fae Rade lao Kad Resimos los Trea 5.1 hasta 54 det maner siguiente: 1, Leta lenge ie de conto, 2. LNG) paraaiein PDA M, 3. LELAM) palin PDA RyERCIIOS kt Consiysewnnqatadeoinoprcalauo deol een SESS ta cinlone atesndone pantie Saath, Aas 163. Conpie Indenstaiad Tarena $3 mosis quecadn CL ol on SRpaiettih PDA mins een Supe: pease czas esa a PDA pnts(eld preety tment ane & orate ae eee pee nant 1 52. ae ace o Regt eecene mee er armroemh eens pee omen Feat Sena tsa 2 REE sermon 1 detest M =e 4 2X 8 te Zo) y Sen date or ay 2) Zak — a6 Z0)= Hh Hae XD G6 XX Aig LX) = Hlth Hae OXY UU. AM, 0.20) Za $0 ELPDAdexeminsic(DPDA) ao eave PDA mo ger rine esi Le@rrinz yu (eries smc oe a ni DIDA +8) Deowesre gue ner Syd or an DED. S58 Sede qeunlengue ee propia epi ingn pata moi eo lita Se Mune sacs) pnt DPD Memes ton ‘pt hat mcm eee se Les 82 Muse) ti DPDA yw ie pa at FDA AE $19 Un fDAdean arson pi een FDA gee pervs cher ‘Sento sessment =F ‘too tn? DAconsoncpone sha PD nn EMCEE Pe Pplseeidoc lobe de nese aria notin pei pear ansede e {rs} Conte opunnque ans seeersnticaen mace ‘ana efit ulzode gene ns, Daten FDA mini qe alee [escasnlneseniniatnce coconla rare (93)Pancatverise ‘erase die pants een sen esuapa yo oe ee ‘Sate Segre Vorlscsna osieS1 {19 Comings om compli pat epesins aici ge prance w fwetane on nas sable par eva Ie epein epg ie oie nn ur esncens dc snge LOAD (expen an [$BDetapeas sla) MULT s(raipeeeomen cl emp) STO ‘ann con lanl) ‘Soames in ers econndar £211 Each un progres ep ep 2 at pede [prea comarca dn compasr anna Yahoos Tere) ‘Sram sof saps 091 yd cama pr hte ati ‘Rovtuncrmmcyrenrepsri Elio peblesaconseenanaia gine eo prime pas scons CFG pare conn de eee apse parrir Tao)r|«4oTeNED Lt de anda ose encuentra ends un ocelot seis ate Ute arable aba CADENA ene ieee 1 procedure ENCONTRAR_EXPRESION: ln ENCONTRAR_PRODUCTO: ENCONTRAR-PRODUCTO snd ENCONTRAR_EXPRESION: recede ENCONTRAR PRODUCTO: ae ENCONTRAR TERMINO: ean Tone erie xn de CADENA; ENCONTRAR TERMINO Irina sito CADENA 0, 0 hen etnies CADENA ee ENCUENTRA EXFRESION {finer sn de CADENA os) then end ENCONTRA TERMINO ENCONTRAR_EXFRESION; ‘CONTRAR.FRODUCTO y ENCONTRAR-TERMINO no tines alr ce “cca poe ipnnni ned wapgeenoea fot pena stint as en sl mi pnt ENCONTRAR RESON oe TENCONTHAR MRODUCTO) AuprsDA stomazos aicnes ponent ‘sus hr os eas par oineo oas Faie Ca pein» ‘riictree gure aati Ee ern ENCONTRR TERN [ENCONTRARTERMIND fen exe ema Stl seno de trom eeanes a ENCOMTRAR TERMING. Ea Ege cl i wb of ec “TRAR_PRODUCTO cr vt pons bane ENCONTRAR TERMINO, Cab ver Feo pc tien cp ses a TEAR TERING nce Pano i era penseNOTAS HIBLIOGRAFICAS au de amino apace cn coneocin famaem Ostinge (961) Scouser) Souq con i pandas comers r prep Cem Bey Eve (8 ‘cys usintel Seapiesconeseptinax olrdln eps Sede nF 66 Fore Meyers snr 98: tasetannlr mr oss tsi Hin ea or vey 196). Ptr (96), Gis Rose iii yn ey ny Sear IR) aris Levisy Se 96] Su rps ecru sre pin Haruna ST sae sie des gu ssi po ‘arc termine (QDPDA)y no deen INPDA) fon nie go A, egret y Ut 968] y Cok (19 Boe tment alread oni gina ron PDA cree ech icpenca cron compare Por ooupons, exten de CFL ‘isin CFs spas ras 29FD-Su enue uence ‘galing ncaa langue (PE nf erunjonpadeenanCF, ‘pao ran 20004 PROPIEDADES LOS LENGUAJES LIBKES DECONTEXTO En ran cana et capac ead en fama parle al Capo 3. Denes miner un ema desondeo para lng ies de context yo wiareme ara Imosuar qu heros lenguajen no somites de ones esp consis as ‘opis de cea de los CFLs, pr limo, demos algo aarp ‘era ciena imerogasnes cea dex CFLs 61 LEMA DESONDEO PARA C¥Ls "Eva esondoparaconjanos regu esbloe qe tocafes losuietemens [aga de un conju el consene una cade cona qe pede se senda ES ec. inerartanascopias de asueadenacono sede emp procs ue ‘us ite el conju. I lena de oad ara CFLs eater qc sempre tends certs cercanss te pcden eis mismo mimeo dees Yeon a recuencia qs dese. El pancamient formal del lena de sone Siewene {sma 6.1 (Lemade sono para enguaes ives dcontet) Sa -calquiee CFL. Entonces existe uaconstnin que epee solanent de, que sesh en [FB accaoneespodemor exit: = xy que tleeksa, 2lawe fey 5 puna 20? west end,Demosracin Sea una gramfica en om nema de Chomsky ge ene 8 Le) Obstrene qe est en LG) y larga enonces cago dol de ‘denvacidn pra: deer comenor una ayecta larga De area mie prc, ‘moses ovis sobre quest deans ania dual, ‘a ina ae rao Cosy oe eon ‘mayor quences la pala ene una longi no mayor Late tial, peso gel tel debe sr dea oom gus reset Fig. (ara lps intact tagarmosi> I, Sean ray ssid nforma en ea sla 610.5 nescence de gndmaycn nna Tr emonesles els genranpaltas desler, Prantl bol erin pneu pala gid oo myer Hagamos qu G tenga k varies y n= 2% Seen L(G) ye [> memtones ‘como > 2 caller dba denis pramatial pars debe wnerena yee ‘cao fp eal menos + I-Peo oa wayeroi lee cua sr 2 ‘ries y tds ess, com excep dso, etn chqurtaoe por vara Poe ‘oasignemedebert exis alguna variable gue sparse dos wees en aya, [Debecho podemos ids Alana vanes pucden sparc dos veces eae fondo dela ayer Enpriclr seaP unavayectona cay oni se gia ‘mayor qe cualquier ayecriadel sta. Enkncesdcben esr ds venices 7, Sobre a ayer guesses contin sgvents 1. Los vies 3 tren la misma ctgue, gros A 2 El vine weds ceca de lagu ler 5. Lape dls ayes gue va de ala oj en ongit de menos + Paraverque siempre sepden econ, Stohay que seguir ayers en send inves, apart dela, naebeado en eis dea cor ie se enon, De oe k» 2 vices solamente nj ene ua terminal Come tue Lock +1 vices restmes pueden eer eign co varbles Sst, Aboacl subst 7, coma represent advan de un ual eye lenptescuando macho de?" Loamerorevencfectas puso que nopusicessit nayestoraenT,dlongiod mayorat+ 1, yaqoefectomadacana espera Iislargadelaelcompla Hagan epotictodlaibrtl, $7, cress feerao pore nice, sel woudl sta enone poems ecb 2, como 33 Anis, 2, no pan ser ambos c, ya que a pier rodbeciin Ulead deren debe sed la fora A» BC pra algunas varies 3 YC Elsubisol debs eter ompstment eno del sob enerado pr dst [eserado por La anterior se tral i, 62, Ye62 Doan de nb 7 Tl lam a) A Sibi 0 ST, Atos stems que Mra Peroseconeluyeque A _sepdeeserb com y Ada, endonde [2p] <2=0 ripening nie 2): aaalgnssa Para sompear speach: a Aplicaciones deems de sno lea de sondco puede ser tino para demos qucuna area de eguaje son ires de coneo, usando miso agumeato “adversa™ qe Se li ene ema de sonic para conjnos els emplo 6.1 ConsiséesellenuaeL, =a 21). SupngasaLcome acta ed comtexio ys mn constant cl Loma 61, Conse mbna {serhaso as avy de mod qc sfga as conned lena de ann, eben repntrnos donde patent ls dear qo son onda, <0the Daan ple eng oc pa Stennis sdeccteains pans mish racic min Sry seman che cgonermy (actor con Oe sisys apoonsno denen gus ran eynoesdou arene UiRpinieadenonsoeyeutrf uecanetn cuca FEED Atl dedovin dese dies tyrob note yeh Ls ctoteh te y consisen slr cn tose staan de manna ida Sirs ny benncsany ten mes que avo, me, 00 fcaent nL iv eotone 9c tre amo rea aa cot pari Conclemos go, noc a ep conta. El ema de sondo pode wise ambien para momar que cenas enguaes precldo a0 wn lies de contento, Como mpoeenemos Wiiclizd y leblelis/ sh). Enelsguenecjplos isi to iodereaion que una CFG no purser ‘we secunpa, jemplo6.2 Seal, (abies 121 y /21)-Sopsgas queL,esun CFL yea ‘lacontane de Lena Considreselacalenas= re Hapnborqie# =) ‘atsagn las conciones della de sondo, Emons como fs =m rz pnde Eemienereutadomicho dor sito dienes. Anis, sveconne ses “ieremesdebern ser onsectivos, por emplayb. Sv ene slo as enlones ty done menos as qe 9 mo so neue ca L,I ue es uta contac, Froedemordemaneasiniara consis sauneatenbscsods, bora supine ue ve Une ay Bs Emoaces avy adn eae menos a5 que cs. Se resend Sonat sia cuando vconssteenlsyes0csy a, Como esas ona Gas ‘osbilidades,conlimos que L, noes ibe de ene Lema de Orden Exit cits lags qu no sen ies context pa loscuaks no ede ayuda stead onde. Por sep - ™ Ly= (Gb panto 1=0 0 j=k= 4, no eslie de coneno Sa cmbayo, sl exogomoss= ety esikinas ¢=ueway, ‘moncessismpreespoublcleien, sw.) domcacra sie wrnry eon totam, Porjsp, cacy ox us eonengn slob i onaos ea 8d éntonces vy pede corsaicn soamesteas cn ey ci awry eat Je eo fend pars tol Vogue mcesimos suns version mse dstamadesondbo uc nos px ue nesta stein en alin nist pagasto de pscines de eens Sondears, Ete po de exensién se hie ipa cvs rgalcs 98 ae unkie ecneni dn + Tesas uc ua FA de ness dee eons Sse Spin esiad yn cada gue iirc pus vrsonala El reside prscFLses Imachomis ii oben poropon densa Ac pitcamosy demas una verin did oq se ena camo lt de Ope ‘Lema 62 (Lema de Ope) Soi wn CFL. Entonescxise us constant ue, hecho puede sera israel ade on} aly cult palate ‘iy sisefalsmosciaesir pesiianss de so isco “sings, anes Povemosesnbirs = wm. tl se |. vy xjunas tenon endo nen na psn dining, 2x dene usta michonposionesdatingide, 23. psatoda/ 20, are yeaen Denoracin Sx 6 wo pric mana Chose ssa legac) Haganon qe tng vars yeine ne St Beles consi pura ent ba pastas iana? es come lndemoazcin ena sodso Scnbarge ya qc sclomapiscipacoe at Yor pons dsingis no pusmos nator pr xiesiola oh Sogestoprispuae rant cua enssscndshgntenndocees Sista Contry P atomic Cominspcobcaettcn eaycra £. Supng usr cl hina tc stele en?Strcsunetap, mae Sircsolanentc un hjocon doesnt dingo state hapa?y ote atl pros Stamos jr dr aca eden dsngudos cee eso sgnavea? «ij col major aud dens dng (mpd manasa salu), ae pc schusmova i Sconce qu eats nora doe snc iad ees sings sue et pr san, Cono oneness hace te eps oy tesla nds annette ge ease exten pos aac Enconcconcarcnch dines panes Syd co misma es Pcs amo a pt‘ana ur enn misma ciquetyv, mis ceca dela qu La demas, ‘non, desarla be marara tea al lama Se ono. Gi Fe 64 Toye? Line digi ma ai ne jomplo63 Seals [bic] i¢),) #k6i A. Superman nse tee bcm, Sei costa el on de Onion y coerce een (Pores Hagin ts oss nag Ye #= uy ‘Stat conns elena Opie Sivo oneneossintas dts, ‘ionesuveyaoesten (resp sv eena enone yen Stabe tcatcn na) Abra cor ana 0 de oer gi ‘Sow ao cco co ponies dings Prim elon 0 ‘Ghrosarenr Sireadena ounces vsieourena ecm un ‘on snceders naa Conicremor con tia stain eu fst en i Lanaoncaossutn demanca rca. upon qerestcnD™ yen Sip | énunccs =p demote ue pave! Scag teoeoul ae i none ation, Pgowr'=amr =a, Como any cunicneenstamene (ap)? tne (Galera Sin embugo, puso gue ry Ho Urn one aa Ce + 3 $y cncomsecocniana ote, que conbuyeunaconadic, Se presets dct prc s-resien a oen Porn md sun ena Hie Nate qe la 61 gs vn esa spill lama de Open on ot qu ts peste en din (62 PROPIEDADES DE-CERRADURA PARA CFLs ‘Considraremos ahora algunas operaciones que conserva os nga bes de ‘one Las operaciones Sn les oso pas cans che lengua bes ‘econteioo denostar qu son ives cota sno anti para dems ‘leno lenguajes nso Mie de context, Puede demos qe un lengua a “Lanes dconexo mean laconsocce apart ds Seu nga qn «ie de corer ulizando slo operaciones qe conserve aos CFLs ‘Teorema 61_Loslenguaestivesdecomento son ceadoscon eect alain, concatmsci y coma de Klee Denosracisn Sea, CFLs gerade ports CFs GW TPS) 9 G=CiyTPyS), respecvanen. Poo ge pot ona vars vlan cai Iegue gna ponent qu, on nos Senge ni oS Syismcunentiocr an clay ua pram y= 4 Yu (5. T, UT PS). cn sen co Py mass poaroones $15, Sweden, oaces iarva's 5 wertnadetvan ch, porte odapedacon dG, Creel, vary cle cn, as concn in 98 Eneonmciotc fly © 146) Palo pne te sen napa (6) tmnesia vac, comenrncon $23, wccant as ow branes coo, comoly¥, bndsjaoe ie 1Ssunbbor de Gy pete cure deci Como as once procs def gue ican solamente sinks" Gn la Coveluimes usa prodreones de Ps anche, Po comizdem’, yw caben Demin snag sin deacon bene ons, 5, podinos comir cw esuenl, Deal gue iG) © obs mmoeegheLG)=1, ut, coe den, ‘Pa uconaeras, 020, = (010 (Ss TUT, $e done es fyuhyndsa pots Sy "58,1 nosh pad Ud = LEGS Shirts rchapanta un y toe ale. Puasa agamos (0 (STP ven doe Ps Ps as peoaccuness, "5, 1eDembvacna detorlndomosetn ut LC Eioyr aan, Sestiaciny homomortimos ‘Teorema 62 Los lenges Uses de centento son ceo con fespect te Denosraciin SeaLunaCFL.L E* yyracotaa en ¥ memes Lomo sn (CPL-Sc0 LG) yparacadaa ca¥ sea, L1G), Singita fenetlsodpadcrs ‘poner ue avanblesde yds son des Contes grass