0% found this document useful (0 votes)
15 views

TOC B section notes

theory of computation

Uploaded by

kkiru8225
Copyright
© © All Rights Reserved
Available Formats
Download as PDF or read online on Scribd
0% found this document useful (0 votes)
15 views

TOC B section notes

theory of computation

Uploaded by

kkiru8225
Copyright
© © All Rights Reserved
Available Formats
Download as PDF or read online on Scribd
You are on page 1/ 50
ve if THEORY, OF . ComPutarion ayn cemesal concep) 5p aukomase.; aa Gionite,” mon: emipty set of ayrnbicts. is Suprevnitd by * 2” 3 wm: = 1,2} inary -afphasee. “2 =" Laybycy ' eo ashy 4 2+ {0/4,25. ay | biting | in yan of apnts eho fem ptt a = 19,4), , Ww 040 bos 4444 WwW 044s We G0 So = Empty Akuing | ia iain sual ah ORGIES “FE At ts Saprresented boy) “G’ puter) ~> Longin of sting: ne of position fel the dymbsl in a Rung. 7 ¢ =fo,s) w = 040 es fw) 3 > Concatenatio ef sung * Xe Ady... Qe YF bs by --- BY ae aya a, Ag. ~-Aj bs by... bj hls deg: | a 2 is am alphabe , the cit ling ont. | dongth af hal alphabee US Seepresen ted aving | Caporentiat motation: E> st & bingy of ongth & é= o,a4 E2={00, 04, 40,243 & t= {044 2% + (002, 091,010,011, 100, 101, 110, my |, al B tees diode + aoe mgr a ey } = sus vet usr. i = tehutorsgufooo, tl Mgr MNO, ie ; | = {£€,0,4, on, of, 44, 000,....-y 4418, 0900,.... sass} : Language + i IS of ating te of estich ehoten fur. 22, | wstin, & Js particular alphabet us. Katted as j foliar uns A O's amd 474 wuith equal ap. | 4 fe, i 40,0044 4400, 05404 . ' ee ae ee a yi d= { 0b, 008, bob, ofa, baad, ....4 | Phe ak A AB ati coon Longs wwe Eda, | qe {€, a0, aasa,....4. Auuifch t & Ge Abate - of , an. oo —_ Snitial afake - | ; pus —> | on) | dol alot - on of. on push —> off i slime dase a eh ae ‘. Elements stokes , umput , Sronreike . é atate . My amiliak Aake , Binal | DFA is elefimed uuith 5 - ctupdess A={8E,5, 4, F) ashore » 4 | GQ - Gunite Ab of stases Efile 48 of symbot, 5 - Hancition fumetion Qxz+Q Poe’ itt automata + Mock eumputong m aonpuik tape pled wedi conruk . \-> Ps “capt (ou w * eee an 5 (9495) = Hy a an é "geval stake dhe Won B (V8 8) Oe concn Se RE 5 (Vay As)= Yo" a an" Seal ae ee 6 C%nt1 2 An) = Vn DFA Cxarmples* Le (ang aiuey ot a & 75 ‘end Auth aeing ab’ }, Ne (Lavras 05, {a.b4,, 5, Lah, fog) S on fi ‘ i i (> dato tin 6 tors 5 (4030). » Ge 84418) 2 %1 5 (Ma) = Hs. 5 (oer b)= We 5 (43,6) = Oe (a be - Entending Mamsition Gumotin for DFA: Sus hurived from 5. ETF tirat cecribes what appuns whi aut starit in & ds Aegina as wenduuction sin Length of cnpuk sting, Boas: 5 (wre) = 4. SnduscMen i We Xe 3 Cay) -5(6 C9 a) Fan e¢ § (6) = % ce 5 Cara) = 5(§ Cavs6),0) = SCn,a)=a, § (4,00)- §( 6 (4,0) a) - 5(% , 2) =Y § (2, 008) « 5(8 (4», aa), 5) = Sas E aah ® aah ») = 42 eF 7 55 ce = We 5,6) = 6(8 (%,€),b) gl = (404%) = Oe soba) = 5( 8 (ao,b),0) » BS Cama) Pras > Cayoeboba) = § C8 ( aba) ya) ia = 6 (aa) = os we baa sis hrccopted. of DFA: sea soe apined a, A> (04,8,5, 40, 6 A) & demsted by L(A)» aca) = Cv] 8 Caer) ais im FS, the st af ating shal Be ve each on DFA. 2 ep se splay, OER is cated * ** sequen” nT ‘ith "ab? oa Jee { @, aba’s , abb’s , aba's & bay Qa. Bimal lake.» 3. Guat DFA fo accept at of. sbungs of P26 yy ee ' = - bb, arab, bub, 973 § bia . ' bYvi ey ct ie et g Sromnition able: i . ane Hsi@aue sbao. of sat ofeigess bo ia Vo HW § (a, a) = % § Coe 58)= ay F (4,0) = Ge. 5 (sd) eq, 5 (2,4) = Ys 5(4,Deqe . A=(hrer med, fay, a, as V OFA £0 axceps . eueetane nem tod wth Sa? Mt a twigs of an ama be iE 4 abo, as 2aba, bs aba, als & b's aba} 6 a b Go G Yo A wy V2 qa | > Ye %s WN Va 2 (44% qa yoy, 1%by, J, £04, £454) eo. a os amd b's allen g “ab pet W408 > bisah , Aba's, ah b’s § pate? a Vd a @ f oe” oa Ae G)— (De act af abieng af even domgen OA E AY — Le, 00, 0000, 6o%,.--.3 8. the at of Abting of add lungth orca 240% — {0,000, 50%,....4 a. The eum Lomgth of 076 followed by edd Longth of 4, > {LW mm, . , O01, OCOIN,OONIN, vd 4. Une odd funy of Os fetlound By even Lomgts of ary = fo, 000,o0000, ..... , Ol, ONE, ONIN, -- a) 5 di sk of shwings Hh als § b's cult even mo, ef Ws A Bm meg bs — 16, bb, bbbb, aa, aana, cab, bbaa, bank, abba 6. he at ef seungs of ars § bis auth edol mo. of ats Bi adh mos F b's. 2 ° (€,00) | ee A 4 O22) 2 ae OOO F a,b 6 Tr OTLO*@ —-@ar@® Non- DETERMZNISTZC FINITE AUTOMATA: NFA ds ofimed with S- dupes: A=(8,8, 6, a, F) wt, = Q- Bini se & Hades E- Pimite ak of symbols i 5 - Manition function (Qxé > @) qo - imikial Make Fo EQ F. 46 & finial sats FQ, ae Lb ADH OOO gee H a2 1% aah 292 fb, Jah, LMAVGs L491}, (4 wh, £902 904 far, Array. doking example os “aabab’ ro pout of Q ey ending Luamaition gumction Rigg nen : Basis 5 (456) +9 Enduction, W= Xa § (4,10) = 6(F (q, 2,2) BCH = {PFs ta} 6 5 (ay) = SCpradu dC pasay---. 5 CPn,a) = 9, Napene IIn. 5 (asw)- WoC Pisa) =I, 0, M5, my $ (402) = Ve & (aea)= FCS (Qo, €),a) = 5 (4,4) = Lv,anrh 5 (aepaa) = 5 (5 (42%) 24) = 5 CLV V5 a) = 8( 430) V5(% 2a) = 1245 064 = La, anh, $ (4oy0aH) = 5(8 Cao, 00),b) > C14} 9b) 2 oe S faeiye Hdetee aay ee fh mpegs NERS T | n2(9E,6, ayo, F) rom = fw] Fly. wn F#by damguage acciphed by NFA ee . gure we Com roy Me Oe ee caus DFA guage wrokence Lechter NFA & DFA Sulrue cornusction a,b — a @) & re Gog 4 D fg (a) io 19 dput > NFA N= (Qn, £, Sy , 4m, Fr) eutput * DEA in 440), >= Cm s, 5+ Me, é) N= ( Lae. aah s {aby, 5, {a9, tens) Ow oO b ge fash A¥5 4 6 14a Ww é | Meek * tmput calphatel ary wou & Both the autornaty “Oy us Hu cust f Gu, be, pouwned of Qu. - | Crateute only state wchich axe m Of DFA. seochabe w= (400929) ef Au = 49, Vor Vis Va, | Hs 48» 4,42, Hori Va hy did Sp (G4)! In (4,0) cn Sp oO b * Aae4ny o é ‘ 5 (4294) = Sis (or) <4 — {4} {as ,anh {aey Fy (41.9 = Sy (ns0) Pe tag o {aay 5o(A¥ > Fn Oub\a. los {aay o i ee ' | ye aes * by (4 120 ula, {uy fb 104 oe 4 * {eta} fava. Laeh + (yew, *{maah — Lana faves + Go ds tte Amisiad state ¢ FA ds $4 ath Centos ont Abe imiaah Akate of NFA . Fo; $ a He subset F On, Snag ‘ VWSEM , Vacs, 80 (S,a)= 6, whee Pisin OS. v eon do a »b @ Sy | a b ay iy {aony Lan go Aaahe fae 1140414 Las @ 9 % {4o4ah {way Lael oO a {may Lay AH day {yah toy {ph p tps on a h dp a b G {a0 {arr fy Lah davarh % g I4ah na Lvevy dao {40% deh Ga d ® {ode} {ah Lae%ah (Q* CY OareGn 1S Re Oy 0 4.8 ® 5p 2 = Rae fehorry Lark fowy eti t A det fates 0S dotn4 fan) ¢ LEVY PP Kandy day FY AMY Laynh Poo MAY a. ph ee o 4 Ph a jay *meheck, oO a Any dapay 445 fay (24 Le ay fay day Lym {ay fay {p4 {park dqranh {Pah Lamy Amey £ ps9} fas ¢g Apy for msy {9,04 {p94 {ay rh {sy try : NFA with € dsamsision (€-NFA) * how ow 5 dupes , (8325 Sas oe hou, Q- fini ack ef Akates. z - finite act of symbots . | J - Mamition fumetion, AXE ULE} sad Qo - smitiod Atak YEG Fo- set of finial stoks FG Erormple + 99.9 = £99 4 ea) fo One, pO tye, Pa. ody qt g, & » ‘ ry) drannhton foble + é + a . O...4 4 fay fay Ah. > Oy 6 6 b fay anand % 6 od 6 {%24 a (Wy bd ob 6 {aah a o> 9 b (sl o x45 d $ d > & " EPISLON CLOSURE? sek 0G states which ome Suochabes bu OD, VR Stee Ee, Lavent => ) Eckex (a0) = {%, As, %, 43, Ay Ectex (41) = 1455 Oo, Gay Ector (q4) = { 444 Eceok Cae) = (455%) E clewure f stake As Eclon (ds) is efired suounaively was fypbleuss + Goris: G ds um € Clow (a). dndluction: th p is im Ectore (4), tren Aho iso Bamutin do 1,an€, adel » fo E chew (4). EXTENDED TRANSITION FuNCTZoN FOR ENFA: él Bors + 80% €) = Econ (4). Enduction: W- 1a & (%w) = 5C8 (a,x), a), 3 Cara = (AF Pays... Prd O SC Pisa) = 45%)... 1m) dea Es OG ecoote (9) = 14 A... 4nh 4 “ “® bq, aaa, x & ) € ® Ls Ectese Wo & (4,6) = Eto = {40-43) § (ere) = (SC, +) = SLMS») = 8 (4,+)u dla, ) = Gu {aah = Ectox Ca, 2) tah. B(ae08) = 5(8 0%), 5) = 6Ct0ah,9) = %3 = Ectex (45) - {43 4s}. we 4A & (%e, €) = Eton = {40434 § (409) = 6 C8 (4006), 4) = SC L004 59) = 5 (teye,9h) U FC.) = dut{ttuy = {4 Vu) = E ctox (41444) 5 (%599) = 6 (8 (4% 49), 4) me Hye 4) | = SLanay 0 5 loys = LV 444 OF ={Baryt Ss ELIMINATING © TRANSITION ; drpul : ErNrA ECG bE, bc, Ge » Fe) gut DPA 0-=(G0>~, So, 45, Fp) Mthred +: ’ rE dmput alphabet is same £0 both. automata 7A ss sh of subet of Qe Contr enty afiter which vaccimible fron dnibiat dtak mu Eke Ff Me. —> 4% = Ete (ve) > Fo= {56Q, SnFe #64 S- evry state Of Sp..- S0: VSEQ, Vaee S= (P,P, tie. Pn} nr i GO §(Pi,4) = Lm... And Leb @ 6,(8.0) = v Ecto (97) b Qe no AG oe “ERS RL Qo a @ TAY ey : . Exton (40) = {oh ; Cora CAD = {atyal Eaton (%2) = {aah = Eetex (an) {4 ah 44 day b Oo a CFG) Ect (ae) = Lams dag,ary O | -* cow (W) = fay 2% |? A | A Ectou (43) = {re} a Ectoxe (43) = {4a} ds gy E cose Cn) = (oyu) “Wo b 5p > fa. WY) {aay {Quy p $ {49h fay é b é Oh Bids g g 3 g @ ¢ o ¢ @ b {aay ah Qh 8 (ee Mee. Cee) bd @- . é A , : op fave o day dd Y {oy fay tray an ; ° ‘ > Ecose(p) = Laat Eto (a) = {44 Eo (n= {ay dp a b ° siojay eR) Lay Lopa ag Lpqay > etary {pay {a} p p ¢ E ctow Go)= (40% Ga 494 Ectow (4p) = {q, 4244 Eton (G)= {4a4 Ecklon (43)= {43} Eclexe Gu) = {Oy 46.44 MW 4s). Celon (as) = 195 We 4a 41 4s Ach Eom (4s) - 1496444, 42494 eclox (Ga) = {aah 8» 9 (2 Air Is Aq } Lue YaWAeAs} 4959424 % G34 b < 4a} {Qu%e 49414245 j 15 Ve 94 WWM L444 L446 14 WHY {94444 deasy {4543 14249) a | _ a ais ya ie wed =) w (ay) dndixtinquinhatse stage Cequiaalane) : af, aioe p ama gon said a pon ig SCewer and 8(v, 0) € i a 3B (Pw EF amd sare) ZF Go alt dmpubs Wee Disting hab. sboke : : pamd gy ame said fo ke Biatinguitro Lee aff F(pmer amd SCHw)Er b) wizesersa. for atteawe Ove wee. Exomple : a GQ ® Faeroe): 426° 3 C100) =4 #6 Conan 7 Kio WEE > Cura) csbrguiaty (42,42) —? 5 (09) = fF d 8 (aa ae) Tee Gas Ferg egr eh; 8Ge 0a) -Geer te wa (124s) —> 5(40a) = Gy CF é 5(%20)> Wy EF : : = (AGe) #45 5 (4,09) = a ge dikinguivrathe 8 (4100) = 4e €F 40 Ue Bramrition tebe : Y a Eat (4242) 544. Qs (40%) 7 Ca => gees ad a FResise Macon of Lndtistingut rate, pee Basis 2 fp ds Binal state mk a, us mon ber dake wh wice wa Aron Are pain (pay) Sena F gpduckion * Ue paca, ace, 5( pr) =x and 5(%) = | warn Amoum Bo Le distinguixtraee. Mum the | pair (pr) ds Lidkinguistrable. + dnddisinquirtoste poiss of atohe C442). + 6 Given PFA are Gor G Ya. | * Akakes amimirmalizeR DFA one Cer4s), oe saLesscrint CADE 9h Ue drow aul Le Mo Aang GAL. gis C4 25%9) Se § Wary tut ie my nepitivion, iy (49%) § (M1, 4) One His Haan Homa any ~ oO al * dndlatinguisrable pair AR sake one, *O 1X] * CAE) 5 (8,4) 5 Cor). ' DIALX]| K * Given DFA ore A,B,C,D, elvlx|x]x* €,F,6,H.°! elxlx]x SL x Mates of vminimalized OFA aoL: GI] x] x | x [|X] x | CAs8) ,(8,1,(P,F) 0, &. H[% x [x [x [A B F 5 (A= B) OC) =F 8 Gq c 5(B)-G 51% D=¢ cae CoA (6,4) CF.c) Divi hick suth 0, up wo y c Pain si-s, (Ger), (656) os ‘inet € H @F mmorked in £4 fol. then Mek with 1, wus gu o par F Cc q CPs), ik as mane in Hoe G 4 » cable. Hime so Huh mah CAB) as eats in P00 falls H q e Sirmifardy ho ib BA OM Pon Paine ion ton Fable, adramition state & moendmalized OFA 5 Oo 4 > (AE) (aH) @A C@H) g © Coe) oc a re AO q q (8) a : Koo \ \ ar HBO: 2G) xey teers se Oa ee g g o oO 4 aA 8 — 8B E © FE 9g 3 D> D € E EE g + F BD E a & F G a ale e | x |x Baars etx] x) lx] re[ xl] x xlx x] G x ~ “i x “|i | ~~ @ 6 @€ &@ @© @ JA 6 ec D EF © dndistingulthabee pai of okt OSL CAB), CAs), (8.0), (CE), Corm), CEs6r) . Suiven DFA axe A,B, C.D, E,F56. + Atates ©f minimalized DFA ope (A,B) (A,5) (8,0), Ce,c) (sa) (620) oF- AD, GA, EB, HB, Fr, Ic, @p, HE, iF. Ap Aor €6 1B Fe IC @D * ° BE GH cL 24, DA EX Fr GA oe & HE Be Fr Fo He HE He adc BE k 7 drtiatinguiniont pan Hi dtakel OM, 1 9 WA © dyisyn DFA OR Fos Up Aes Va 5 Ae « Monimnum OFA t Can, 43), VY, Var, eee ah OHH @ 4 Oo LAAs} LUG 44 As Ry Loay Aas crm g oo Lau Cm Wy REQULAR EXPRESSION t Es Oo mptition suse deunibe the RL. PAT OM OM dy | ht comBinosion of EO, aporater tr) *- . ‘ we can defi exporion ecuschrly wo. feos, | Guis: gy wy Re, omationg Aor Famguaged § vie, LECg) =L4 © 44 RE, cumoting thu Language {E4 re $C) =de} | 0 RE, Ya eS , damsting the tompuage {a | fe, €(a)=ay, & | Induction «Ug Came ane RE, the E+F is abe Re, | omsting the wumten of L@) ane Lr) | | te , LCE) = L(e) UdCP), | \* & & ome F anu RE, Man BB EEL also RE Lemoting ' | Mu the concatenation of ACE) «and LCF). fH ACER)L= £Ce)cCr). | | * of Cuare EX as atip RE , homating the fomguage / cdeasune f LCE), ie, ACE*) = ChCe))* / eh otple L OFA 6) =d4) +O Oto, Ae) {¥ @2®™-sO Ley A(a> {ay OO) {ay Alot = 1 fol) ejetn Ee ane > {0,64 Ab wt sou RE fr fis | DFA. p ab= L(aB) = L(4) L (b) oo, Pee 2 tals 0 S04W@ Bases | at =L(a4)- cad)? a oo. = Qt = €,a, 0, aoa... Mighuk -pouority —>* tout poorly > + eirete = (at0)* a k(atb)* = (atayve co3* ef i gare ab \Cagoae 1 a, 2° -fa;bh = a,b” : ae 3 = {65% bsaa, tb, ba, bb, dy Woe Ate ise Omar ee L.A set of ings: of 0’. Bib tails” uit “input Sab. > f= 4ab, abas, @bb's, ahas S bis} " t a,b ab {a+b)* “(s 4 ° b & € =da,py * ends with aB. ws 66.3 ¢ ey Arps > \ 4k Af abrings Of 0's & bis Ons wut 3B. L= fab, 0 2B, bis ab, ase bis aby Pins > @+b) ab Se Ae stiongs emda uit ‘ab? at atanit UUith ‘OB? 88> Br So => ab (a4b)% ab 3 Ehay x Ab oh ating KE WOR Length A ais “4A A aoung 4 edd Length &f a’. Se of atung F com Longe als Ke de » Qa, Aaaa,...y 7M wrung ott tung. of ar, L- da, Oaa, anona,...\ POZO > Xe 4. Suef Hugs of eon Longer of ars @ py > (aa + ab+ ba +bb)* S Bk af atungs f wcll Lengin op as £ oy => (ao-+ ab + ba +tbb)* Carh) Png hh Wuings of 015 § b's sulky mmo Conatcusing pac ™ F of a's | tu wh Maing, fala 5 bs auith eect ont pa eat. ; ame # atbuings 2” a5 § 6 uit, atmos ore pour a Fg. he Bk Of Aumgs F018 5 Bs ait alos, oe pain fo _» (abe b)* (axe) ; 1.7 aay Cob+b)* aa ( b+ba)* Lo (ab -+b)* (ase) (b+ ba) a. (a+b)* aa (atb)* sat a whine in tka ail ean “ab a “ba? oD tw \ Ww peat Wel’ mod “3 = 0 | wo (a, 6)*4 12. Le: d amb” | WeB , meal - lo. > (a+b)* (ab + ba). , pK ® — a0a* (ax) ( bb eb +€) We-> Cath) (a+) Caleb) * Ciminasion i a ie GOs ; J > aa*b ; > Carpe b ie ra fete Be oe ! - 2 2 @ > (ar fi , ‘ . i “2949 = Rem 7" Fim * Be. (R+ 80 T)* sys Yet Caample, (4) dn Hels OFA On we Dow RES Sut we don't dame arya) RES Ualues fo eu 4 giitaag. gle Sie gremadinnt ughin pe «s the final stale, tue elimumate Aeahes 4,344. ystun we Lorider Qn os final take ue Clirninate fase, 4,3,3, phen tng are 2 finar «totes. (0) @ © ® © pater * OQ", Oe : SOO) = RE= (a+e) ab tlumimake Fhe state q, 2S" b = Me (R +S0* T)SU* ake Gfiumuda oe 4 => (b+ aaxb (aaxbyh) aarb (aa*e) Dis ks He covrveoted jon, © QOD > Wiwiimafe Ae ( oath (a0%6)*b ere jaoxb)* i : xbb)* b) oor bl : Wing Gms, (b + ao%b(aave)*e (a2 (o0x0b)” aa*bb +b+ Cra tase if ‘ =) 8 bb+ (ba rade. es! R= ob, 5 + abtbb+(bataay 4a, RE = (R+S0*7)* Sur .. Re = (abs bb+ OF Oa EBs oreducct (ba tan) a Cha) * a4 <6 +(Cba+ea)a C bay". Rat Coruidin Qu as final atate £ eLimimae a ECs Coens Gas bB bi” ce a8 aT= = _ R= o+S~ (ba4a0) + (abt CCba + a0) + Cabedt)b(a6)*)* Cin an) + (ab+bb) b (ab)*) Re = van Cat Midd ns Sette AN lee - ae - fnat RE = R,+Ro » 2 ((ab-+bb + (baraa)a (ba)*)* ob ebb + Cha vas) « (ba)*] + [Cbo £00 + (ab +bb)b(ob)*)™ ba + aa + Cob +bb)b(a6y*] elias Ag a bbe aba)p (J bb*a (ab*a)*b CL. 1S Wing Sdnute ? (R +Su*T)* Sox = (a+ vb*a (05%) b(ob*a (aba) *5)*a)* bb*a (as*a)b (bb*a (ab*a) b*)* Ediminating Au aot 4, : Ca” ! i Eimimasing fhe ake 51, ao 00 +010*%) SQ eee sy “doula + (R +Su*T)* SO* = (14004 o10%)( lo+ 110%!) * 0)* oo FO10¥) (10 4110 ¥/)* R @ Conmaking RE fo FA ((€-NFA) + yey amguoge epinud by RE, x sabe dafensd hy the finite automata. PoweG: ket Ls A(R) Gh RER, we atin track Lh = L(G) for some ENFA with Che fektousing : * Only ene accepting tate, 4 No dncomung 09 unl Initial states, + Ne gutgang arcs from the fimak tates. pocuruine Brffnition & RE . Note: rays 96 as RE, L(A) AY -~O_©] 76 RE, L(e)= teh 20 | x Yo, AGE wb ARE, L@=dah 056 {OO} bnduction + Y Rowd § cow RE, RES us RE, L(R+9) = € L(DULS) [re rile = Cre tea ez a \é (0 {é *RS we RE, LCase) = RLS) 60° RO} s Re ue RE, ECR) = CeCR)* a RRs RRR 5 nition sak Aroutld mot 4 “_| occa ns F edn Of EO sitar enoss ea ix waa. shi ~ Lor Oh Hunce , sue absvuse sak fe gocisusing cendkitions ote cat F * Only ere accepting tafe * Ne anceming acs le he Amibiad stake. * No eufgsing orcs fom Hu feral date. 5 RE €-NFA $ x © Ca+h)* € € OGtam €-NFA! € Caay® (ath Seni’, ji ; a. 2 ») TORO 2 ey é.- é x~)- ne) > | Final R.E = Ri +Re re = [Cone (ab +¥1)a)(av+b)a) ba + (ab +bb)o.((abeb) +a.)* + [apab+ af ba(abtb)) (aes) ‘| ‘hota bah 4. Waite RE de Heh Oh Meings Oty, ~E «fa, bs &} comtaziin ob de are a aamk flea one bh. fk A at atuing of 0's § 2's mibecentaining 104 ha as 7 ALAM DFA: DL>- {amb |[nrs} A-dalb', abt, atb> eee {)b Context FREE GRammaRr : Define By 4 tuples G=(v7.85) | WHLAL, Vids see Of wasuateees . Tis wet gf fevminel . Atdx S i «fart waoniabhe. , SEV he : Asher Ps sa aSble $36 sS~> aSb S > asb aéb > a0Sbb ah > aaébb 2 aahb , ar RE = @a* bb* P ds Ack 2f suules A -poodiuction wht AEV, «E CvuT)* Gg = (fst, Lavy, P, 183) 1€,06, aabb, aaabbb ».. sad 2 6 nt ee so e/asb| nza aabb n=2 Gaabbb ab Qabb (re (Sewers ash ~ aasbb a ke fare? [nay net ob yea amb > a6b | asb n23 aaabbb : 0.0.4 bbb + aah i as aaebb (= aaa € bbb > saasbb ~? aaa Sbbb £ Vv & ww Sethe fairor[n BY ned aab na aaaa bb n=3 Qaaaaabbb ang pb & > 20s] aash | aasb 4. ned , m= QD n=2 , aa so aa | “QA a Aa A> alsa m= 4, bob 8 b] Bb m=, bb Bb a bB s. nedaer, bartt ned, ae aot n=4 , Qa A n=2 , Gaaa —» Aaa é cof ptt ab A> ax.| foo ame eee B> bee | Bbb , m-2, bbbbb — Bbb 6 r 7 = a fy & {a®? |nz04 n-9 27eE n=47 200 Fs | [ 4- he 4 gant Jnzay 8 _alsaa 8. Le dar | neal s—> alas g. Lad wt! we {apy*) > om length €€ 7é abba 2 asa boab —> bsb aa Qbsba = aea aa baSab bb > bea ~ ~~ beak Si > alb| asal ys oct Longer | 1 Le Aan bret | k-nem,nz0, meol | peo 5 OP =A m= 0 einer £0,180 €, Ql, Aace. ea & R=0, 1,4. S$ elase m=0 ie = a ° fa [is clase | bee aot eae = = b ic or ee a wee it gn oaet =I.» {sel bse) which are vet = O,1,8..- S > Elascla An LOMB ne Qs) 9 €,abec, A> bAc at ke ten ee ud 2) 394, «--- J abbece---~- DERIVATION PROCESS SS a8 re A 00a — ; G ~ © oO Q @ A © —@ So AB > aad % ance my ees - z a Ln dnput ab work unviable » Ly ing Ot eh rmee preiuction of He CFG us caleed Ludwation \ Tas Aypert sak wach sep die Loftmnert vasuatt. - Hefemart destaction (tm) ~ ise seapllacech Soy dhs proLuckiby, a. Rightmere Lorivation (gum) — ak each ctep Ane Wghorreit vosunbl, suit De replaced boy Are production. @ @ e g S => AB 57, ABb => Aeb > aa 2 m Fin aes Q aoe > anh ven ren petmation Bee (om) : © Petivation ox (sum) it A> beb —@ 6 > Ale —@ Input abbbb © @ 8 Sx ga 7? Q bBbB => abalebB> abbbh bb abberbeS abbire = abbbs oO . @ S => ahs g GAAle on OA bbb =, aAbeb Py aber bh abebbe => abbbb a. En +eelce|-eelxly Spats Em + CE = +* CEE DP 4x-EEEE = +e -HEEE => +%— XYEE SD tK- KYXE 2 + dugouy.

You might also like