0% found this document useful (0 votes)
50 views195 pages

ToC Complete

Toc

Uploaded by

JyothiSai
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF or read online on Scribd
0% found this document useful (0 votes)
50 views195 pages

ToC Complete

Toc

Uploaded by

JyothiSai
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF or read online on Scribd
You are on page 1/ 195
& wor) fusth er s often] » * @(BIRBBBEY .- collection. Of symbols 5 aaphaber, s gt is men empty Set fimice Symba men AE IS 2S o§ Yy > 5 Reprusemredt by 2 as 5 eg £= fasb} p =fol¥ | yard asPhabet 5 = {a4 5 a : = £0 ,00, 000 wy panne atphaber 5 FEY ; Ss =fo,1,o14 Samaria syenbel can't be bxo0km A 5 ov most gfimite ® gesumng sy Sequemu. Ob rem foam some z. Symbols tou > Nutr gtsuimg jemPty stoung Ye” fel=° a og tot 9 lel! vouid ae 2D Stil Ft + . ef y grumgs ob fomgth 2% 10 ay gq Hew many SOM cum = whose Lunghh Weouacg ™ C (2) =2 Dee eo aKa 222 mosu gonenaty > [Z1" lel = Cad natthy of aophaber ? Stsumg en < whose sength jwle™M Ole? tes Le)! ae tcs . 1 me=lel im P glets felt le ---- [al ‘twlem > 124! 1 Cap Serer) lwlew pel” 121 FZ slows 0000 ---- & =o” S Invattd srsung 000 = 0? > Valid E={0.1,€4 DIavalid alphaber @ 2 vada Stsuimg . 2 every symbol is ao ed guy gtsimg «ig a Symbol > fatoe. e=fOl4 =fo1,0 2 amt symbol =£0! > 0140 be symmbo] w - y=ltol =o a) - uv com caninan on ou = jul + lvl Ue E) Ue gh Mag | May mot equat } 2 SUUUUU CUT UUU EEUU ISIS III 14 ® at ig commutarive Geo uc) = (uw: eg: 1oCOlett) = (10-01) ° si te uses @ cE eg yu) = [ule ul aTIF b Th is fab purrs tad + tl = 2le! @) ju) = myul JM=u @ fdemHty etement for @ aay Uw= 001 ur=too rf : yee ite W IS & padindscome anincuome i Length is even. oad patindsio me :- Length is oad. ® ju®l =u 9 purl alu 2 Toe uk aw > false, @ =e @ a® 20; & ig symbol. RR © tuwwh =v Ms © € cencaH nat on ee Cuem misome = ww /WeE & “3 4 =TaeT) GO w® = [687100] Ww wr Nous ,let uw =euem Legh means w= wwe luf = [w.w™ WOT pop (Wl > (wl = Lal Cgiven Zz tol =) em 2 w % a=) : i oo nm 2 =e" Ans. Q How mamy dal Lengt Palindso me wonose Suugth =2mn+! odd Length, Co" 8e= = Ouer Z Hk Cue Length palindsome C=. Now WEZ -* #E voduer ov cam tace =|z] oD ah oda Lenght. palin ome 4 = Jélx lel eg. Nall, £2 f0s1¥ a) Sak odd Lengin stings. 6 (wew DSM aaa au, oe temgth = & (use * = 10 Ie wh even Patindsome = a = 89. nm cam be D Ox! “aH, odd ypaeinounnetiee 582 = 64Y 2D yom pat oy Bir Eels yal ste om 334 Pods 2212s : 4 = é = 2% a = 2" Io =2° i ulg.o = lepieata abso so = 9&1 = 63 2-1 = Qs 2 odd Pad Uy = £O.1k Ml a wo we ) =H sumove M, Length = 10 Hh cue length Pa. oar evem Length Pat © 2” Jul =O =o — a2 = 4 ————— > =¢ ——— 9 =4 32" 2 > 9°: ee ENE AE EE TTEEEEEE EE EEE \r co Ee 1a 10] JUST = Put =ju%] ® (PruBines.— fa] w=uvy W="oo,” Pow fin (001) ={€,0,00,0014 “GoD © [SiieeRDGy- EU] w = 0% Sugbin = £€,1,01,001F ‘ €, - alusays Pousenr im both suppin #4 Pouftion. fe £EwWIES Prugencw) £€,099 C$ Lug taCoa> ote > | Pxtptnceop | = m4 Ld] cup cw) = 4! doeam't Metter urhethor supean tien wb thue oO mot PUUGOUGHOOGGEEDGDIDIDPUEEGELEDLVEDCVUVUVYUYYVYISG Poutin ob € = £4 empty ger. (Horr punnxs So Ty furry od aocde b OA 4 swpsctsing bee? Mot substsury. . 7 4 a PaUtix, Wt Suppex awl. gupst wimg imeude gto ngs wntch au meither PIULFiz, Mod SUbis* |v abede "[=5 Lomg th BUbsStIUMng 3° | oO > € = \ 5, 8, 21h. & =(5 + ry > ab, be, cds de = \4 | om ity 3 > abo , bed, cde =) > 4 > abed » bede =} 2 5 > abcde eu tk gubsesimg b This fosumuta woxks for NO supeated bits. subseserg witout € me = @ Hew Many gubwoxdd Possible For" BxioMATTAS = a, RA ge ornare a Ot vane Logs a y,c -- 2 13-@-O=l0 i UOT AK OXL0M ---~ > 12.(Mo 2 Letter clwerble Coury a 7 There com't, be 3 3 Letter Over coum ng 4 — 10 Heme uve fosmula 1 3 2 7 ge ) Megarive Power mot alowed. -l “se Occ: to gowup Heo su ng ntse = OHH so wut =@ = ww abo we Know thak cencarinanen either jimutaners tne Lamy th on Keep the UUNg th Scume (We =W) ~. Power is mon -Neganue. Ww: Nyro by dipautlt = &€ Cace to gxouP theory Pee =: W 00? = ww sw? w= ww 1 * wm” worse ww™ flor = Ww Tnese ton carinanaw ou valid ” um ul vn, ous Sasme, eg w= ol (op°=é 7 (vp =ol (oo = OW X fase = ool THe. (ob™ = Olol--- OF — ~ c= Leon"! nro} : LE, 01, C101 ,olo10, at jw™o™| a iol = (m+n)[Wl Iw”! = mn|wl eal L=fam™b™ | mn 05 pind #estsungs having (l= 10 6b wl =10 M™bnY > M+tM =O lo ! oO to 1 q tl Cone ane . ANS =I » es ee{oh (Leed = - Zn. = Loud | s* = © ,00,000--- 5 atso noun an | _ ax Closure: Zs = {6,0,1,00, 01,10, 1 = 4 Stireen chosunt > =” jg adways infini€e (atno zt ) | zt={0,00,000--- $ Pogitive | sf-{£0,1, 00,01,10,u -~ f = | > 9 LES inom ve ef | ve e* in ste 22 =f0,14- fork = {00, 01, 10, 19414 v pote [@™_=~IWL, ma is a woad [stony is = le ie a ‘ Ce Tn amg wage pte DUE UBT etecius*ue’ ~~ [st eee Ww WUUUUUUUU Eee deed eed SSIS SSSA SSS 1 4 a it “Ther axe sf lamguage which ast Subset Oo * * B o* = ger of alt Lang Uaje oun A oun <* = fg, let ed fot £004, fork z= {0.15 | ~ 2°=$E,05),00) 01,11 foe e } ] = {1.233 f a = tuys) I> Lo, fd, Cod, £35 | | py |! = ace to ayg™ every = pia) = 8 ( So Oh gt IS (amg x ‘egtiicet { ‘ “Ss » All these Jackamgies im Chomsky hainancy is © Liste [EVE eae pORO 4 an al having 06 | @ Stosememt i= $06 mos OCCLILOM A @ Seb Butlder :-L-fo%|n%o4 the omem bee | @ Grammar :- generate aut cotsung ) which E td Cure, | end doenot gomenace even Single ‘tBu | whith g& lamgaaye Tn fosumat + Gxamman is called gemenanive Phare | se -yee] * SUA cam generate enacrhy 1 Lang! wok | * | lamguage com be gemenaced by mamy oer grammar oie? 3 m [grammer] et _fiamaaae] | (Grenerared) eg @2aS SrE © Machine mr we Cam Ure £A, PDA,TM +f" © machine Says gays no fox ansting L cogmitive. Yeo fox stringe L RF cout) 2 ge Is CUUULU ee sgal UU uuu eee eee IDI III III IL) : J S 6 Regular EncpypdLewi- = wot suitable fos am the (omguage- bb a* Ly= {tl 00, 1% sS=fo15 lo=fi,orgy UUly = Pu,od ui, we, 01g UNl, = git Los £6 ,0,1, 26, 01, 10%, 000, K-45 lo ={ 6307 1, corp; lo, 11, 000, --- > ~ 4 Sm gxommaks , Complememcan on ig voy mMendty UE for Madune, tamPlemenlarion iY we a (fimite Lamguage) = od language > Town Campimite language)” =Com be Fimite , cam be imfinite a aty® s*-at 5 ( ot—at - £64 | timite wo L=far*[nzo} T= st -L = odd whe ff amfinite. (ate acs (Ga) > Te formu ig good fox closune qu Fimaulyg comp lem emt fe UO iffiouwr “ we (Qmoxt thro Metnod. Uy - Chin ba) fujoo, Wty ~ tus £1 ,00% i - (lant) = {og Sfoomuse 13 eC Ly-le )UCLe- 1) [u@b] ee = (Li nla) § For mud 23 i wou " bg-u Lp stsulng Eetthen Ly OW Ly bur mot both. | Cbetongs | be +O) TToltttat = [4M | Juule| pull atel Jui- bal = [Lyf titel 21 Lily | ego Ly =o sz fa,b3 —S=—_—— Ly = b* * * LU soto =O +b pU bd Gipoe © mel cud uAle= LéE% im ot. 1 OKE a oo ly =(a+oy- & eo = grguings with atleast | = (arbyt bl arp * L-te = U-Clinlyy = or LEI SF =at saat FOUSEECECOGREEDEUUEUELEIGE Id Idd II Ly Flo ara lamguage Ll, = fuy/ uel 44 veld A Li = Lor, toil lo= ful, aes Lely = { Ol , 01100 , Jor! , [o109, win}, WaO4 } 09! uy Biy.t, =f itor, fo, milly [oo e! , 10019, => grate TIF LyeLy =locby > false [lrte| alah | Dfotse (CZ Too =for,ou,uid = gins wrong TE oprien tS OK) yamah ga with lal, duplicates ™ = fa] zo% f Ler =~e™" mvs Otol garb” | m>o3 Poise ( pamb™| mM YO True Se Li=La®b™ | mr of le=fa%] myo} U.to= & pambre™ [™,03 La™mpM™e™n,™> 04 ©) Lamb ck | AON, P ROY ad) None. Lats fem a0 | mn 04 yn i) ~~ (ust = bea £é,a, dabb-- + £E,ab, dabo-y ay ' = famerambe™| mn xo 4 SN = 7 (be = Iy-lg = em icmy anets os SS =f{e™]myxo4 © as i= fo wer§ eg) L=Lol,te, loo} L& = $10, O1, OOlG rc ae uy 7 Le k= tae ni u hs perar| nyo} Oe ot b™ | c= fare] myo} % cs we 3 ' Rp " Lu] weLy , L® Ue Lb centaums orty patindswome. uss [fete 2 (v=) eee palindsame = fabe Pec Laon On = eg [R= fOl, 10% (c=1*) <— Lic Patindlsame t- Tue. 15 c ” BOAR) ® Pow age CL" Bo Of Language (L) w is woxd. o LC ={ey w=e be ei ™m+n EM 2 MMe Le ume = uu (forse) [U1 = 11? KX fatse - clapuicaren may come, ILL 2 |L* Tou Le foro, WEL ® Ororjo el Yor ° Srorio Vora EL “Px Otor-10 of UL" . : —'3 Le ULE Ub? ees Oe > wer é v Sfolse ‘s lamguaye ieseth May howe epsilon Je eu i él c@dlory ) pity wpsilon EL ee L ig NULL Fowe 8 U-Taple (vot. Ps) vasdable, ws T= Tomi nal, P= Produthon ,& =ctas coefautt) Qo able P (iss, to. bs J1S2ab, 8) SE €§ SoaSdblé [g5a5b> aaShh saabb!/ quivarion im dtrwasiOn, we gta fscam aun) and md ot stung nating Se nae ot S, 9 . : VAN x dlurivarion ig appderared with ac b Syntan ~~ + . a’ | b % DOUVaANOn Tour is apvociaked € with 4 omamn ts $ gvty, Wwe PX tom pte 0 S+ h™ came to now nan + i 2% 5 higher pauco 94 FY MEMCLOL fo9UM > Ge is SequemuU Toxminale a nen mom — terminal whic an clixived fom searct syembol doectly 0% imi xd | Semtemer + somcemetal fourm cantouming Texminala ot * IL(e) =fw]stsw, wet” 3 © fosumat dag of Lamguage genenake by grammar =LCGy) fete Jus y uw é(tuv)*—1*] meee ee en &t ppA the Machines fom ata tp ™, os. Rimite end ob im 9 ath fimite outo mM abe stakes = a Machine $C EU 2 Ee wes — % jw read Move encerly ern. symbol guig ht 3 =. opto, sembaag Perfo ming prams i Hon. > £A+ Fimite Memos + Read Heod = io Quromako L PDA 5 fA+ 0 mem = (ie Ot + Read * Stack om Hou Read Heaol 1S suptaucnd S50 ne r x PTMCBA, ATM TM) > EA + Sback + Ready] 3 sate + Mouvement im both ua: * Pea fA Non-Determinjishe PDR ma Sy M1 (Dero rus i) > FA L Vena NO choice after. tram sition, un mauene is in emauty | state Ly ppton toamitl on, mie ; . cam be im mo ymam Ove State 2. Bs os had BS S Og e CHAPTER | : Regutar Lamquages £ fA vy #A Theory 2) FA dirign > *B> Reg ex yp Reguion gam m oe s) Algosttams iM FA ay rohem HEYING Lomquoge Py Coswu Propertter og Ry § Bd) DeadabiUry [ a) Appcan&n # yosdati én i oe Meosy | moors. 2 Gnpur TaPe . [are [s Tolg > React Head. O., connsol Writ oA is a 5 Taple Machine M(0,5,8,%, i) » eg @ @po 9 a £4, 44 b NonemPry sec of States 4 C& ama atoays Finite (> fa.64 DB gm pus AMphabec- =f $€40,0) =a 4 > State Txamsition ( Nene ~ State fumcl 6) state fsa Ly Tetes the ment asdiemr Store wai ng Qrowolton), 1oEQ > ge is stascting state Cidem ified by asswo) Aefault 4, =£45%3 L Set of final Staten. FCe (= EAE) neg im OT Fab vb] cong & Converse ig mot Toure ~ CP e4¢ bur L= > DEA NEA © Owite x wu @ Dead ea Choi. x Seaneigucan = vu Move Came @ mead choice han e-Move x jeme, theta oN, [GIRTON To ays state, 9F Teams iter fumcHen | Trxommitten mMoue x L Is mot Sotisfied. ' Qe ie cuban SmmIGMLHIMIG pHa ion gestae thow jis no diad conpgwaton -. we So, Sean acrPrane] sujecame oat the emd of State Bor im weA, Dead wnfiguraign ''s achieves = Host 49 Safecr a ] Z * P on suading' a’, Machine $ CEO)LO cam either pe iM 4, OX Vy los «made w on t {sree je imPUCC Chole. DY qubouss 2 stHargier. * Tale v 2 é panna ip uu EEE ® ; ey ec BvBUEL re ME | sexs 58 cn Totao £” | emrisu £™ Which ab the foliewing is imuatid DA Usmmamd Qe £4 44.9,4 (hE) Z= Lo, by ? . © SOS =q, Donuatid=- por equa to Oxe ® Her -C EDs gree ® lO =F, al cds Hemce att ans false a. ax(STuey 22 t— Pasion #™ yan S25. Bane 9 a=fa, aina'® Deo oe DEGn at A, 43 Cena angle eon sind a= 1@) Ga LoL LO) (45, 1%433 £41 Ash {2 4e, %3 9} chad Cont gusanien © Sone _e_Oagrem O= £40 5% 4403 2=fa,b} Va F-Lus 24 $(40,b) = 5 8 U9 =H } $041 DD =H Sh, aye SC%,b) = 4a os) PUUUVEFO VV EOF Ww Oe ee ee ee Highty uden umfoiendiy wy Convert IMto olteg fam = mata to teir Initial F ‘eral States emrern aty be ae = Vo £= [us Lined to ank queanans abt Machine. C45, a8) = 7 a we ase Mot wossred abour Fimot| MO firmed State. $*(q, aba) = LU, te, W%& 25 8 Ne ea ae Petcq ww =S%d yd alo (4,43) = $ 69,93) | he ieee Urows fou NPA F DEAD CMO (dha) 4 Lis Stam) = 6709) (4, %1 £41,423 Both equa SEBEBEUYUEUYYYUEUY YOY Rs che gs u3): = ft dyds § . | Gore equal. SOU 93D > £43,%4, eh + S*C4O=8700,4) 9 SL) = 5° 4,93) Now, for =o . Go ic stating state 6° Yo ,%) = 8°44) Ss (45 35) =" Gor #3 Acc: to Myhilt - Nou) ole equruahency mut ae ww Soo 2 SC 6 1G) ES =8C 048) Bek 880 q5,%) # S$" 0%, 4) evvrve ess EE EYE UU AIVEM 001 = tot Wuhith om. 18 Concer 2 00 Elo Cconveme is mot t9uu. lo) = we comt cur.) =! Oz C Same xLaren ay ao) Op gro 18 equiuatenu sue” them b= cd £ Cd=ob an same EE e PPR E2E) fate ~ We Cam aan OWly En sUgne stge. Lamguage acapted by Madume O Peaoumy=swes"/ sq wer} O NF SUM = Fwe st] sq. uw) ne 405 gm NFA, We cam toma in So mamy Soe? = Sf Language si= Stuy iS accepted then dtleant ens path lamd up im fimat stare Interseayen +9 Thi WomPlememtony treosum ~ LOEM)=LOM) | 0 Pimite > regutan Hs PusmPing Lumma .- Lis %gular =a > Lb san stie the I Pumping Lumma for rugulan 28 *Chamge Fimal to nen-Finag ¢mon-Fimoas tofimas me 5b im a Ob ” 5 eg 3 238) ty e298 7 b a,b (Ojeae = 4 LeM)= atato)* LUM) = E+b(orb) = Stosing with = Not stain “a” with o = Tm LOM) = atat+b» um) = Bur ium = s*— Lm) =(atby*- a(ardy” = @4+b( %4b)* So Lcm) + LOM) tw ig btoz, NFA ejects Stsumg on dead erate Wo Od Conpigurariaén. So en usm? , we ImtACanged the fimat 44 men fimak stake but olrad congiguraion yumaims Sane. BUVUUEEUEUEEEUIIDIDUEDEED SEL IVYYLIYIYIY 29 h we have Choi , then pssblem is e steumgs acapted im Mm samamns acerpted mot StosuiNmg with oo) @ gm qu whew we have to tele Lomguage accepted by DeA ££ dfa han mutiple fink stare w Length ob seoumys in lLamgudge to Fimite wt stormy ao fimite Cgiven) oe uduy boule fort, we dam . , oluatgn RA Lis gegutlan. 2) haninpinasuennmany E LIS paguiar =) L sarisfienthe | pumping Lemnma for Reg: Lang, L vollaces Pumpin: Lemma 4 9b ley fe +9t is megoniulty tent | [Eis xegaton ] ety i (FEN ite | | | Lois kg ps 3 fA which accepts L is wen Note By dugautl » an is WePDA [Lic a] 3 fa which accepes L ” Le = gore pase OO) e ® ou Te we ho e J am-n Fa " eo. 0%, ey ama with eimgle fimat | Bet | SD Ace fom L | | mot RAO at oF com't enpsuor oe | Bb ame fox twee | | : I meams pus Loop, 9 2 2 Ke gaommea for b wee aot 39 @nm mot up! Sete oop. So wi ky a eye imean grammar gy julgne= Umenr gousmmmar 5 naren mar & 3 ume 7 (mot um syebu (ow) en ea yeoue nook Lege imo figns Cimcon npamnmas is equinatonr FO jughe ULom goaumman meamo they how 4 ; , ‘co omeam Hy NM Gf a machine har foop meame is % forguage 2 fale b O30 ur L= fay fami ce lomg- 32 2 fA duvign are, JF th inv ‘ % Be mel ao mimimum PA, then always | ae Stare im wen 2 Hh Stare un Dea |, 5 WEA Cmin) > wer (min) NEB (mind woot Lb, musnple ayumimuum NAA possible but HF gtares im ash ol he same + [Fon a Givem keg. am» DFA mot UNtQUt | fom & givem 49 tamg, NAA mot Unique (mim NeAD for a givem sug. amy , wee Got _umiqut) FE fox G given Ig. long, DfA is @arqury (min alfay sgtaper a Cden't add a mew” stake wns tog cases Fores you 10) @ cet Yhe minimat Stsumg Pinot ( wi tour (Udemion) amy Loo p _) © hwo! —2 = ntmin déa/mea) yn agter accepin minimal stg, Fly © ne missing U9. au mumbur At CMaee Sunt mecepted | me) @ while Filling, missing aHGOUIS Storm eniben + © tow au only 4 EYPes of seateD Im min da ® Thou ase ony 4 wayS fo All the oKKovoS 34 6BEICIVEIIII I I dd: > Uar= oO 2e 9 LOWE LEY @ eS ® pea DLOAD= LAK, LO MH d= LOW) LCD Lis me SR IS Ree --+ +> ye eer UuGTGdTGUs S 6 valid => €* vabid © snuatid > 7 Sat Rs Rr is Ke SCA) te ree Buoceers uved for Paescenu. ‘| Mam. pracdenct +1 teat psruoumn New brackeks ase word FO violate pocedeme €] atbte = fae be bbe --- (atb*) ¢ 2£Oe, oe , be, bbe 4 a+rb* fe me Imuatid. ' Gu b¥e) J 5 arbte ov al be GA) 4 swat e une “Ls we une in for OWE comeniemn. « Wd to game them Paper. modet | staring with “ar, B+ £a,b} o(atby* ith & FE° Grastng with ao = o.(otb) O min Aa @et tye Me = A2(atby¥a ta. @ stooing with 10" 4 emda with o} ne = lo(o#! yo} Min = 1001 iol EL Y yew J Gue lolotty*al +104 @® emding w @ stasing wi “WF emauing ee? gees (OHH mine Wd meLt rye ueLPOyo le Lt =No « Qe = cory et) © Stosuing with “n" 4 undsing with “Ol” pes CO+" ol Mim= 1101 cam be dud 2 © woe sraxring with 0.” (ggg emdury with” NO — ey 4 atatb> + (a+b) b we cam't UES complemew im we » we mud to PRUnt LogiCaly ge mot stcocring witha’, U- must Shao wat th b om maith tars with "a" MOI with “b nee = Folaroy re } Not em dung with b _fmeams enduny wlth a on (mutha emd with "b” nor with “Oo” ee = (atbya +é re = bath)” + Cotby a +e] woud im gimpurtt cation of Hee 37 SB storing with 4 or grastiny with U0 Moti + lors "er pur “rgdB a a A AuB= A uF BSA “tos? is av €3 seaurimg with af ceasing with U Mons £ torr" a B& ANB=6 yp ecA t Ames 11C0+10* ey stosring with 1 oR endury with | w : u Memes Tet lot" at A 2B ACB? smo « 1011 EB oun géA Wy BCA Amo 101EA 3 . tol € & - we cam't SimPu'ty Hence amb'= CU CIO + (OF HY dunign m-dfo © seossing witr"e" g gare & 2 starr S 38 ‘Ending with “b* & Tre is m-dfa 5 fe C 6 OL m— NFA Stasuing with "oO", emoumg with ee ap" b Wain = OP c Tw Is ees Tee i sible Trin is Not POSS Ts of Sra ee 22 wu be last Ob a Q* a HG) o Gtosing with “a”, ending wsitn vo E mdb TT TTT FF 9IAGFOBOEEIEISIIAS ASS ASS Jo 39 Not stosuing with @ an moc ending whe “b” TH gtosering with & €& emolong aa b m-Ata ° oe ani mba. ea ‘e une imitiat gtoke agoim when we lei eee sucad " peung SUD | Gke im grasuing with “a”. iM Bur im DEA Uke ending with o Higuikid to JULOAd pHOgsun . main £ACmeo) we med Not @stosring with “a” ab & alotb¥ > os Oenaing witha” > (aio 3 on @® frosting witr’o” &, +4 os . emding emobimg with b a L + ae a(atby*b > OS0C20 © crasding with GO" amd endi'mg wilt OL b alarby*a ta a,b ®| mot stasrig with “a” ey with "b" oO AAAAARARAARABRAKBABDAAN A BH™™BHARAARAS vw ~ « a,b 40 b © wasting witha” a) Not STOSHNG with ‘a' z a,b 4 bat by +é 302-4 b Z 6. o,b M-dfa. 648 M-NFA bo gtaxrimg with oo] o,! aged” osoto:d” ® g (rm-déay © Not _stancing with 001 ComPlym mcaiug Mo chune ee Os) @ emding with 901 ERD om- Se ty Saree vm- Nfa > YU Stated sain defo M42 Note, Stosting with Pw'l=n 2 CIN+U Stare to accept n 1 stake for trap) emduny with ["o"| am mM+t m+! ¢mo -to0.0\44 +t (MOnKL] ( gucemelid Modul | @ ho stasting “ot” > lolot* +1 +€ + doco+i)* +0 + Wot” © [Ret get *oor"] »! (ooo +001 +010 + 011 \ | +1004 to) + 10 +1) (oHID* + OO +Ol HOF I! | I + Wo - so —t OFlte = Corb)” —(001) (Co+15* = (000 +010 + oF +904 [01+ Nlo FUN) (OH +OOFO Flot +OTI +E > Stoser witth “1o" f¢ End with “oi” 1OCOHTSO! +101 4 j » 2 | 1 OQ (i) rm-dfa =S an- “fa =S On 2 rocorbrol +10) m ' £20 ' oO oO LOGO 30 No 42 ROD © aauinng RUNNIN NERANIT ncoriyu + ule 1m) \ » OO 1 Cott Fe FH 5 2 9 cam't ude there «' Poungreon Shout m2 be, pourenued. ’ and ' i see > (OH) OCOFD | COHD* O20? OOO” S This mfa have no emul P le menta = 5 qnoie oh & move » adcuing diad scake gives m-olbo- BS m-dfa =6 ee Ree 43 © (Seangunaumg aaa bition”! poe = (OFV"0LOFD mim eA . tar we have ‘choi hee we tam't chivetty convere NER to dfa. we mud to use aga Loto olo+d ! Corio Cot We £0t, OUP SNe Winaat =” > m(mein dfa) Y > nCamin mad >M+! 44 (a b) ! gee = (ath) ob 8207" min nfo = 3staree x Now substving Model Will Newer have dad Stote (oes Ob a b b@rby*alerb)* = batatey = (atpya.b* ah © ng S© vo es uning xamdom uping Fo Uoing Last a | ore Lame, | Fake ee ee he eb blair ar% fon BO we Cu _pilam containing emacrsy Va" > ba b% combaLrumg e1%o wv On! “5 pk + Brab* 45 Containing > ra > =a Q> OF oe Ea PG eQae b 2a" 3 OG 200%" Note ae - pms = mas 2 Nas mee | N+ 29D madly 13 as oO Nfa= 15 da. = 14 S7o aptam He, we whe god meshoa > Ol? ob product auto S gmtensettion of Huse 2 Limes- ww That Stage will be Finad da by tuo uage accePre et oO }y.0' I 6 PET aneasetion a stl 1 e a I . O e— taal 200 Go, gp enol | 47 =01S O! 2145 cay 0g BET) 204 : Cenrrst 1590 28'S) 4 ae = 10 graker bur above dfa Nov lo stakes «mot 4 wo ee om ato. > mas #4 >mb's (41d * OM 41 —mo's ¢¢ =mb'S (matjecnet) +) Zot gg om bis [lmtp x (ne +] mow mimimad. | mf. m+ DCm-4ty Cm) Contd Cmtld ome) 48 1 o Mod. Machines Oe = fwe a,b)" [Ma lus)=%* 5 eet zf{we(a, bs nae) med» =o4 (b*o. bFa. b” y bY e(pravtab hak - 2 (gto. ot a BY) + b™ My y @ = (bt bY b* )* 0 a QP © lesa vio 9518's} ={[we(aby | ma(w)s 2* 41, nex § =f£w e(a,by*] mac) Mod % aly sue = ( bia bra bus) ob = bapa ao) +b" ) b a Note «- Med mMochine Never te t: 2 ctate is final State oath attmnod &) Oe dye stared ie ams er eceoe eee HOP gcate 49 Lu ea,ps"] Mal) Mod 3 = of ww N= 3 Nea= 3H +! % (< Baba vw aby +b" ) ob Na = But 2 (Po Bo Bab") obtab* Bra a((b%a b%a b*o byes y 7 Ce Ba ( Cbtabta bab”) 4 bX ) ab" Que (b*ab%a 0” > n(bro bra b¥a bry 27 ® (brob*o bea bra bta bt)” Wf (tata b™a bt og b* a b*a b* ” © (btabtab*)” 1G) ba b*a b* ab” 7 d wand A w#haxd = €,6, 12,12.» v €,2,4,6, 8° €,3 6,412 Note xn fl Lem (#n, 1) 50 = Osc aoe —p> fo3 O> Fe teh June fimod seater cham ge | same a9 above duvigned Cte unnon a Sl yom “ $$ moss Yastionions en Med-Gisuak Mauine DS Aw IS mQ(w9) =o0d. gg qrio dusign minimas 2 28° @ (Fa #65) 0r( 020%) | B) & cr Op but Mot both ¢ > eB Oa OnE, but mot born | © feo] acu) + Myles) = even} wu ou 4 au Coser Cplagonat Conf susan Gy} @®? f& om % aia, Bch i w ( : mot both ‘ Bap" 4 : OP A is mos Compact Way of wating - 5 mg + My, = euem ‘ meomd me |p __ ( ( ‘ q ‘ ‘ won, # even, Cua mn comb” ot i euema Goda 5 on % poss odda eee, = even oddla + Odd, = euem eisien Lee F ig Set of fimat stared age accepted = rl Fe Ey Damping gpa im Sonat Minimas, F= [Ad & ” F> £84 [mis is atways Minimak — — f= fey Fe fy SFaL AO} LON Lee ort csian] 2° Not_minima” [staighr Line | Bc : » ini " =: Do oe Saal tonfigunation] 9 Minimal E D,04, D4 > LL configuration afA,B,c4, £ o8. fa,ers ope akin 1 fAS.DS ar-fe"t 5 Be minima. © LaeesamanlreEmEE of MAdUND, we +acuK the Gn thine type ols ar each State. be a No: 66 Sym Zope (Mg. Mod 3, mack 2.) Ques L={mgmod3 +e med 14 for above, Whar isf#L gl r-£@), GS), GY) GDI ele 4 aa Ledmg mod t= 3 mymod& 223 E get 2. ® oO @ O 0 9 oO 54 NN nema ih Machines 1 o~ Qj] wi 35 = lat) ( ot bdC ate ICO+ | 2 SS @ { w] wt=3h* Carb) CO+b) (A+) eo ®@ 14] (wid 34 = cadegto Cepia nein = jus} mod B =O = (a+b)” ) Sa Lu wl nea (a Pacesio wally ene wrote (b*a.bta bra pet + be BX is aloo w wir : M1, (4) = O | Bux for G2) Cis only WwW with 0 Longth LD) - anti -((atb)*) (are) Base =(latrb>?)* Carb(atb> ELEY: VE ci (cas byes (ea4by Cuca ® fs (el moc 100 2% 28 AF {v] 1imodl wo = 28 5 ©t vs] jus! mod joo = 28 5 = © t w] ww! £28 4 Ww mie diigal > a5 ™s-: 3 {wwe 33 aeons. 3 => ox tufiei <3 3) = yee flac O30--OC3-O CO) ? 3 L Lo f w] iwi mod 3 =04 ar a re oS en 2 Not centaining Subsiuing “D0” cet va me (ore fe re = Cocos: J Bae 2 torr Bith 4- “ofe = uot containing 0° , 90°" O° Substsuing “11 we (10 4+0)"CE 41) (e+4)(o + o1)* Quy pe Cortiy*® Ue =2 ® wo two conseastive 08 ® no two connecunve o's fending with “1” @-. .« “ Vson on eee a O- - "O's Bow meting € Quo Which of te fliawing ig De for “fue two connective. Os € ending with ee r Gasap ye ve sone as ais HE (oa +4) (014 19% = (otiyt a a) 10,m evblp @ m wy |\©@ =m ey Quem ory 56 = Cool sor +1) (€+0 +00) = Ce+0+0 00 +10 +1) * | 26 No traweoaeourive US, | E(i0 +10 +0)" (e+l ell) _ HK 2 Ceqien Con vor+od @ rk Stare in Mofo. Le f us| wo stake wales" €(dwar mod 3 = 2) F | Ht | agar? UUU CUE ULE E EO OGG GG Oo CrolmpeeRTErETEs o ML bo o yea eee Symbols axt Same > (oor orid™ Oe Symbols are Same 2 Ot>*(o0+) one € lant Symbole ass some > ocor%0o +1 FiapeE & Lopt symbols are cbifhiremc DoH 1+ (01 O © tane roo Symbols 442 Aippenamr. (O4II CO! + 10d © fioat Ha0 cipmamole Gre dafgerevy (01 +10) (o+1d* (oti Iro wo symbols ort Same \ ! CD 03 s mini mized a) c@ 4st oO o O41 > Oo»? ; o,f! ; 5 grated ® © J ated im © us © Elst 2 symbole ase * + (000>* Lo] m= 2% amy , @® (00 +000)" ba: { o™ | mir 208634, 1, wpe Ti 60: m-nfa. ® (000+0000)* a ° OS oO a ( 600--0 +000---0) > Im| States Ss eee Im! Ing ce adb bda €4 (mi>im!) L Pease} DPA fon (00+0005™ 4 o 0 QO +FOFS (Gate) Mm dfa fon (000 +00000)* COOP OWLOY 60 eb C0, > ,556,3,4, 10,0 2. . GRP 2. oe ee ta a ee ek nn SE SC Ww nab 0,1 M-dfa, M-nFa a0 Qob ve) retYL ™M- dfo m-nta L={ab} ib oe ab QP a,b n-ath O34 3 “O-O am = dF. am- Nee © o% +e w we Know ] EDD: cee Sa Schoiv te a Go . : act > no cre Caqd* » > aatb” a ap a On =_( (oro) + (Lord 0)* (ott) = (+0) (€,0,4) Note = Mimimize Hee bepooe Bawing Me nem. minimize using ProPOieD 62 13 | Regular Enpruasion © machine, io sigulor EP” G& uideli nes e/ 6/ a & A+) NEA 0% DFA dosn't mower. . a) SimpUlfy the machine. beyord wating . RRP: foric Ww * 9umove trap Steck » Remove umetach able stake On gxoup of stare qascough oa, a Fmak Spake a LASS ¢ A 39 Remove ane state with then iS NOP —~ 4D R —S ie Axo b = afVOa,b = GTO" = °0*O — Ou . 3 Daktern mroumng here, eu ory tums Ss is accep bed ss mege tem to sing e State ! 6) Take tne Long or pach fxom imitian State yo fimaf stare = == = =: — 7O-- O20 : ome dre = [Ng ent Path for Ka. E So a ee = bralan+ oa b| @ Arter waite we, gimpUlty ir using — prwpatle. © Toy to xeoluce s% seater by dubsting some seater @® don'e olelete stank seate final Scare € stores having too Many AKGLOLOS. Tod M ducted ooo ty Gm't be Qulited How to Sdue a Soneras 2 stare Machine. uy a St are } Mone 4 \ ru J sare i, | Ty 2% ue ah Ao hg \ oe soot” take See a i Lege et * Pee sion] Ke= hy - %y ay Dep (x + ra du® rg) i F = (ryt 2a 23) = (ny $2 Reha) | toga) Sty Rat (eit Fup = a Fug (Mut Mere Haman meee meen ee ee @ How to solve a gemerct 3 State mic Hore QQ te 9 oa a GIS OL 53 de ae we hohe LAABAAAANAAD ge (Ot aby +o Jay) Coming (2 timer Porat 2-stake mle o Wa Eon Final stele ¢ wrlte re cosa pon dry do it Ww x Then add he rg oS LTPPPRPPPPPPOND RRR AAA AA ene - x ne > Hr T4(, My, * Hg hg a +MY 2" He) Ig g a (ab +0) ae cary + SO ..€ OQ @ a f° 28 © tae ihe ab) & Revolution 7 Fi x pighrE == (00) & (Gas) o ) Repolusion _ au stsumgs accepting ar The = o( bebe a y+ b(b+06"b) ab* ES hs Ss —, ug= OL Stsungs accepting arc = b(b+ab%b) +0Cb+t bbha) ab 9.2 Nyt Me = ACb+ bb*a) (e+ bb" ) + b(b +ab*b "(+ ab*) = atbt bb*ay b* + bb+ab%b)lerab*) meceeee 67 NEGO OG ELLIS VISI YY: a 4(o0+ ofl) 0+! (o+0r*1)*@ )I* 2 woy Path £29 * 0 & : ©) oO omar 2011" a Ste oO we cam'é duute B box t + MS OGe rn J) ldentity pon + ts q — Thin ig tout btwOe LeR+d) = LER) VLOG) = unudg = LCR) demrity for © is € NtEe =H Only if e@ bolavys to LOK) Sut wR EMD pa at Tr, we > wale ant ARE” Ld HAI aA NL min = scien i o 70 S €+ aab™ )’ a = (aab** OE? = oo 2.98 UE “ey Sy-r = erate at at ? (ce On: occ bd d dd dE, <0 = oUt. SS a * 3 gut 9% = IU sO rr + a nee n® = 3 @® HH = Sis ce os : 3® (mse = RAS a) =a) which ob them is tduu- > FO ba"-GO%R 2 Hu d » EZ Qupby* =(ons'b 2fabve _ Ate h* =(aay*bh afole = _ +, 2) , i p@* =(aby*c 2 fate a atbb) = (ob 2D THe ans otiatve. @ (x's sty =(n+s f <8" F wy U (a+s + NU+ASS ~)* ~ (m45)* (x +s" see)? D GB sudumdlur mars” (apy cbs) VU enh Quis Which eb > 2 >t a oi ey os why (s#orrs* ers ? we par Sh = © Las war be Cats> eoeytimt be Cursy® © ae wren —" poe) Nov) So % sbich Cm gemaate = (area wries &% pre foutousi ™E ww (orbs We (a+b) b* =(046 ar) comb” of 0, > (a+by | ge (atb>* 6 (k (og bo 1282" (my mab Of Ob at (athy” bt = (O+by” j mot a comb? ob Livy (ates ao* # arb)” gt (atb+ ob) "aXe Favbs | or (ot b® Cea ~ | (atb)* a slarby | (atbtab*)* orb" Cabs” (a+b) 73 ve emot & comb” ob 4? x [M4S=H LF LOBE LOn) £3 (atbr*(a+ba + ab) (a+b) *o 4(a+ by ba 4(atby ob wm + yee BEY RM x “Cae byte + Cato) a +G>6+0 mon to © whith o them aso equvatems 7 ‘ ob+eb . ' atb {pass as equuatenr ‘ a*b rob ‘ Machine | \ Me moomat algo = Axden's TH ™. ges gutas. en? go Pt AD| han Wg m The snusranc © Soi”. golt= hE pa = Def” Pow0f T= PRY ¥ eups tate 7 PL pq P+ Ue eee * 2 pet. * PY eng 2 Re 74 (Grae -1T} a = pe +Aa + Abawb A=6+ Alatba*b) Az €(O+batb)” 3 HE) \ a ©} 1 oO Tout? Le=le le + LF Le Sle le 2Lp e=D+Eo+ FA. a a FeDi +£1 + Eo 76 Lind 4 0,5 ce SH Solve fimot State (4,) CHARA EASE eg” iw tuum of a's £4 BS Supshtuce © 4€ @ mM @ Lee + ob + 4,0 L FE+ Qab+ Yoo ti = €+4,( op+ba) R=@r+R P AVANIAMAAS R= 6P* o = & Cabtbar a (ab +bay oe a 3S siniemod Reg en i mot umigues Bur Miminmate= DRA w wwgqer °. Oo Ou enon PU 2 Q” , o Go! = =" G08 : neer hO EO DO" © .)+ Bl @ @=Al : B =D. +! ‘ e-o +8 4 4 a 0"! 1%, : 78 ubst tw en Grxamman —> Langusgen D> macnie ( Right Linear qU Guan Regutan grammar Be ere) 05. gaxommord b&b UsTt ary CRighe Une gocamm ax) Vette wT * Clee Umense 1S dn Type 3 y we howe PRoducrie” SP Crgpe-2, : aaso> when ¢ dowm'c appear im 2HS coe allowed stim ype 0 gaara mae Soe ig allowed im alt Typer ob gxam Mar boz without producnen, E€ cam'é be pond oh - €uen though, G2 1S jne Lond™ thar g§ doen'c af Se is aboowed Cg is stant sym bal J But im Reg. lamg f CFG , nut prod” ase fously availlabl gamma ; ve (6) q vot atlewed in Typed puc atbnved im Hg: Left Unease ermirodNY bur with pear in RS, Note : Requiox gsxam mar Com eithar he aoa ox sight Linear Or both, Bur FO nam mar iS meithear = Lefe Uneakr mon Wg Umea => Not seagudor 79 Ss CAMY Keg: Grammar | ea] av BN ven _ Regan grammar (ARG? S> abl asl | [all € pada &” ” fequen émammen 8 > be[fl] 4 b[Q J afglj e Aw] ES} FP ite nem gale grammar (LLe60 6 (Gk Ia | ab 8 > [S| Teh (ee f Regular Grammar, A > BB | Bk 5 €93 RLRG 44 LRG TT So alb jaa| bale [A] PAE > LRG Lb eas Ram A> alablele > Both UR 44 BLAH y EY ithor LURG eg Nom PLEA $3 oll ab A [Ah ata \ Wot Mguton ws note gm Regular. Gam mas Vo TevT* = mot allowed, 80 \AAAAARARMAAMR A tp e i SoA fo supsusent >, S » fek go 4) fab} Goalb “ fabb, ab,aoy S> ab [Ob | ae we suquit udelens pxoct” o* a uv G>élalaa jaaa ~~ © ges Ti-legal say a pode pec to be Fimite [Sx aSTe] o [S2Sefe] 0» (S28slel€ ] Note: 9¢ gnamman han no sacursion en ouny yasuable —> Ua) is finite Cone Usag treosum ) “Tmoplicati an To check sutursion, we dxXaW yasuiable dupendeme. gxaPh. gn Machine if mo 4ycle —B L(m> ig fimite we Cam't Comm ent * Cychr cam be en tnap stare Qu may be em Conkna-positive of above theoswm. 9g nD FIN He BLA) is Fimite aay O* MUU UU USUI IWS II IP II III 81 xeNow let CoL poduce Lamguage L Of we add 9 pxnduchans te osfé, Lamguege loll be 1 * coussle OL | gates 20 ° g501frofSslé) TD Staene, at tapas L= fol, 10} duz to SS FE amg wage = LU = (or+0)* gus why SoLllssje gives un? * yo UL UL? -- L = pee U= S oss ES eee eee ee oe ba we (aM generate euverytrury @ S2as IEpore > a* stopper a * + a & ® 6 aonb a ora $2 aa S ~ aaa Bas as > ab 82 PADARBAANDARARAAARR AAR RAM mare. a a ® gsx08[u loo a —_ . v5 aS os =o liroo) mS © S2$o[u]oo ess got = (+00 0" = @ ae, wes ce % CaM be Amy Stsximg BUer =* [a=] [ae] ne geaSle on Go Sule” 6x, 62%] Ssl2 Ss xgfre oa GeSx]% 0% S> x| $s ely [ER] $2 S414 [Fx] so 48h gute ne for px0d™ Quy v0: = Ss aal/bi[ss > Lt ee L=(aarb) > Caa+by* & ar@b* bumton ¢30S,/e 2a* % 2 br/e db" dpumion C8: |S Se aSle S39 b& le 83 S> @abfab + bles)” pos E g>5 AlB Aa aabA]ab B.D Bbalb $35, |S. cused Saas fe Slaar’s, slaw ee =a)” S22 aaaa $>Jaaaa D (aaaad* aaa = @aaayt what jp LG)? — B (@a)* + (aoa) B (00 © (aaaa)* *@) Newt of tHtuse | Ge (Ray (aaaas” aU t gon 2 G2 (aor @x- O©x (0.00) is subser of (aa* + obb* concaHinarion «fe SASie82 fp) =be b G34 Ba oBle 2 Gol . 4 mT) sy vou t po able [ dare ne . Not Ug. 7 & tnd meted dosnt Produes Hej grammar | fon sug War grammar ,we waite an goasl B |} Right damtad yp Bopvblé s = Jud yodte ruguian grammar fon orb c* pS Ssas[a° S7arte —~ B> wBIC Batter = Cec le > Coc —S oh . . tec Gy = gular > P, = cCossmsponcing ms q5eamn mad enn > 1p by = Ly) LE xuguior] ~ Ga = —S ree * Squias => Ppz Crsurponing rt grammar producrtono puget]: = tas { PruP2 U 1SPS/Sob% wee bo ou ms crass yasiables a, —, G is Gy Gn SSS ® _owg. grammar cvoring gogudor (amg br. be = ® o " CFL Ly Ube _ BI Fo CEL Ul, © G&G ae UU Gy, > Left Unear. possible Gn? Right Umea poss! ble G,Uby > CFO 85 soas| bS[é Boh] Sblé On ( 7 (arb 8 =(arby* ares” soGlesfale 7 On cy eleslele Ss dbl és Q gro pper SoG enya lates > Carbya WO S> Cabraaay* x | S$ a1s|ysle On S> Sm [syle On Sa ab|aaal sole s-ySoo1 [ $19) 111 ye SC et +1094 iC oat +10) Ne a ay eq 4 ct ct et <1 w SI : oS = gS sS Ss Ss sS S = a " } @ Q @ soGoiTAlss/ir) Ww Lefool, lout} WU sess Lt = (001410411 t ay S Sonus[sele avyt SS Q Sa aS] Sb]e = & atcb” 9 = . . -|* SoAh 2 AdxL Jou S5 nnf|aa 12 vow ADL Grammar = machine C Right ight) Limeah eG mimeo FF ) HEE) uve Hy Only for W ; we iy ig cong to Ube fon Jeighe as algo sometimes » substitution faite Mee G20A [Is | ieee | nee Saleh fu “ Aso |rale aloo oe is sughe UmEO* B20S/1¢8 U ; we woe machine oa emethod- 5 Do A * @©—- a ae -(Momore):, Mo! Oo Ow Ssaa nC Aro$S|bB Boac[bAle C 2 ol bs oO 5 odd oS add b's Conuesting amy kb A ufF]l rv wht “Vase? ea ¥ ALG > o(X) CD) Ig SimugaHon of Ade wv oO ©-O * Asaab yo THY A272 § - 028 x Aoob O+@ praavB OSO2O+@) . Gy: es aS|bs[e > larbs* i: $2 aaS|bbslé 3 (oatbe)” Gag: $9 aS | bSlG|[ Be > lato Reclumeemt Seon gs ane, Check whatther , fom the Standard evenate OL. Not aaditions stsungs com be § QP gemenoste > sudum den gf mon gemonated > Not % on G, = On == 89 O mfa +o equivalent dfa A @ dfa 0 equivatont min df a @ nha with € moe to equivatenr nfa Wl0 € Move Comm ong ek 3 Ql these 3 algositrms asu ducidoble > Yes Note gf 2 macunes ar ef equal Power, pug BIL interconwertable eg: Dea cam be converted NFO ae Nha com be converted 70 ofa & Gur One Mb is highera power ¢ otrir D> Lauter” Pouser : a them we cam ewer fay (wer FO higher 4 pur nigh to tsuden Mot Possible | eg NfA ——> CFG @ [wen ado =Spfa ig touuiat @ Dra VFA ft onstaumerian ate yen OF DFO oo Wee minimas « DE Co entsatsi Saunt > ® Afamn foligus!n gg. HE SES oe ane eS o* bb | ogg so = ace bet es ® Neve Of these ): ra b Given NFA F286) > atb® Mote + umsil SPecifiect Im Yue, den t Uo< eqnivetons DH? a 2 & : $ ann 1 SCA. Ole ob Sen is a = AFA CM sraniry minimal) SHOOTOUT SOTO CUCU ed LI II ISIS 9 1 @ we 1(8,2,6,40,F) 2 dfa C8, 21, d0,F') a'co® 2D True ses BS Tu welt? aoe pee Dfabe ic 2% 2 pue Algo su'thm 83 20 bit fem RHE Is 4 Cory 1 (O41) o a et wee Bs @ > a? Pas 6 £3,a,2 3 ES ay >& se ved ols ReaD ED : DPA m-dAO 1D mimimizarion of DFA | pasuition #190 — min dfa 2 1 state AFo (1 scotP) mae 3) Co llaPse equivalernr States » GF Com be befor o19o aprer asgo hfe OQ’ \ Qi am scare fox 2 equivatenu, (wole2 b, 0b, 40,00» ba ,.ab ee fO% le ! | we have chit ae fi % stsimgs go | bt 1 1 | i r— oO 7 bp equivalena | 8 Joule 2 DKAZ equivaleva ea with ently 0, So, we euyy check ae proul Sten leu fon above @% To = ££ 8.¢5 sfaDe3} v=4 feel , fas p63} D Ey E uu The B22 eB cous FH z al Cae bee D Dj Bee EE e7e ADB D Be bX my = [£oc4 PAGE DEG yee * Stor / DFA IS Qe d Note S wen 2 fimot Stave SY @ Make éE-NFA ermal grax im NEA atrao SO gn @-NFA , by quading only & pean amd Sy store is YOu gu ath Pima then male im NER =) =) 2 tA. CoN e-N@A TDN é- chosusee (A) = £4.63 C-closuss CB) = {B.D4 E-cdoswey Cas ich C- Choswe (DI ~ LDs ’ m o .@— S38 * # ‘ 7 yy ve vuvveuuUuuddUddddd S B > c 5a Cc esd sp —2> O eB | £c.03 {04 eta TE DS >is | 95, D' — 4 D fi, e 1 er s(A) = A_— >» A — > A—— 3fA,68,D4 Ywg t= ¢ 6 Ne +3) =| pi “4 e ° et > 7c > C. Sy O55 0 Ny FOL ou sc Bod = B ° | 3 | l t é ali A 4 * Ongimite £A umitanoen of In Py p is panne 4 Ui eg f° > Nowzeimeneypamee: oI jon =p ® ny) n2rn¥ coumang @apadsongt © @ - s wor] Eo" ) @ seaangemanenng gy Ler! CC yum itriens USVI SSSI SS) 5 af mo = an os € amb” [men =10} > fimite > reget eee + smite > RG ms _ > fimite t ™ b mxm =10% ima 2 NOG. x® toe ay 2 BRIM ON HS men = -@to | 50a woe Reged ee Lome] Hates © GO @ =@ oe pha tortens xl fas use yostosn ® sam b™| m+n z10} ao 6 and sesgntan. | ° 4p! A” bo. e ce £05, 97° Gear IVAW+ mtn €& oD Fini amen < 10 2 Fimite men sto Dd Anite M+tN > 10 BInpurwt WESGEG OUT UVES a Qu ™ g eae B] man 10% = L 5 Lob" T man bio} = fa™b™| mim 244 Zt sraguias , (arb) batarb> ¢ d qa the StH high axe mot i” Hag won paueun of ote pagudor U sagulan aiaien arcane samuel ig suguian = Lis raglan A mpostont 8 1 © Lo uv oo Lamg @ Nen-uinear flower 7 xX @ t5-0%4 i. @ couming comparison) mm, Port % inaePendemt Cmetha direct - camPauson nor indubect CownPasuin om ) @ Segdng mosdumg 1X w Apove Lams fs regular sue = (a0a)" x ( Yao. (bbb SabsbC cere e > 98 6 > @ a +00 lamg: Pot /m 70} Seneuincon Aaeh uv, S U Not 1g Utor mot CFL CSL Note lomguoge over un aipraber iS ether raquo, On CSL. 9t Cam't be PDA PDA cam dO tT, - PRA cam't do¥,+ Model on +,-,2+,% = pame” ch | mam =Ph Lampre? | m-m=P4 Not. ab Ira i} > Thee atu mot alakd { ia to to-,+ x made Ly these ane caunsing COMP C8LLD OVS. aSSSOVOVUSUUOV UIUC UIUC IEE LI SISIIA) “ee Lame c? | (on =m) ont m= Pp) to : one Comp as sOn ot a Home ~ Gin cad carapascicen Ww CFL (Dane by NPDAD (m=) amd ( m=p) Lo U TWO Compasigans ak aA Hme Ww CS7 cowl composi pu Sarme Ceurr 2m caw ene CO vasa aped man ¢€ Par age asa differs ) mot consideyd a2 dove!s: we metnin “egrecnon un Teme boty Pas * er + Th j CFL ampne™ a” Jeo Js mot E Mot possible am COW e cut ve ap Par crack : CFL ways : al 100 = asus OY) A dpuble en aane F003, Wy Wy |, = OP (ORD Wa = D4 ly ene compasdsen aba time. ori @ Qa n f Wo, W, Wz My w= Ww, +¢ wy = wy ¥ wothin g commen 619 2 compasis6n NI Campidarrd ap ant tempasisen > CFL EWOLLEG OOO OG OS SUV VI ITI ISS 101 . ay & which of tu foilouaing iS ef? LET 0M b™ 0" | am y03 DO" “Sheceavg ome 7 conse: x { amy 4, Teco | myn % OF emt | ene >, 03 VE aM c™ | ™,n % 04 uw { amr” iP | m,n, PO} ™ ¢ ampmen T a™a% EM H™ME™ am e campasison y+ Sf[mot CFL {dete 38, Pad String f { 5 om b™ b™ ca” a™ double CamPasuisem 2) mot CFL TD a™b™e™ a Single campasicen CEL ve amy, P NH compsdscons 3 HIG UIA Other approach, sx op” 3 ¢ Boba cine | m,n ro 4 let m+n =P les Mm=q om 2 M+ te qtP fate’ a! [ P,q20} 12 P amd hb aH} ¢ Need G2 comp 102 “ CSL @ wonich of the fotlewtnng 15 RAgulan y x toy.” eer f NEZ10,mxO, Px 0% eae te Om One ir | mn % OF ms ww Aw] wea," , vl 2/04 Finite arf. oma am, D YO sd Hg ular 910g Wan > H2™ 1% > mo compasdson => SVGUtCr 2P +1 , | meio, m>zo , Pro 2 mm Fgo™ 1 ™ a y Jie ‘ imi mg uOn Finite 4 cece Patek nagutan Ww Ug ud Gn Cer eh uw gag an an nog DOn “ ‘ ig CFL7 © which of the PolOwim vrampnema? | m,n, P % 0 Wn | com pasuican EE ay ( ConceCuHiue ™ 5% Be? | m,n 2O4 mm 4m 2 pegatar 5 CFL Tf { (abd (abs a) R Wey = Wy | 9 Wy = W, Or x 009 2 2 ~ - 2 i mu | Ome Comparusen Ss a pe tnaight NS BS S S i) a) Ss > > > = => = > ) = = = = = a 2 Wh) fo™ b™ oP abt [mem £ FF ; a Ws = Ov compas* Oy foe 4 B cach ) Covaecul? uve ime Diep fam ORL 8 ; L sangfied the {Lis seguias J [ umnping womma for | Haq WDOX Lamguage > JosfaM(m state) (Thou euiot a fA Of N -Stares ) if wELiM) amd FA have m states j ring ta anew > m CRS tong ance, Long th wu Y Fb States. in Mle) we HY 3 ELIM) ( how eine This meams thar G@ Wop in tn enint & machine ogee of Length Ofleost! mys € Ltm) ? So stoucure of Macnime wo Uke thir. - -HG+O Poune £ mes Thin Mic Cam acapt Tey =a withour f00P Bur if wy 3 Ment uars a. LooP ce 4 OCHO tne, So Re = mny%a ae [ise] => Leaps N 104 ® Finite BD sneinite © Finite | gmarnite ET Rogerson. A 3% state fA com accePl a, [WI=S only? foto Woce of fam have loop > Sarishy the comairion Of v Oo StSiny is Purging Lemma Clamg iso) fale + Ogun com be en geod state Lig mv Iwl= 2 Not Possible ay Iu! =4 Poggi ble oe we we J ort og? 4y will be fase m= 2 eg Lim) is oS Awe Such thar 3 swiss wow Ihave to Check att 3 lLemgth stsdimgs G Lengthy — s tsuings } 5 Legh Seodengs 3 cam do tm Fiaite Hme : en™ with (0 States LOm) = ©o With of the Forewing 1g thw. a a) FwWEUM) [WlA2 F bd FweLem) [wl wr8 WELCM) [wl £19 aWe€uUM) wlrq [UR)is @ . F = BweiLcR) such Hay [wl 7% uv / Ge is tmutad. Ge # RK ie sugutax , thee enunks a geome mot y yo Leslee 2 PS, ON Te ce wd O 1 mee one zo abso THU. But FweLle) Such that — os UR) i . s UR) is w 106 ~ x 74 y ik un Of Lis mgulan: In2hs turk Dw HEB web feta ny" 3 EL on, po Bel C= ly 23-5 ininguyn © framed y > fey © prarming engl 4 @® muce) = + 1 2 ompe < tath state in mabe Y ® meso) =*# emphcermite L) = [man [+4 Lah Vly CO Gn dijpownr al pheber wey MPL (Lj Uba, ) = Mn ( MPLC L,I, MPL(L) e fe Wott > jin ,Woll, Woon Thon Muot Nave axieante 4 oft whidh On opPplying % Qemonakes abt tre stodng eg Ill DS No Such bit emcots w= Ol 2 Pur * On O Pal stor ang gq mavard {wl = MP Lig S r eVSVUNVUVUUU CUCU UU UU III IIL III 8 ork 4 fam" m,mrod Ce - yuatenu cha Regutor 2 #8 ee mite 3 OTL 52623 2B graren in m-d fo. D> & equmatenu clans m-dfoa > L= f Ww] har wen Hh AS ey a Meow equiniadem a Clones = 2 aba QP HG equvateme anes Quy gome™lrn.m Zo 4 Whar a m O Qa a,b Feq CLAD OSU ty, Rar Re no = OF Ab ath b” Xe = a* bb%a. Cot b)* 108 Guuavaloars. terminating at iA stare aye velthng ase [Refienturs ] x Ra iff 8°09, = $"CF_ md ntisy amnim-e4gu © Antsy } att arnt saristied Tuam chive Pscopactien of May Act - Nexocle Equvakemcs Chasp Lee £,,6, Ez, ---- Em be M-N equwalena crass op lL O Legh yt Ceduwatena class ve mom - empty) @ CHpaecnejs= > C cath, clone is dupjoinr ” i Hw QD Oe=-2 . ° ? t=1 Cuma of ah = =* ) Que) wsny equinatemu Clanden Ov men- emp rt 7 M-N equinalemo lana iS empty if Cw satin aD \e £HOM Start Stake qu some scares wwhhdh 9% 1 warm §=S tort States mot ge the guachable fo mot . 1 them the OFA mot Umi gut t | > emery equivabemr ChOn moc Possible | aus-2 why disjoin’ t = ea N Nan i ap A" has seme steeng then thar ‘ suing € Ra Ra é Bus im DPA, we don't have Chalice ‘ gan Re, ate anjorme SONS ‘ Quis Oe 2" ag ‘ = e : we hove uysscitten re fon each « gtoxe o> m- ara dons dAesing 2 Pimal « Store 2 cima wang Gudng Add AP im serne Ste : € 8 ab 3 es 4 G n Q M AD € thor IS Cenrnideud ER UR MELELALLLLLLL Quy ushith o4 the fotlausi! Ont 29 Me sem rs = (at+b>* ev (bras? a oF) y+ bY) (€+081) Fb" 4+ b¥ ab SD a) (anos cé t+ A+4+OQ) ob @ + Bee canes HEa's- 0 ROS ZA bt +b) Ce ran" > © (Wawa r+8 Cem? | =(atby” cue ai o's ‘ (oF u aan ee ee ia 4 Ll, Nhe Pcp dL Auto MaLO Pxoot comP > Intensecrion > urugn *% 4, a DCFL b> CFL l-las? HUN Lg = DCELN 3 Comp! em emt » Highu pou uolemy. i CFL Mot Cloged UMA J N cor promote uf ftomote = cst Nese = Sis ¢ y Sowe by de mosgon's 112 la - Ree l-le =2 Lot 1 rn m 2 a) 1 Closed. umd er Complement REn® yPaomete uP > REN RE = RE packs u > DCFL > Reg. UAL, =2 Deer n 9g | ; db Then 1S aot 0 Dgee { waeng- ge \ Fe cee AN CSL 7 CSL fon Defi M neg ,we have ginger OMbry por, M reg = DEFE wore Lb, S xegudarn ba ® CPL rranannnn nt? LLULLLLLL RRR E PE Be lii-4 =? oug- ef = CFL y wens we Kaue 2M for BOF Ee, 3 2a" {s. Moe CaM 1 Wr a Lilla Mt2 ) > Lud =, =c&l Ama. Note gf lamguage ig mat given ama type is Spedtied , We Ue insure Table. Gf Long is given, don't use Closure toble [eu] 9° Lo + 9e will give weaker AMAL. 29 Lb, > Regular == a = Pegudan, SEL Los fa%e™ {myo Scr 23 LjULy Reg UCFL Ly Uly = = = dugulan Here sxagutan iS SESBY any CEL i$ aloo wSute bur CFL is Weak Gms, vu Thig tyPe of Method, UW Vey time Consuming, So we follow min method. Actuot lamgyuage Given SteP! @ddemrity the Languages. © Appry closu Table gquideli nen © Sfams came ig Stsengent ano im option . them tick & stop. Bur if mmosu Stronger amd whith is possible Oma given jm ame then goto Hep 2 Stl? 96 “octuad operations on fanguage # gee Soar. is a | a Quit) wr 7 : bf, : Cquctient) : ue Cycle(L) 4 minus) % é Hose (L) x $ G Right quetienr Lifle OO ha =a £ r tlewe LyN ae 2 Homa ea ¢ ab c - J S Co L, sagutan HF Ly segutan. 24 Ute Pg ela * e x UL, regu 3 1, tf, om egg Sen e —— & fate wa ©& tt n't > atleant ome is 4G = Wan cemmenr & fodboe @ on Huo. e * MPN Ae eq = Ua b a e w Reg CLG) Rey & = ea eg2 ™p™ J arb? = es w wv wv a yon- non gugelar = HE pug. Sg “a aonb” mon nog lar ? i i ‘Ge, kl ¥ LN Le Is megusor > Ko commenti | a B™ p arb™ =O] Regular. UA. uy w Non - Sug Nan - Fg % LywL, is gular 2D No comments II 4 p.are™= > Yh 4 PARTE MILEEE EL ww (mon 74g ye (Mon 284) = UG mamPle Qlbo enuotS bur UW is foo comPlicared, me Know l, not gugusan L{ULy mom gular 2 a tax lp mot 24g = dee. L, UlLg 90g Note .- Conkna positive L is segutar & TL is xoyetan } Born xe ; Ri alan wee hg ie mega, pS ry ee SEP CFE te a (Lor eek Pore KIgusar > os CS . => tires = Only tio 2 are bi- tond™ rw > TH i eS ory 116 Note —_L_ jg sugudan > L* iS xegusax Bi-dixecrienad ig mot tut Ce fe sugulan aS) is Raguder eo dO fa (nd is 9G > L ig xeguiar 2 [o /m>%o]” = sug ular > False po yee a Ff 5 - Labse Nous, uty fa” [n> of is seag tala. ? > Reg wlan fea.atsa a : 4 uoin g a € £3" we cam onto query thug fan |nxoh sugular 2 = Not gegutar * 25 36 £ ato, a > & a by. taking Some fimite Sesimg amd * 5 9 cam't gemnake eu oupthing. abe Pxegent. in Lamguage fat|m is pounine is sagt, aa ate ° jar adar at vow aé¢a> € ¥ aay ae Men Othe $ stung a © euenss ce (ate a3 * is seagullan | 117 Q which oF the follewing 1S sgutan a) (arb™ )* b) ( [a%b™] U taj )* ©) ( pa%b™$ U [0,b})” Oo) None of to<. * a) fab ,aabb, ~y 9 cam'—e Qennae otha stsulng by taxing seme Fimite Stoing wih Kleen's Closunt » Noe Se a b>) fa,ab, aabb - yr a Not suger Same oo @) 2) f ab, Qabb -~- Ab ie With a,b 4 thum's doswu J cm gewrate eueny Hy a qugutar. note Lig Sugutax => holed tS s0gudon Lig sugwan SRD is sugular Note LL, UL = Requtan of L, is finite — Lo is dugunatety “4 Qf Lo is fimite 3 1, is cuyimacey ragulan af Li € lo One Infinite , We cami & Comment)! 118 Reexsive énwm h r a w CT rw wo o ey t lt Reg. © Membership | “ = x @ EmPtimens | ~ “ x x xX ® Fimite mens | a * x x © Equirotena | ~ x x x x © Requiasity | ravi} % x x x © Ambiguiry | “taiuia) X x x x @® Completeness | — x X x x @®aisjomtednes| ~ x x x xy Q whith of the Foll Guim tS akaldable 22 Zz we = det Combe amawered {Mo i | foom table wv % “Lower power to Higher Power ” ad tasty decidelole % “High. Pousee tp, tosoer: pouser.” umndecolatle. Ctarements ; L ,wez op wel => MemporshiP @ i$ > Emphnesrs L = fimite > Fimiteneas @® babe ® L is @ bis aynbiguaus > Arb aaa D> Equivalence quan > Rog utosity. Guus > comfletencas a Les =6 > 29 dujainecdmias,

You might also like