ATC - Module 2 Requlas Expsusaten Qvailion s Requlon empsumion (REG defined th suncuive ar dhe sugqulox uxpeurtions ot an alhhobet F ase all and only He Aloings Hhat ton be obtained a: follows ¢ Ld BO see gular eecpacrrton, 2. Ewa sergahass expoursion 3 re clemenk of Zs saqulos, eupscuston kf OB oe surquon expewscors then go & «GB 8. fx B wu saqulan expourions, Hun so & & OB 6. 4 kw a sequlax expoursion, Hn so a x" th roo seaguslon expownion, Hun AG UE + 4. 4, ew a seaqusox expuraion, Phen AS %& (é) 8, 4 we Lut E-habYy , Mun he “jpttowing oe ome sagubase expresions + , £,0,6(aLb", obbave, ~ She expauaton dolained by ohbyng any dy suder obove on saqulax expaurtion Semantic Sotexpratotion funtion L foc Wu donguage DL@- oH, Jongue & tonboing np Rodin DLE -hey, he danguaae Vhok contains emply Abscings. 3) Fos ang vaqulax mpoussions x and B, L(4B) = L@) LC® %) &e any venga capsunnions x and @, L(Kug) = L(A) L(8) 5) for any sequlor exprursions a, LCA*) - (Lw)* €) tor ang sequior exprusians a, UK = Lda) = Le)( L043)" BD tor any sequen expuursion x, LL) = 1) D tor any ce SLO = Ccy, He Jang. contains single chorackirx Ateving Cc.v * [(aad) oa (orb) of LF at bret act bo*ee* (a4s)* (axbb) (aay’ bb)" b (04* ooo wn" | Su 4 Ahsiog 4 o's and bs of any Sng ara Wha NULL Afsding . Sek A 4 et 4 aA and Ws ending wilh Vow, a Ty 4 Sek A Hodge 4, aa and b& Atting wok Aering ob Bek d Absdings of o's and Sosing a aub aoc oa, wk Mong Consisting eff ony cusmbe of a's pllswed by naemben! cf 84 “llswed by ony cunllen ty Sek eh Abscing Conniskin 4, oak one, fellow by Aang CenAinting el akliat one'b, sfollocoed by Aating Consiating of atta one ‘e BL od Alocin orved king ef ben number de a, by den ne 4 BA and follewed by Alscing contking 4 BELO Number of CA sek Aosiogs 4 aL and bs ending cil dls 2 q Gk Abscdng consisting ff tein number ef a4 Aetlowed by Odd numbes of 4 Sek of sings 08 and U's endiog wih Hue contideatine AR i Cowal of avin number 4 VESamples. 1) eoboin o os mepawision sapoutenting sedge of aeaniGe dantng odd Sangh BE (AA) ar obr bar BH” @ (arb) (tai) (ates) * oblein a suqutan eapuwfon supetsenting ator ot and bs Borting valk to" and erdkiog esti“ ee to Corby 3 Shain a BE suprurenting Atsungs qf ot and G4 Raving ten on 3] RE + (arabs bor w* @ (Cots) (at) ) Poloin a RE oegeeenedig Shoungs oh o's and Ba of Langit £=10 ees Cerarsy® 5) Solain a RE Sapna Bosco a o's and wa of Jang 229 Es (erasb)? @ Cerarby (E+o4+8) P \ } cetain a RE seprunenting Aksings A ot and Ba ef angle a Et (oavabtbas be) @ (046) (a+b) 2) Gotoin 2 sugulox exprunion sath Whok LOB) =U WE ho," with | sstrask Moar wondeuutive 0'4 ee: ori)! 000 (oti D| ebboin a seeqalan expumcon supruenkn Hociogs of ax ond by whee send symok ioe sight end Bo a | Re: catb)* a (oth)Ll 4 9) Solain a suqulox expoustion sespocuenting Hlocings Os and I Jaxing no fwd conbecutie Ak Re: (od * ore 1) Coton 6 RE seprusenting shading do's and Bs ube langle Yh WoO @ mufiplu of 3 @ both (Lass) (ony ® + (aH (a48) (ard)) * 1) | Ghbate oO RE sapusenting stscin: of as and Bg Auth Mat re Jew conscaacline agmtbols contain altiaxt two o'g (09, (axb ath) 4 a (o4b)2 (a+b) + a(orbsCarbya + (atb)ac (atb) 4 osbya Cosb)a 4 (arb) (at) aa) * ‘| Polan a BE supruronling abs o's acd ba to acupt Me words wilh too @ more Jibtes but beginning. and fee wilh Bame Iuther o (arb%a 4 b(aib)* 13) Potain a RE vUpLrenhing tsi agmdbol prom Hu Si a and as Casd)* ba (arb) (a+b) dos and ba auch that Hind valk argmbbol fpuom seights tb g@ 1) Gblain a RE seepouserling Ahocinas 4 alt and Ba where tenth agri from seight end a. pcr (aid *o (avy? no mor i 19) Sblain a RE seprunentiog Aocioat ef 8A ond Ba Gaee 1 Yan Vue als RE + be (ar ObTorO bY (or bt 16) sbloin a RE for b= AaB] man & awn (ad * D* 4 0 (ad)* & (bb)*8 1D) | Obtain RE for L-RP BML mz m21 rmzgy acct tablb* + aaa* bbb* 1) Gbiain a ae fm L= ab” |m20 ;n20¥ pes cacy Wb)” 1} wwtoin a BE for b= CoB] neu ,me3y aaaaa* (bt © (bi O (6+ ©) 50) Sblein a RE suprurcnting shodings ef o's and bla where dengik ave | a muds (Cavs) Cass) (048) . al. Solain a RE de Le GW timed 3-0 whee we (a,b)"} i Bet LOWS Lor vO) (Card) (Orb) (ard))* 33) Sbloin a RE sepousenting Abode A Vs aod Os and He Ataing do net end with Ot (o4d* (oo tot) | ger L= rove We Ra,by* and (W= 94 93) Grhoin o RE N= aa @ob @ba@bb | % 2E% aa (orb) oo + ab (asd) ab 4 ba (ath) “be + bb (atd) bb | BH) Grain a AE for b= (wr alaing endi with ab @ ba whoa we (ab (a+b)* Cobbt ba) gbl | Kueers Shuorero + ictle Stale Harhines and least oaca | diline Me game ators ef Songuages i Shy Ou espubsolink Le hag oe roqually Jpowenful | )) Sheoren 4 Yor wong equals fxpoursten Hwu & an Kqpuisolank FSM Le ony donquoge Yhak can be djined with a | veqlox eoprunten tan be arapkd by Jome FRM and 40 iB sequlon | Poook: dhe jucool ts conslourction We url Alow thal given a | t RE % we can Constsuet an FRM M futh Mok L(x) = L(t) “We fest show Wok Wwe wie an fam thot wonesponds to cock Jecimiltve saqulos oxpusion + Sq re ang C ET, woe conslsurk for th Hu simple FSM drown in (a) => LB we conmout fox th Asmele Fsm shown in (b) = Athough tL nok tea eed to conssden & ance th Jos bi Cy eaee Ge, thick of it Wok weay. hi € we tonstsuck imple FSM as in CO _ ~o > dL % won RE BOY and \ tol ei © M, | LOB and LO) wa an jthen we (ees Feonshouuk M4- (ky 5,85 45 JQ) uth hot Lm) = fa L(g) U LO) 4 Dee | © rea ee © suname Su Atales My and My % Fhok © Mi OKs =G Cuate Atate $5 Lelont Adobe) : 6 ; and tonnet to alot later M1, andl Ma, See via £- hangitons My arupts ‘hcl MQM, acceptsG0, M4, - (£833 U KU Ka, 2, $3, 43,9, 0M) , ore Sy = 3,08, 0 [(Us,9,49 (Uy 2, 494 =i, vu RE GF end sl both £@) ant LV) oe Jos, then Uae toratsuack Mg= Les, Z $5, 43,5) tach Hak LD = Ld = E(B) LO) dh news suname Alobs g Mand Mt, 40 Wat Kak, =¢ We Will louild Ma by sonnei oxpting Atate of, M1, fo Yhe Blok Atoti AM, via an @-Wanaihon. Ma all alask th Vhe Stork slate of My and RW accept iil 15 hoes So, My = (kU Ky, 2, 8, 4,0) whee $,= 5,0 S50 (Ca, 8), 43) 29 SAY. oo @ => vu Me PE B* and sh L(—s saqulax Yren we constsurck My = (ea, 5, 8g, 42, As) auth Hook CUM) = LU) &, H,=CtSdok,,f, 85,42, 42FOR) , when 844/78 VEALED Sy = SVU OD, AIGOF CH, 9 4D VERYa a sensesancssencias a S)Sheovem 22 Fox we FSM, Fwe B an eopivalint 89 Ja eoupsraton, Bakemenk » Gece eegalon Jarguage can be aikined with a seaqealan LBS LON. Roo dhe foro) te conslowubion oven an Fst = (K 5,8 4,8) we Can conilsuck @ seaquston wepettion «such Yhot Lm) = U(X) Aral eevee td hos — b= sexorcholote tates 0H far lotta Yeot—kas—-no > we wll begin wik m has no unuashable slabs and it hos a alak Hab thot Stes no bansshiony ante it and a Jongle acespling Atala thot thor no bawhora out fpom a. > wow make modifcodion to Mi from try Alets oHur Han final stats Ware must be exautlay ene drannihon fo Coty tok, unclu din, ibel except Atak shob and into atak yolhun ron Yu Stat dtoke Hwa must be exockhy ‘fone AApanKbon fro Brake = df teu moe an one hanvkon blo shots PSY , collapse Youre snto \ korwakon ath O23 = 0-0 |= sh ony of suguoudt — fromihone axe mivtin ockt Hum. vse con odd alt of Hwre kontibionat coihouk changing Lr) bq ol hing ol of neo franwbons wilh REwow we Acct sap and sumove ft and Sxanwhonal fnto and out a ah. dhe we mut moody at jcamoinare tranvikon 40 Yhok 114 furdion Aloe We fame fine tantocrs tanwhon blu each paix of Ataty (except ona Krot an not allowed thle arok cub) > M can RU fokee tronsibon fom ete v > 4 Yoke Wonshon from p to Vv wp, ten take Jronakor We bork to shelf gue] @ more Fimes. Then ot Can yoke from mp Vv. Sloboda Yee onsthon 9 7 from bey Ak 2b) be RE tok then im yt What wall be Gus by Jurong ip Ha nw RE Boss \obd \eanxbon or phy eb y) J# Go ouredly fom plo v vu [Fo rhe) * fom pte %P, then ne of kmes, Hon lier? /# Go fom wip bod do ket ang hive.) ) 4 go from aie toy Pa era) v eb ste) a (sep, 247) «e (#80, 9%) |\o Exameles D> Contsurk a €-NDFSM je Requtan Expouriton’ (048) 0 SI, Shep 4 Fick we uot for (a+b) x 7 — os Shep 9 then Guale a E-NFA Ae (ose)" 6-8 wa 4 —~.@ OO | 9 7 “Mee d | 3 7 i Then cusk a -NEA a (ab) “a 62-8 > +.9-@ Ne 9Coramon RE ud tm moke €- MDFSM » ab a ~b OOO @ io € b OOO ® dS arb a ON © @ - on > a* ee a G4:0+-9+-@ Ns 7\ vw 9) Sl, Sl, S Guoke a €- DES Re: 1H abb | ees a pb me £.A—-O—O (0) OO <7 ee et Ox Create a g-rovesm for PES a’eb ac we, PAS, -. See? \ : Ts a ye a3 ¢ Q) Obloin a ¢-FSM der Ye Pe: (btab)”* ipYW Examples | Gotan we Re fox Wu {pllesing Fem | | ‘ef Bept : Great, & new Atak and a nay atupting stake and Link When to M1, Abtin adding nue Showk state 4 and oxcepting Atate 5 Step a: Lek sip be stat 3 © Ox Sng wip Atoke 3 £O- 0, Afb samocing sp Sy 1-2-1 1 abU a00% b eae 2-55 OH 6° Pr sip sak be a Steel : Lek sip be | _§ Mo abv oaa"b —) S ~©——- © (obv oaa’b)* (av ® Alb smn cing sip Bot | 4 =i + (abU ano%b)* (ou €) Rie: Labvoost b)* (2 VE)Sy D Build RE from eon aes a) a » Skp 4 Lk sdp shak be 4 \-4-2 2 bb Alu sameving ove Bok bk. 09,5 8 Skepa ~Gellnote mullle Snanstions em Hale 4 1 Mat 9 1-2. a vUbb we have, a avUbb b Step 3 fek sxip be Atak. 9 3+ Caubb) bY a sip Stok 2 ue Alb ance\G > Budd an Ve pom FEM. | =O | c he 0,1 | A Stept : Remove stoke “g o we dood Atak O98 off: © Sk pds Add maw Mok, (Bark stole) t ond new ouephing Alate U adding & and U Ales uN Skp 3: Lek slp be Alok Y Steph : 4k sip be stoke ve pg ~e+ Ol P-v-p + 10 Aun sumeving stp Make oy AN suming sp Alot Re o> gow, olulo ee! _.© oll,a 4) Bud ee Jum Pate, Me Gweha,ey’: wo Contes wen ro. 4, a's ord a odd number 4 BAY aS Meet: Add neo Sank slate $ and reo ears Alate A a & oo O02 d-k- a tbb » b 3-4-3 3 Oa » | 9-4-3 + ba 3-4-2 * ab == 6 Skpd . feb ocip Alote be 4 1-2-1: albb)*o a bb 1-2-3 5 albb)*b, & O. 608" a (ob) * a are & 3 3-2-3? ob (bb) ba Mig oe ge) = BU atbb*a e OQ per = bv ated)*a aa Red = a (bb) *0 eeu - ca v ob (bb) * ba8 Step. Auk suip be stats 2 eeu gp tiQtte eel G6 er i : keh: Ak gdp state be 3 2x5 + (WEN) RED —® ar §—6 eps (Hey FE) HD “eed RES Sheed Re. (ees) es) P& sap be Atote | Re —e*=-O creo (ees) RE = o (eed Wed) * (RES) *eedceed) RE + (eedae STATE EUmination D Rnd 2e for Ho tilts DF3m “0. © ! XL Step Fri ok got: bas on ne edge. So, we wate a neo nikal stoke Gi Shep 9 Erno Alaie @ bas an outgoing eye Bo we wok Oo now dirak Atake 94 9+-0220-§ Skee 3 “We Atask a £ds Wimrinoke atoke A + dhow Ba {pot gain porn Of 4 B via A * &, oft. eee shot A, we Spat duuk Halk from gz to 6, Jaweng wk £0=0 + Shou & a Joop on Ato Busing stake # * BM, afr Bieminaliog A, we puk diuk Loop on & owing Cee 1.0= 10 ee90 | Blep k fds diminat 8 + drow eo both pom % to Ve via B + a,ahlin dimincling slat @ .oe uk o diback path from V% Ho Vy Jrourting wr od*e - 069* —- fe ee - 0l0* 8) end Re i “plowing Dest » >) —9= oe a, Ss) See! the evk matte final aa Convedk unity & Amal final slate aS oo oe 2p o be ELiminake Vy a | -9-6-8--8 2 v bea b2N Sep 8 Eltmingk V5 c.f. ¢ Ske & SLininake V5 4 d.ted b eee —8--@ =. © d @) 2.8 bacad © Step S ELiminote Vo alo Bindinobing we puk a Aira Shoth pom 4%, 40 ve shaving wok a. (be rd) ®) a.( b+ “© Bes a, (bt erd)9 | dnd Re fe Apllasing DFS $8 Sel, Mee i Couske pew onto aa and a alate ee ce ea Bo “Sepa eliminate aa cl s— Step 3. eLiminate @ elke: @ee9"@ c%o (da be*a) * 9 R28. D| find Re for lasing Desm —@—"—-© bo a ae gies fees Brake B Ww dod Alale , We eliminokk tale B —@—— © Q Ree 5) Find RE “ We ee DFSM. 2 @5s 7 | | si, Skpl Creole new ae State | 8 | | _@ “© SN ne | oRe os Gaea iif ee Prommans sombime sald oF night Linear Gomes ia suguian grammar G %& a quodsurple (v,£,2,S) whou, lV & Ye sade athhabek ushidh contains nonkenminals and Sneminals > E Ube sek dy amino) doo subse dV FR Ure sdk di outer) a Minit ack ff cues ef form x sy —> S ro Abouk Agrateol) %& a non- Seminal AU_suides to 2 musk + Lk hand Aled be a Sivas non —Liaminal * Rigi Lond side a £ @ Hiogle \eeninol @ Angle luminal Gpllowed by a Angle nenteminal egal Rules Nor - Legos oules S270 SaSa soe $= TT Toos ofa => T $—-T it She Slanguage eoked by © (Gxammax G= (5,8, dinoked b | ECD & We A A tt shsings to T* such thot tt ts jposttble do | Blask wilh 9, I: Afinly some fentle set of outer tn Rand ducive 4 + Stak Symbol A ey peerman Gr Gil be Me Aymbbol en the _ Sk Jomd aide of ur Hout suite to Oy.6 Bomele_ > oun Langth stocin P& L=(wefaby*:potts wend dre Aptlowwin: sequlan eopuusrion dafines L (dv (ab)elod v(bb))* @ (CALE a vey* DFSM accepting b “a0 PRegulon Goamman dining b + Serivalion o Seung vsing _ ge Qvidvelion a, “abs” Si ot. s=o0T $—>bT => obT Vv aS = abe al > oababS => obob Re quiox Gsiammou and Requiar Ponce ee Sheoxen : Penuias Crtammaser duhine ena Ve Regahon Panquages Shalement 2 dhe lors J MY Satirest, Jong ex thot can be | dohined voit maquvlors qommaxs is roctlay We suqulon Jorquages | Seco Requtan Gammas, —> FSM | FSM —> Regulan Cyrarmmas, he following alge, comisurcts an FIM M mm sugar Gramma ond at via > LOM) = L(G) i: { iwy Qocormmen totem (os sugulas qer rma = ) Greakk to Ma Keperate stale Jen each non-keminal in ¥ dD Make te state swwwrpording to S Hu Alot state Dd Mu ou any sudes tn R of tu form X19, fox Fome wed, fren Guck an addikvonal stele Jobelid + D For eadh suse ol the form X WY, adda duanatkon fuem X toy Labeutd w. D For adh suk de Hu form Xow e840 ransthon fuom X to # Sobeld os Ww & For each sure af Hue erm X— 2, mark woh X 0 oxseling a) Kok Hoos acuphe DAM & tncomblta When M suquines a diad stoke Add a new tate D. For way (q,t) dois der whi no fronsthon hor already been difined. , wouaka a transttion fem a to D dabead as 4. for eotny tb Z, uate o Suanetton from D tod debed %. trample + Grammar > FSM Biouigs hak end with aaaa. P& Le (wELa,bY*? w end with hatlixn aagay Re - (AUB a00a Began GsHammaxr S$ aS | S—> bs | $7 08 | @>ac c>aDd D7.3 5) | Stocia &, Ss > d : Yrot Atak wilh obb f& L=Fwelory% w Hosiling usith abby Re. = abb(avb)* Beran Grammer tr 83 08 BoC C>bT VYoat T> bT Toe _©2-0- O22" Shasings Wok Math uo end wilh abl BL fr Le (welary’: wv ending with obbY RE = (avd) *abb Regator Grammar. G Sas S>bS Goat tT bB B>b 8.6» SAscings hak Contain Aubstsuing O01 WI, fk L- (we foy bw wontainin aoa ooly lee = Covi)" oor (ovi)* | Pequson Grammar Cr $7 0S S15 S77 oT TOP PK Xx 0% K 1x roe $292.06"a4 SHH D Make oi deluminislic (to gt vad d, €-Sxangiors) D Gust a non-Keminal for toch Atal io fy neo M D he sok Nabe becomes the starbing n0n-teuminal, 2) gor ead Jnonstl¥on §U7,0)= LU, make a sudke of te fom Tov. 3) tov cock ousaphing shake T, make seals of Hu form T> & Exampler. ) guid qarnmae feom Fer as —®__.6—_© aaa b RE: (avbb)b*o Grommax A> of A>bD B>bB Bac Dee cme Resiusction of Siaing * alba! Hucrvation af String *bba" Tee ASbB > obB = bb = > abal a eae bbe = oba .2) mele FSM with no RE, | Build Grammar pom given faoquage L = fwehs,bY*: vo container even no th a's ard odd no of b'sh Ew SS — = ® Abe a gaa Oa® Crammas Oubuclion Blaing "abo" AaB Ree As>bC ia ae > aba ck = ababf o3 eoines => ababbo D> vb > obabb D3 at coe L = hwelapyt:w conten odd no. th o's and w ends tn a4 (Sees b b 6-0 S) ce KR 8 J — (oman, Q— bs | Set Toe | ToS Pence ok XK 0S Xx — bka\| BL Gwe ho,ry! coy a in ws cnvmediy flbewed by alluast one! | L= Rab,b, obab,obb, ¥ a | b » Cobvp* 6 a Re = Cobud @ | Qrtarmas b Sat 8 >bS Ste Tbs D (Condusion E Requlan Grammars aafine exactly Ye sequtan Janguages Bek sagen gonna chin sed to frodie at Psis and REs wu eatin to Wek Buk ax we move Justhen Kew will be no eng cash a tedhnique ke seaguton expositions + Bo we dus aSbouk contend - fue Jorg and conkink Spur Gomme ore VY importank to duine Ke dJanguages ef puk-down aulomatoay ‘Regalos and Non Regatan Lacey mei | [edhe don edhe hon 2 of bt sigula 2 AR = (OR N>=0) B not yqular "Se Aopuagt (we Lani: wou o tromedictly filers by BY ae i) de onguage Gw €Ca,by%: ahaa watching b domacheu and no b makdher move than ene a Yu not vugqular een ao neo Jonguage by dows can we Snow shether @ not th & seaquslass Sheovern A: dhe scala eerie Ore goulaey infinite ment Shoe are countably tnfinihe camber of sequlan Jonguages Rah “We 4an erumiak atl fu pesna with inpuk alhhdbet 5. “bevy seagqulan Aongace Le aumpkd by alliad one them, * Go Wueu cannot doe move ‘ax dan: Yron Vw osu DESMA Buk We number & sequin So he infinite eaux tk includes Wu plowing inlinile ak of Senge: {ah (aaay ,foassy tac} (acaacl, ., «thus Wee au ok mest a wean infinie qumben of segulan Joomuones sdheowem 9¢ dhe [nike Languages | Galementt firtle Language 's at = Tage nage |. be eenply Sek then kB dhined by tu Eg and Jo's +egula I. 4 a | Jintke Jonguage competed of Hu Ainge Ay 3s du some Jostlive tkeger 1 then tha dined by REE AV4,0 43. Uy + AEB doy AequlanI Pfoun dudntquer do Mowing that © Longeage 4 seaqulan y Exhibit a RE fork [5 tahibs a psn fork 3) Shoo Vrat He number of eqplwolinee 8, u finite 4) taibik o sugalas qrarneran feb | Cowon Puopodtis 4 Requlan fi i | the saqelon Languages ase ated sand £) “Union *dntoaedion * Concalinakion : ifhoane * Keine Shar Rovere + Combbument + Leth Subsittubion > Coser undex Union ,Concatenalion and Kleene Stas dhemrem : dhe suqutan Songeages au lord under unten, concotindlion ond Rleen shar. Rsvop 4% aiven that G and Ly wu eae Jongu: fo Rusu eh Os ae Rand R, Auth Hot ' v b= ELA) 5 Es ECR) Gy ee definition 4, saquan expremons we have > RR, gs a Seagashon oxpremion dancing Pu Nonguage LvLy > 22, & a veeguton expr Bion decohny Ru Janquoge &yeba > er Ga seq aio expremion dunching \he anquoge Lf Ge, We stage Jonpaga om sletid sundis unin , coreatinahon and Kuen stax penal on< | Wewse undir Comblumenk Wheorem’ du sugulan Jerquags av aloud sandin combliment Pool, “4 Le seegallan, Hun Wwu eth a DESH M,- (K,Z,S,4,A) Hoh acerps tt dhe DESH MA (kK. =, 8, 4,9) ramely Mm, with accpkin non-accepking alales avopped pacapt (LCM) becaue th sujeds all Ire Atedngs vt M, accepts and sages oll shodogs Yhol M, acpi > Clomuee under datecrection dhiovern: dhe seaquslas, Songuages ose ther wundir inksueclion Qed + Mole Phot Lu) on ms) = 2 GeLM) ¥ vem) + Oe lame ahead Ahown thot of toe seaqulan Songuages sug, tleid sundur Shoth Complement and union + dius Hoey oe ateted wader Entvnreekion + Kample 7 20s sit Qo § DESH Ly Lotuch accepls things thad = dau 0 Gnivselion Q@ froduct Constsuretion uokith accpls Wak ave poth O and tx) => Cleaswe unde, We dillocenee Aheorms she segues Sooquages asa led uindin Ae differance Loveol LUM) - LOY = Ly (MW) OV LOMB) * Requdar Sooquages axe wleicd sind both complement ard tnlouedion B ALovon, * dhus suqalas Sonquaga ore whee unditn sek diffownes > Cows undtn Revesce dhiovem: dhe seqatan songuoge osu clotegh under savose Pevool, ue. we s* sy. of er kome LE LY Examele D Zk L= foo toy Kan LE- Cro, 01,10 => Crews undth Subsktukon @ Homomosphisn athe eae domquags au velo sender thor dubsklubon ~ Contidtn any too allfhabes 5, ard 5, - tk tub beadundhon fom 5, to F,” - then Sd tub B o Jitlr subslttukon Aor to by ‘lf daub (L)= Ree TP: DyEL Ls y emcapl Mak eo sthaneckox ¢ of 4 hos bree suflond Yay tub COV “Exasople Contidin £2 fa,by and F,-C0,°y | fk solo be any dprdion Jromn 5,40 5,” | aula) <0, dub (b) = 1 Jase (aPbP >= 0) = FO rns -0¥ae dhe Pumping dheorem Sruorem ¢ be reqalan Jonqiage hens Bky=\ Ww staring wel ,whou (wl>-K (axig, 2 Wo mya, Ingle=K, yt £ and Na >=0 (ay €))) Revoo “S$ Luo sequlox Von th & accepted by Aome DESM -M= (k,5,$4,A). fa B belKl stk ow be any alodng in b af Length ka po By Jouctes thevem fo aiaph ww, M amust dnaveue some eop of hast enn, We con core wo up aod astegn Ye name y to Mae fouk subching Yo dave M1 Yhxcugh a Loop. sghroo x ww Mu ork oh we hak four vy and 3 & Mx port of Wook Setbeus % + We show Yhok sade ol te Jost Hues ccondihont must fun held? ) yay ek Mi musk nol dxaveue Vor a Loop can saad Kel Charades wilhouk sxexistting any sbtales Buk Wh bY Caxode uitl dooke M1 fo a slate vind Lefow » yt & Since Vi dilvuminitkhe jun we ne Loops Jravoued by & i) va > 0 Gye | Y Can be Suimped ouk one and We susutlin btscing musk joe tab |HI | Seps to rove fomquage % nol saqalon by contradidhon method py Assume L & saguon » Ahh Ssonging Fuorern for te given angooge Dd Geese a Abatog vo »whwa wel ond jrol>=k WY Sh Lo tno uy Auch Hook \agl es and y # & D Chere a volue Jory auth Frok aut w notin Lb 6) Gur assumplvon & vosteng and hone Ma given onguage & nok outs Pscoblems on Pamping Vuwovers (Bhousing Yrok the Lanquoge & not surgeon) Ny Show Vhok ArB™ & not Requilor “A, Zk L be ade? Cob” ane =o) Pecoo\, by donkiodidion ditume Whe given Janguage U Ail “rssemping Yuoxem and aplik Hu Ane wo tno “8 Choese uo fo be oY (we qc fo choose any 10) \ 2. e000 ojo bbbbbb % 4 2 tor show Fnok Kwu 0 114,3 wilh Wu sequined fuepertien K elo, Ge Fe Vay r=0 Cagig bw by musk be in. con 1). a a of £ Sirva (m4 12 for ome p Lek y=9 1 huodusing ak spb pince tt dos snore a which ssesmnd ‘2 than bsS| ied a D Udbtd sj 20 and t-]-34 2), + Not OH | + L cou oh ofl Abongs sf the fein ot b* chow He sumber a's iy Loe moe Yhan umber A ¥ vs “We tan show that Lt not seglan by pumping Hdd we ot EY > Sine Yay £4 musk We eaqual of te Aome p>o > We scan pump 4 uk one, cohith will gerevoke he stating otek wRitn & not tn Lb became ue number of oa Jus than 5 mov Yhan number dbs XX xX = XxX