You are on page 1of 41
Tor Theseus & Comptakion Symbo\ Aipholbek = ¢ = fn by || String A, Condition [Regolokion | Lomguege :- L=Lodd nos Ao, odd nos & by Automoka .- \ Dever o, ewenl 2odda, even 35 evem a oddld &>oddoa, odd b. Pp Aloo ¢ Automoka one oloays Rmite. Eq eg. to} L=Lorespt string 1004 Set Ole G0 G0 =O)) Finite Avtomoka Re at FA Non difiaministic. FACNFA) COFA) JL stoke should be. sith nol shout null arias with tnomstions © poONS move fon oll elements in Hu Apholoek sek . a stoke should rok tvavel to moe om ont etoke using Nhe some input | DEA - sae Stork Qa Se 25/5) 05/6) SLA E> Finol Stoke ele menk. NB,C,D,£ > Hon Qin Stata elements. os ot wipe fi Lome, « Locespt staring hovsons, substring ooh L: eee mibo\ Pyvom Dl, isd, shad Sumbol S Qasr ae As N 92 GLENS DEA ~ EY Ls {Daw o ‘DFA feel. acaspt hO.b which ane Awigible by2, Dhow He Ho. ast wpmerenticl in binaruyy” D> Eile % : \ stook ie a Le m6. divisible by 3 binary 2= {01% Soy is dividsdh by 3 Possible nalncn dite 0,12, J We nad 3 states, 1 AD aamoimdan ey’ — (is ()) QR > vamoimdun >t C > sarndmden” 9! L=% orespt no. divisible by 4 2: {oR wo. R stokis = 4. Remain dass ‘- A=0- Q@-) Cia) Diz mint Caan ai Att ‘ VOO\ & jes Loaerok no. divigiole by 6% x ae Prat 2= Loy “i wa no. aH stokts 26 So * Every stoke should chow tromsit ion fon Neruy Clemamk in He oipho ber Sek. nek A sto com trowel to ® Delon NEA show + Z- {o,12, { lee { Design NEA Whow Stning ends with Qe ** “Zerprn4 - ©,1 Q@) Design am .NFA +o oraspt ae sk ning, with Ox i Sock tok the sonra, contaims 2 cones o's 2 wmsecukive ib. “a z= lok Pe Neath chGive © ox at - a e Toes) etal Tobey Ne tl va (@) U) 6! NFA to OFA S(Staks | input) = nour cto hak us considan te previour problem > 140,41 % Le, as Loye, , % 24 Ue, 4 Loo, x ,Oy2, Oya a G = toe, 2, 0,23 Lay0,%s, 02,0 L0,049, Va Broa ram \ ° \ & & & D < c G E * De Fe Dd \F G —E oe o Mai G* Ms \z 4* Ns 4 road fs clk amad . We hoe obtamed the OFA . Vous hen DFA eee Finite. Askowes L=Lo%/n>0y Dlr of o% 03 of... on > 0, 00,000,..... SZ ato i J Minimum stoke, nequicud ie. mt BOD Stoke T/e oa A % %1 Eo, % OFA: O28" ausec oe Le fa®/n>2%. || to > @> O2>@*-@D- Le Lom b™ / nm ook — 2 string commer etonk See & O Comme come ofr L= {ab coda, oe o2b? v (RE Or b> a x o Gy os Qe go. Le Lor b™, [n,m sok . b a —————— ee , a eae GeO Ou L: Lob" / nso th coo ebbb...- Eee osbs Nob o valick lamgviege / Not a neg lor languag, FA dees not hove memory . s =20,1,25 eee Neng Ae sos i“ i ) 2) 3) ‘) > 4) Concatenation I (A) 2 ~~ RE -O\ _ Soong enorebimnth 1? RE = oly Ss < ; ‘9 > & Leo /nxoh: RE = o& a : Oe. Lorin sek "IREEstOn es SB COW AN es a* ace Rican Clos usc) meee s o* —8-—-O4-=-@ ~ on yp Way “— é T PoeNe! Closunas = at luo ¢e@) Groam (Gr) SF 9 > eiun R rf. Pollorsed by, = wmiy m0. of qveam belly | ofter sRek, 1 mad badd ov grem blua & The lost 2 com be mixture : G, 6S) : aes eels a C (40,941, 9, 2), 0)) oni on. ' C8Cae,0) v & €q.,0) W 8 Cay2,0)) a B Coe,0). g. closune Cg yg Ugue) > §Cqo,0) = 2- closure cay $ = & Coed) = ier Vr. Yo) || S Caye,) = ¢ ~elosu ( 8 (SC qe), 0) > aie (§ C Ce0,94925 , 1) 2 Ga C5 Coe,1) o lO) v & ae) =o Cua Br q, od) = -closuna( 9,,) 8 (0,1) = Cay, 2) 9] Soo, 2) = £-eclosumal CE Coe, €>, 2>) 5 a Cs C Ge 0 2), 2») Sei C$ Cae,2)0 8 Cya,2) 0 Cornu?) - C $04 v %) © =. €- closure Cy2) fl CQ 2) Bloye,2) = Cy.) 4 S(a,,O> = 5g. closure ( $(SCq,, 2), 3» a et ¢ SS C@.,%2>,0) Pare een C $§Cq,,0 06 @,,0% — ers C gu) > $- closure Ce) - oO. DSC ry - G-clecuea C&CECA, 29, 1D . GESaC €0., Yak, 1) ea ($@,0 0% Coe i = “ ; Cy, 0 6) _ 7 SU cloth Cay) = (gy ve €)|]SCo.,2) = E-clocue C518 Ca, cy ay € eC Car, oye), 2)) E . C8 Cq,2> 0 5 Coe,2)) C du a2) @-closum Ca; ) : BI SCq2,0) = CNET es i C8¢$lq, , 2), SG = “ (3 Co, , ©) «€ an Co) = g BIS Cq2,0) = S-closue C8 (8 Ca2, 5) i) 4 io tale C41) C4) = 6. ‘ aS Cx, 2) - £- closure ($ C6 (42,2), oe € EC oe, ¢) i at C%) = Wa. re loa! 2% o b € @— @re =a E “Sy € E>) ® eeae b é gad L-NFA® Co ADEA ga ci—mtC, bo. ne if ye rabst New skoke £-Clocuse ((stokt ip) €-Closuns ( § (State, IPS, now stok.). t2,8,10,5 24, 10,115 Li2y {4% 1123 {64 {a5 64 {2% Lo%, LG tay =) BEA We com mamove F os it is am urelers skal (n\ stoke, oe © s ) Tramnikion of BEA—be BEEBE eon oA 3 /Constnuck a DFA eqnicliant to He Given NEA. MW Up.g nd, $19, 8,p, Lo, ad} Ghone 8 ic dabinad Os Re No us :- Mig aiGe & 2-Ne at a , ae J a e tasd tq NER Q inks tq, ny R iss ty Ss ~. otek \- t & gay 6) o.1 6 ol 1 (¢ ae © e Tromsition Talta Stokss ° a A Pp tais3 fad er q tnd 49,23 ‘eG nr 3% x es p a w 0) ENE Sta), tr Lon, Feces Lopran msh Lan,03 G* Lanpd — {a,s,q4 Ly. PS ae ta,s3 {s% Led 2 tI fad “y~ “teant. Tr eins. Gene Lp, Ger 2 eae | ae eae 0,1 EC Be 0 3 ( ‘ae © ®) >) Fon the fptlowing ne qulon exPrersion : (CCom\o6) 0) \ ) Design om NFA wath will mover: " Zlonvent ik into DFA. + oll b ) a x oS 6 a ae)—-e) ¢ pe he YB. pete ee 626 YOK 3(¢\— 2) : ; Stoks tC. 0 cosmo: 1 sms j = Ae Minimization of DFA :- CNon- Rina ckake clemamb>) NESE EQS Laer 3 \ Equivelamce & Oe FSE (Final Stoke clemanth) Le,o,€3 “NFSE ; FSE Fq [0 CA, 6.65 Te.0,€] Fa OJ ; Ca,e3 Cr3 Looe $ Eq [aj Ca.) LeS Uc,0,€5 o oO O\ eo Se ays Ese) > A) NFSE Fqlol Ca.o,c,0,F3 Cel Fy ti CA®F3 Leo} Cel Eyt2} [AME} {8} Le,ot , tes Eqts} TAYCEI Ces Cc,0) Le} FSE Lote, 0 1, Vz, oy 5, ah fas, we) Coe, wh Lae Las 043 Lays, e] INS, Lad tas3 CG2,963 Cs.) C BS TNesed tse) Fqtod Loe. Ge, qel Leys, 46] Fy td Baers, om Fe Be Las, oe) Eger LT %0,q.4 Coed Los 43 Fo C23 Laed Loyd Loy sd Los,0/43 Las oe b Equivalence 2 Too ovtiomakas tects Oia B ! Z os @ NESE Chm) | 8 , Ca Ov tae) Bed) (825 _ 1 Ga Co) eee ae Ve 8! asa’not in the Some set, Ve PSE S'S NESE Mite Me + Ea. Note NFAL ie otters is DEA, Tha | we hae te Convenk BF NEA into OFA. | Leforbr [nmzo} = ob* L= Lorb™/nmooy = at bot Lefatb™/noo, mz04 = of b* L = font Jayn oh, > of-CobD! L = {oP o™™ /n,m7,0}, =CO09" be(b*) Lz Lari o2*® /nj,m, 2765 = 0* Cob>*o Tee ooo pees / nso = 00% bb Cube a E-NFA to DEA. or 8. @ Connroms Corset § (stake, ip) €- Closure (8CStobs, Stoke, r/p Ve) mew stool) Ove \* 9 Tey {ec S b ¢ ¢ tech Lec% om {e, 3 {acd a Leck _ Lect marek a1 # 0 $ o. gy peC3 : 6 d 8-60: ig i oe FIL § ob" Jn>0, ner} = Reg Exo > ablaobb ey .\ * ae ad We {a,b3, Wa\~ 29 Reverse ab wond , tL = Lonaos bbb | abloa\ been #lL= Loh bme® / nm m R20} OS Otc #)L> La /y. event Coos HILL = Lar /neoddy a Coos #IL = Lo™ / noo} X Alls Lor /n>ohX Pinging Lemma is Used Ohen ao a a ; , re 1S wot neg lor. Pushdown Retsiaoka. . ~ PDA L= fob" /nso4 POA -FA + Memo (Stock , Zold2.) (bale) Co,0/o.) 8 ' egy S20 eno de L« ul Nw claw No CH) = 4 CW) Cpese) (0,2ol0-%.) ('o,25! b 2) co,vI2) oo. loo) ,.) Cob be) j @® GRD We ee (bole) (c,ole) —_~ Cv,a10) Ce,afey Le Zarpren J n>ot , oe loz.) Coatoa) @) A, OfOa ; =e) o= fet teble) ~ Cb o/ bo) ~_ _ (cafe) =a E,zel 7 © : —_—>@) Ce, Za lizen) ble) 5 oAS /a B—>alosldlal asl elat A~s SbA \ba . oo blo Oo LYAD on RMD os Tromsition toue. 4 Leht most deanivotion = S085 > o SbAS$ 4 aa bAd _ 3 > aabba dS ~ aabban RMD - Right most denivakion - Ss5oAS +4 ona > 0 Sha 2D % Siob aa % aaX2bbaan S ya | ia’ b a > aabbaa SIE Ss gg c : iS Soo i, AN Si Sb Sats \ A | uw . oO JN So yES b Oraxb” Sse g \nW\ eae ~ & ao b Awmbi Quous Gq Romm oor. Qais OSi (sole! “ 0061)" iS Ss g OD ag al aati oO ) vA ra A 2 a, Once CRS Ne ZN \ os \ & oS \ \ \ @ es Moke oo Grommas. Ror 00D the strings shich ase palindasme oven Bo alphob oy al. $3 eb aSa S> bSb S| SOS lenght Palind nome - e gees aoe ee Neng th porindrom- Le Lout® [Wis nang 4 2 le fuser / Wis binory Reavlos Exprorrion = R= Cosb™ Dies Lrwk 1 Ws binoeus's > Lis even palindrome . -oSoliSile, W= 0100 WE. O©\0. > Wwe . 01009010 D Le fwawh [i je binary) 7A. OAO\VAN fo Wr OVO A Wk: O10 Oo A 6 a», Le O\OKOIO ANS YA A oA O fe — -)) | BR- Grbd* ot ¢_ gai, . Dir A= bAle (a+b)* te = aS\hs\e SLE ela Cm* nr Caripite py CLS VL WV CLE Lay Crs Valet Cte Vs \ LE Coanttice) S—ase A> dic D> mOdim — (m*\nt) E>uneEln @)| Lf f © { n 2m en oe Regolor Expaennic® © sean $> vf bbb (8, 08 bob 19a, ¥% oa ao. $,R\E @) ke Lah emer L. go" nou x pit =latebete™ c" Ss o8,C S, 2 4$,¢c\ bS.¢ 925? bs,¢ \ gy @) Le { ot b* en ams ; > abs, Si abs, ed Sp SE S$ > S658, S,> aSblob See cS, dled Simolt Saas a> Context - Four Gaomman CceGy Eli minok ion Ab us eloss symbols El\iminakion 4b Nut productions E\iminoakion cy Unik pro ductiogn . Sooctenwivel S(t AB \d— Production. A—m?-a Eq } eres sta } Restos r Be OO%( Prom Po Stooking bes nod S$ we ow nok Ciao G\nE aie te seach @ hence Rig Wella, Germinad) ig nol ending einhery fa aol & aN ! a ae Sen (el 2 SOSA |B A> ow Eg Sah Sata | Ss ofa A b@B 2 A'>bee | oa | 8 sab re B > ab = C5 oR x % ; | Sshawol oba| fia 1 a &e SS KoBl\an® A>e R+ bb Ale SS Ko8\oan8\ a8\ Ro \oo\ oa B= bl “ TS oOBloakla\aad ee aa << — ol Am ™ Ey: i a SraS\Ab\e i APE : \ ae S > oS\ablalBla Dobe Dob x 85 aslo Eq: S.A vwwit preduckion . Aa ta Sah So aAlbb S-bbibla 6 A>Blb A b\a\ bb Q = ¢\ ay a\bo\b oO S Bl\b\bbl gla as =) bibb\ elo | Normol pour :- ) Chom fy NF 2D Gneibook N.F obihLntay a woh lin, hing bibl —— a i AAT 7s pty hE muh Rh ynt oh JAbh. Lin. Rut} 7 ae +i , Nose O Fu a S+ bA\oQ A> BAA asl, B o®8\ bay: ’ Chomsky Noramol Roam .- SS,A\s.e ae S\>b { S, 70 Jp at ASA, 18.50 A\> AA B> o& 9,8, \sisib BBQ Bl j / S$ oxlry NY eeOZ lt 2 90x\ry ; > 9zlo 7 CYR NR ic Cocke Younger Kasco’ Re Ec. aa bay Brio. ! 7 Be BAC f ools Oo ab (er ee b . ee =i A, € as . A ACUAS Ole UC > ten 6 0 gveve a 2) g / | as) ae ab a oS ba a a R bie boy ' $ ban bh Meee Comic AAU AS UCAU CS CA UCC USA USe gud odoug Fvev god Ile g p o aba AZ vce Seve bo ob boo beg asec AS v ACucsy $c tugdudoug. PEI ( A ba ted ash a Von Ton San ES a AS & | cA cs SAvBE do ¢ A v¢ SiVe dat cet ig . boaba” b ashe. a Th Tan Ta Vee g SAC AS gz BSL BA VBC ABv s@ ao 8) Cav) boab Ok Say Xie b A.C Y_—— é Whans § ae prerenk' opank prom bey. Lae oboe, % oy Van ee , ab bo oarba. (> ban ba Tg \ Ib \ 4 4S ea —== a ———— Be) = Obs | S>A\ea\ean. Ax An A Bro Az b | - 3 etc aeeg OS, blag la $5a9.\bsb\ 2 & Son \eSal4. Oxile BES oS.b ‘mS ab abe . SeESalts 2 Sc asibl asia Ce Taw Le go art Se OSo\ig\\ 06\\\ 2 Gs ts , fo} S>osolisy\ soli, sh s R 7) W N(y) enw) = (eR) NM mn gy y eR" eR” y” ee > RMR YP ws C.F Ge SR S389 S,PrS ol assy a) nS, yh e eGEaetnany = 3 L,= b* ( Cha bY ob” ie ag 2 ~orb (o* b o* ba* ) tye “A> BC 8 baie Emre C > Ba baRe\e Ps avr® Qs aale R > avapa Rie we ae POA ——> NODA ~ fe WN aes DEDA — a"b* ie -Girommon Ra YORE oH > MO, RMO, Peswing Tra > Simei Hook son Normal Doras —? Chemalds, N Pomp img, emmou—> Grose o \emguage ic nequlan . Cabs Cba>” — > War DOA Cob)” Cab) —> yooA Cop%o/0 Ze) NES S (ald ¢ way fe © (a,2ce/az> (Cy a { cezred ,o/ ba) Cbhb/¢e) ous Sa” Cote] a's) Ceb/e) an 2K CENT ge . : i € wit we neavlon Laamsikion nm One nC impstead Ay pusnina, ofl aly imto shack - “ n mm v (ob Coo” Cab)” (bo) a Ss ube stack (eke Use reo vio roms) bows _ ers cea) © Co2.Jor) Coal) ¢ aA) Co/e) Cased Vex ~0—_ & — oe eake O-= 5@ > VE 2 Ca,Yao)

You might also like