Scribd
Upload
24 views46 pages

Theory of Computation

Logical reasoning

Uploaded by

Mohammed Nomaan
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
24 views46 pages

Theory of Computation

Logical reasoning

Uploaded by

Mohammed Nomaan
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/ 46
ys\to\24 Seey Moclutr-2- oe Equivelonee d rimimnration of austin To Innglige quad DFA tu unique ‘b [ ‘pia thi. cu t he heme bang e thue 'ppa cow Aatd [ equiva : \ To minimias dhe DEA wemnted to tind the ditinguisralst. amd Seige Krabi defivabiow “Too Stas pee] O.DFA Oru = Cindistinguishalols) i} ond ery ij EC pad) $ 5( 4,09) i Osu finall statis on both 8 (plus) 4S (io) ore | | mon- final Aros for oll weer i Ch 7 ‘3 healt} i SB Sf 5 (piv) $8400) ome oe final Hats and ome Us non-tinal State thew p54 Orn Non- quio on distinguishable Atattes 5 CPW) EF) S (vw) ¢F J The_olgout ith Used to ciscover, Listingut Ate use table pulling odgohcttun Be asE ie! Fol ; Tf two states one met distinguishable b a dat lng olen toe HL Stat 4 begat | imimixe he fetlousing DFAS uss ~ 9) Drews dhe dolte fer Udistimquishalste ena : _indisbimquishalote States fev! autemata 7 ~_ 6) Comstiuct: the mininuum State equiva ate DFA 6 4 —SAL 7 98 © 20) a ; 0 2 & - SS i) Se TY Jo 2 se ° 4y seh B E i 8 G c kG A+ ie b c G ie E 1 SE ci q uf sot E H g c "Steps find amd tlimimaty omy swachabtes | i Bate. 2 he “Gtps, Ret dhe Fal ond Mon- fino Biche 7 Pine Atotte t+ Non-final 3= AIBDEFGH - lca hd | Vom) monk Wud porolldhe final omd ‘non-final’ stares am the tolsle- Che) (B:¢) Cod) (cae Cig) CGH) Sips? Draw dhe tale prom tach aera BIX XT XL ~~ CA). 1s) “CB, u) Ha HCFC) | ie (4.0 r Cou) (BE) (CoH) Ch. ACGE) (BF) (a0) Luts (G4) (Bo) (Ga) ECG) = Xi) CO) Cit) CDE). Coun) CE) Coe Cait) Aad, () ) Png ae) (h,) (t,€) CDH) Ceiu) Coo) (EF) G0 CAO) CEQ) Vw CHG) $007) Che) Ce) CH) CEO Cri) Ceitn) *4.0G),6) cD) | em o's amd Vodel ‘umber of bs Pee ee ea lt aura lumber. of 2 “25 RES) ag “_# ebtam @ rugulas Exprussion for a Lomgquage 4 “) -Contaimimg | odtteast! eee of txactiy! two bs” Ove dhe lt 1S = fab ] Sd; RE ab o%b * Deine the begun eabh inion fer the (elon | Joingucg Ll om brn rinxo moh hall (a? 2 b! No ,m=0 a2 47 f ne, mM) at BF 1 2,m> RE = Caa)*(bb)*b ; * oe the fugulan Expression. the tolLo Lainsyunges + “ko Laer bm (mtn) cy is wun - 70) RED (aa)* (bb)* Mo, m0 2) af any bf bb) OT) +0 —wor Ith = 2~ Wer ata= 4-wm &tOb yey any Ww = can RED Cau) Choy Facaa)* b( bb)* “ay fares meh me =3Y 2 “Geitain_a tagular txprusion for dhe Ethigs = ¢ pods ond '5 | whede Jungtt. One taultile ‘t an: RE =) (Care) Care) Care))* “@) Ax {uo |vo]mods-o } where v9 E Uas)* 4 Sot ¢ [wo] mod 2~0 6 EM S Mod 320 7 4 med 3 =| X RE =) (Cath) Cath) Cath))* —> Build bea fe Re > Kluns J : d aE 3 20 O_O) S39) Spe Ribs Tiana) é vm #) R: Cha: 2.) Caine) f ies LORE — 3 (mit = Suh) od 9 RC (dau ae ama Vo WIM £, %e)) ——— a ‘obtain “Bali Mate S| Machine DEA Which occept_ the Sdbuonas aslomd by Atotbong wath ~ ‘ash ZJaby! I fon CD” E % fae S RFRE C eo” eS 8) obtoim: dm NFA fee hialan bipauaion aba g ne a4 ; > Obtaim am NFA for O Aupiilon. ExlprAwsion. (atb)* ata Cath) | pid Cath)= (Eb cab)= O02-0 ate *) DFA do RE (Stati limimation Mthed) Areas Meteo ; Cat el Ty pe \ ( ~ @ diminste all Atates Choummfe 05 Pf FU RE CRISOAT SOF Oop em ge Re =R® roi ate oe te sean “al the. |__ bxprsions dertvecl fer tach acte ing Ate. 4) Consctutrct sage v0 Hi potlouiin DFA. ay the. Hal ii niation cmnthod. at \ Sols ( a ve oy 4) Fi Stak —_¥ i)ja-——8) © i @) fi i o,f ; * Combine) the ona? —XA}— XB)” O2XW® O Gimimate oll Hats tnept Kant sat F —Final Atoote f ‘ 7 © Wiminct B= Pda Da Scenes inition — : ; ’ fe f \ zi £. er e Prtosuce pratoeli Eli toe Elite fe KOC > > ATs BOB Broce Reh Qe) f fe 4 So | peor] Yi gred | Lore =r | Rt Qt p 4+ 1(o)* ot) wy yo \ \ Cored Ceti dost Lay \ it \ Red Garton) R= AtoD Sef Ps Cory) G+ Atoc Dd ‘ 1 $2 Ctork RE = RE QP pxCtoDd __* $71(04))(0)* Con) Of #1 (ors) (or) © nC gee - 0 Ax od) eX < POG We have Start + final State Ct Cat at (TERE ae A OR+O Tiorpor : \ R oe u CR 180 sor ye F Urg a Rey CR 1SOe DES Ur reo (atl Cot fot) (ot! Z Con) (ori) (95) —— i foth )t __et=4 on GOT) oe pi pe oF (ot) Con) Cs : toa! Comider C08 tmal state os i Cony ©= FE=WD) To ulimimotz Ato D, we nud prccluicer amd huccemer Staten, buct b oesnet put. omy Kuceemer i) ped [Re pre to duce | Q@zot) Q> pas ele R= ( Se Eliito ElL | *s~o . Px Elito Buc RE =R+QS*P ; ~ $1041 08)" ¢ ; a RES 6 No anc, 8o si i. nya the are ioe. ~_CRtsu #1) FcO¥ We how Boat Rate ond Foal 4 Bae Reo GeJ (ot) Uz 4 Tg RE = (eisor 0 ~ (ot) lor!) CMC MICEDIO > Cot! (oti) d)* | Cori © * (org)t i(or)) ~ oF FOF 104) (= ot) Cot!) RE = Rept RE, Cn ko haga oleae er eee ems Ne | RE = To* cor) (otl))to* icomy Q) find The regular Exphaion. foi The following DFA iaing bitte Eirilmation method Sols Shae State aT 6G OG £) SE ae CREE Oh Cwet? WiV2- 4 “@ Lose 248 eae een fs) Case B'3 Wa Ve MV (4) Code 4 8 Vy -Y2 7 Us , BW oa Th Ra 0s + Cased $ Wi~V-O/3 1 S ae App i Gee Ge Ete ie 1 Peo Pe Etes RE = RtQc* Pp = ds 0(g)* 0 = $F0 (€)0 *~ 4400 RE;>00 | TAM ae V3) ne Pitre * Corea Vv —a), r Re ptos ep Ga Cllwees — SE ee SVEbE ; : Pz Etos RE» RFQs P Ss LUT LLG i> tO eG lL oFee => pet Loxr=4 “Lote =k coe eae ea ae REx = -REQS*P sit + o(o)*L im dpoCeya v2 For, f E ¢ x) Cose 4 5 Va MW R20 Q:) Seg pro r Reg RIQs* P r = OF2(4)* 0 rr ~otsa (e)0 +0 TLOy 4 ald G3 AD otte 1 pg at PERE ¢ Feu" FE) SO* + = (cireiroo( ori) F *, 00 (o110)*) ee Ce a tga GY ta, Wy os Btont Mee amd She final state Hina, climimale Yo $V" Now, Uimimatz V> Rtas Cort 2 WIA Vs Coser s V2 -—Ya—-V) Corse 3 $ Vy —W Vy Coxe 42 Va—W—% x) Pasenping Aue Thictem! | ¥ Gt Ubeo fugulos Damguage ( 2 Thon dre "orists o Chnstlet tub HE Wey Sing Wuw L, 1 dematis o) Wiz 2D We Com buok W dnbto thre wets fey o> hy 2 Aush that Ci) y 4 © fylzo ci) © [xy | iene Q) a that he ae Lf ona” | nziy ly ene a Sols Assume Li ds plan. e + At m bea Constant ly CRE We OT Tol om Ts Ket w= 0), Such dhat 7 BYyPee wy zo eS [ry } O6l] Te peed qe = ) af 20! ly) xo 7 lyre Ta ye muy ER 0071) "ooo IJ (by) perk zo GR iL. yoyo ee he Kea oye ad= xz i i Aaqobbb - : (é Ke, az i Ho Al daa: pega le psi me i + CLaaobbb | ~~ Conclusion: . 3 Tr Sune the ven Janquage aa ir met. regular : : d ee t 7 Te) Le fal [Ty nat pula. 1 at Sols Aibunae. thot Lda gular Leung: 7 had nm bea Comtemt het Wot amp ht _[wl?™ ~ plik Wty x Such thot “Dp ge! peg | ou). Q) { 6) fou all AZO nay EL Ket m2, wor Goo . bb “I b. Duy riuoua _Xxbb Ty : i xz Z * chesiune propuiltes of tag guid Tameicity i Coen Lampe ose Augules amd o agape cs. tbe) awed Hum -by a perdi A LA, A . tee tuted them ix also fel Se She hecrems One Called Closure pA poate, ie q Acowleu “eoagusge ‘ or . LE me ' ) She _Wnien 4 two Aguilas, Jamauage us Sequbs ~_D he intention | tuo hugulas Temquages 7 heguter \ vg q 3) = Comblememt of two eqlar Lemguage as i Aegulon q U ee VAN. ®) She cif cama | two Arqutar « —Asgulos” V v 4 5) The bevosol 4 Language w Auguton TO The Cure (x) hagulan pe gules teunguage. 8 D Ohe Contatonation | Neola com uaqe 33 Acguler d t = a By. Sepkinahliee ( Sibeetalion sa stung. job humbel) of. a haauslo language Bb Aagulon ¥ The Invose hornomor) nism qe Bo ae c faa Jy aula _Chosune mr union ) Theron: Jp Lem ase dequlor Janguages amd fo us Lum U V poet ¢ Sinw LSM ana Rg Fhey howe _ Argular \Eaupressiows 1 ; VHRR) M=£(c) dh LOM =XCRts) By depiction, a FOP epiet fo. hepuloss toibrasion y CLesusve umder Conlon | Hepes => Convert the hegulou. tapression to empty « -NFA 2 Cornvut the & NFA to DFA- rea Complement the Accepting state of Fe OFA —__C Final State to Mon- “Final! + Viewers 2 town. the Complement DFA wb Anquan £xp _husien - a Sheewm = J] Koby 0. ular Lamquage eves ~~ Olphalset: diag. Teel did gat —paoof at Le LCA) fou Some DFA LPR Uy K+ 4CB) for. DFA_B? (Q,5.5, Vo Q-F) fe iS Bus adh Like A but dhe Occepting «i ip © A becomes! non- accepting Stectex of'6 Viceversa, hee Exewwble DFA A accepts all btitimys 4 O's zi that tnd din of t 4 Lin) = a Seine Ree = Cotbfoti. a The Combliment LCA) Rr ale binge os a amd 4s that devat edd od im of ta Vek ae mL) Cott) —— oa ma. Bs : 0. = t =a SE an) OPEC Peds: Cimtiot fae Grammar (CEG) r acc 4-tuple (er) Quad tuple "G2 (vitesp)evohene Vita 0. Act of Variables “a Mon-teimals + Tso Ket of tonimels pis a theta: paodiuctiods~ Sips procluclion Js dhe fovm ff, who x SE from _ Voridlistes “omd Comnet be Empty Bs Bitumg jum (voT)* Hone Vatican Sto hee 8) obtain’ a pact of a COnaduting ‘| * Cy) Nuch er oa ; V Oo ; Solu * Y SDasfe 3 © | deivedtion G = (viT, ps) [$9 asfe vets J 9 ads Tray . |S anny | Pfsoasfey 3 Anas & Gus a Abert Symbol (9 aac 4 Q chien a. Ghownnaur te pmol th The Shin : erlang ate a_§ “ Ary: C3 aA A> ae g Aca Ved SAY Tefay $ » Start Symnbel ped SZ 0A AD anjey ) Obtain a i te gemnate he cistuma ef eveh umber, of a a ees WN & = he Id) tt E Py os cr) Sack oe ee ajobiaum. o GnQmmor Sp genwrocte the atangs Consisting! ‘| rruuliibye. To a's) seo (07) Os) Saale ul daivatren: AaB Lib aaas |e Boas \ | G+ Cut. sp) ve f SA,BY Txia} 18s Stank Symbel | prtss dale AD 0B 1.9 Boas} O) stow ot é 1 > 1 rong Conssiting of Gang teh O15 bis Sols |! = Id ® (Lt duivation - \.2 Sas SD as/bsJe (i Syabs i : =) abas G~ CVT Sp) Daboas va. {34 EA Lia Cf =) abaabs = TL a.by Daboub: wobok Pe{ SD asfbsfey Bo able ( Gs CV T£,p : 4 Ve PS, A,B pes SGA Te Fay [Avaa 7 Ge Stor ap 4 mina S> Stort Symbef pf 2 ba] bs AD OA] bAle = eS b ab / Jae dtrivetion i Saal bs : ' - S=) bs L ADOA/bA]E | _ =) bbs L _ > bbbs ug q G> Cv, T.s,p) =) bbb aA. Vif SAY = bbba 4 ave 3 aS) d obtaim a Graimman to eee btumge ~ atleast Consisting as $b’ with “Tonka be 1S sit ae SD alba] ab AD of | bale CD 2B bale Ae «(WHS iP) SAB Zz fort S* Srant Symbol Pe S SD ah] bala 7 A> or|bAle | | Bap] beale J @) L- {iwi [vo[rned 3 ro where Wefayt ae ae Yaiaa, ern} Weta Wrdaan G»CV,7,$,P) W)i B= OO. a __|wo]imed 3 >0 Imod3 =| $0 QMod 32270 3modizoro x | 4mod32|'+o —. | Smod8>220—- SSOAT I: &med32 0 $0 X A> able Tmog 32 1 >om BDasle Smodz 2 240 | ‘1 \Gmod3 + 0>0 X Vet SA BY Weg \ Te {ay $ S= Sant Symbol pefSpak 2 : | Amable | A / “Basie J 8) Ae {amb | i Salns oe ‘@) thre) ash Sb ast =) Aasbb : 5 aatyb vet sy T+] ad) Se Stoat Symbol pf ashy SF @)_obtaum 2 frases do qenumate cthe oe aaa a Pe) copag x k S— habs i\ A> Lan bs Gs (Vv T.6,P) i : Vets pz Ji SS Abs E Es aby © [Ad tfanfbn S* Stank Sy mabe}: ey Q) qewunate She BNNs wich, ob 7 Solne RE =) Cate Job D2 ah } SD Aad. AD Llan[ba Ge Cutis p) 7 Ve FSAY Te faby i St Utort Symbol ] Px Ss Aah 4 AD Efanf ba t L es] Orb. va LD aba _ A> Can Joa Ys (vit. p) \ ores Te. fF a0 S+ tort Symbe] ae Dabs Livia iEfan]ba:f ey 7 Vel | Art 7) Dedivedtent nit td VE. ok Comsicler a g.rtummat iver below = pom which on cvtftumadic. Eapression “com be obtatvud! 9 ED ETE E> E-€ E> EXE EEE Edia ED ws a Start Symbep i obtain o stile id+ fdscid ES Erte 5. ah & lo i ES) idt¢e G > Surtental fevm ED Idt+Exe | RL E\idtidke Jo? od : E=) idtid xe 5 $205) Sona Pb Tdi tk 5 4) Kat mest claivation - cae Jn the durtvation proces LL a tmest Vartalsle os ehlaced cat He dhum the clertvation as’ Zaid to Lt “ Lert mest 2, fx: obtain Left mest dunivatcon for the “ id rid aid. fi Boys EGE ED E-E ED EXE EMREe/e cS e*E E> ih EDEE E ® idte E® fdtexe EX idtidxe | EX patel aed LES ~_) obtaim the lef mest datuabion pea Fling j acnabbabbba 9 using in paceman. V Soln t— Sx ae] ba 3 A > as baala b> bsfaoe]b Right most duuvation. a 1 Gnidhe duivation proces 4 a mbit (Wado Js oplatid a ey ie th the duivetion us Night mest i ‘obtain hight mest durtvedion for the Stung id tide wating jellawiong ghadnos. fol t ES Ete E— E-E E-DYE HE Ea ee ED GAB Ext € 29 ere (€ 25: E+ Exe DERE os E ES) Etid aid: es lotidl vid i [Beli et yo eal Se Ny hed G=(V.T,5,P) be a CFG jee duntvediog : a tis wutth He following pete a oe ; r fo i ex € iB L- ig E 4 Ig %) Ambjqueus hoummoan s— : Yo Ag: Qe Cane 2) bea @ Contest pre fzammon ‘Growimoar G us § Camb iquious it! amd if thee: toast ‘ewe © bttiny WET for Which «two ot m Ear pose" Ties tnist by oping Lyt most ‘durivoliion ev hight anes dbstutition. Consider the fname Ghewn belous . E-DETS I E3 €-& ‘ FER f } ED erxGarine ot pho , ; EEE ED CEL Ii ~ Show thot the rea Ss amBiquBOD ah dhe bury Tertdid A > She Fen jaded Com be asad | from Lept mest es E Dee D300 Fah ES Exe Epidre ES ETrExe. 4 Gj pidrexe Ep idtexe ES idtidee EDidridae Ep idtidxe Edidtidxid: = we Ate pine bed wise ihe id Ere — E 1 a 1NA id | hid “id oy Ge owe ep a x ince the two powe Fius on berm dip en Aa for dhe homes hevtence tdridxid by 0 ; ee ‘Lt mest derivelion the grove: fete Rg Omnbiquens. ~ Q) BD the jetlowing ghurnrno units es z | Sos The brtenee Bode Gam be obtainsd - from two Left mest dartviatiorn - . ese : Sp agit hi XS ax pe 8=aasg: | KX Saax c S =) aces A= 00x 9 S=aaaq XK =aane. ~_@) Show that the Grtunmor sis Ombiquers, “| e om Timea ot aia walng Shu’ folio 1 So} | ; 5 as rie b> *psJase|i

You might also like