ND, CSE 20y - Theory of Computation Qr : BY JExain Chomiey Homey £ wit set rf producto for ach Grown m Psa) Type. Pensa N . Ceordig ste Noam Chomsky a ese: Oe four types Brewers = Tye 0, Typed, Tye > ove I i ee a Greommes | Tape Grane Recegked targeeg © Puctomet! Acupka . ae 8, ype 0 Varerti Cad qrowmer Reeuciey eee taney MocbPne, Tage “Tanyelge- : = Content senstave grawmer] pyatect -senhve (tor baci rT langue ety mittfon 1 we 2 Comex {ee grammer tontecr free Paashdowm Authors Aangusge] Ea ‘afc = Rego grammer Regular Ungeage Fite ate Reuresaty Enumeveble Context “senetve, type 3, Grcoene* 3 Grrameners gener Y 2 Type te oe 4 siogle. ., ett faye «hen gae consists ceequlor Rorqus es « mon-dermt nal on the eft - lund Gide ad Q & of 0 see tential on style Tyre - ~3 granmesited ton sist 4 @ Soe steind ox ging le fermi neh Portorea, by a stogle eee othe productions omat be en the foym X20 K-0Y whee , XY EN (Nor -trmtack and, ae T (Terminal) the ete SSE 4s albooed { ¢ does net oppeee on te weigh Side ca “y pees: ke Exawp ee % aoa | ay Yb aa) Type 2 Grawner + Thay generale wort (ree Aeeguages. © Deductions wuse be Ty the forr Ry WREYE nen Cnea- aeretoal) ye Tort Cnty 4 derertnal, onl nownvernmnals) . These lorguages goneralaA by these Grommers ext by ae non Reker minishe — Pustrdown automation, be vecegnined eset ga ke X 3a X ax X >» abe x —>¢€nn TYRE L Greaney, They GRCrate waters senate Longuages, “ng saya Exogle 5 AR > ABR A > beh Rob Tape O Grammer . Thy gene ~ecuriie Uy Orarasca le Languoged + + The productions Mave no ves teutfort: ] : Ap | Passing of antate ron a Canmot bE null aeconncls ge ei rt sexntoals cxarple Cees Nn coe Be 5 acB ca 2 d8 aD De Be) snp, the given Gramner ke Saarofa Fy Fiasily , removing wieless productin os Q ts vol defined . Sank ts useless Production. gra}absblaag, nsbs/anne |b. ts ga alabse , poe sfanab|& : ates chectig the gtert wcaoving —wrovenchesle — S 9 So Oats seedy, mts unvockable weducd gremmer Te Nu S—> alabss & Now, UD Rewovg sel oP, 55 alates \ ee ocQs. = Explatn po detail the Model of Loca, Rorded Putomeba. Baga ° s oc ait === OD Near Qounded aatkorvation 1+ a. nuh — treacle now dlakernt ith ey wOckine uSth & tape cI gone bounded fete Magis. length = fonctioe (Wegin + qattial fapal shig ersten) Here ‘ Nowory “nfocwastion CX uk Myprmation “he com pubation 46 xestticked 1 “the eorstent — bevrded Or eS “ha “input al phehet ental two spectal Symbol hich cere Ae Lele eed mavkey eee te the awd ght ert Markers wich mean tha Transt Hows mee wiethe eve to ae Ate A he Aeft Be td marher mow te tha Rye of te Rk ea worker of th wpe. KR Bineav Lomded automaton om be differed aa On ap ape “Qk a fe eek ct hala + Ts te tape alphabet. + £15 the Tnpuk allphatet * % ¥ othe Fotkiah ct ale o ML ts th elt sand marker, P Ma the Ake end workty where Mp # Me © § a Avanktion function wsHich ope soe fa laee a . MPL syvmbot) ty (stocte | Symbs , constant tec) uneve © One Oger ac Bis SR of Hook statis.[era] ee) } + Left Erk Mavkty DR dekertic Breay bondi auto motion obiongs Contd SRE Pye ard xe Sreor counded aulomation sith Lvply Hongutge. uvded dabble. ADS wae Choke “Hh, properties of Regulor Expression. Prove Hat the L= f of | uteee pis pime } 4s not vequler- Mees" Densdtom of wegiler (ang uages ie ore tooigh Regular expressions. de hos the fitovtg prop erties. Br Efe 0 veulay expresston for xequlay Aargusge fe} Bt a regular eupresiton for vegular Leguoge 4, UR) Tp aed , ate regular expretion with foyuage (a3, GH) Th a ard b axe wegulor aeprecetow, QL Te algo c. veel euprestion With derguage fa, b4, Ww sh @ ard bone regulon expressiors , ab Coontatenatfon Pye Ged Marten. o 2b) Ss also veqular. w oo regular eupreston , om is also regubr. noe, few proving thet § uc { of | rue pts pte Gs mot vegular, we Will ee aha method of Grtraditon ,Prom ty! uch tod ee a 7 purping, Lemma , the ve auishg 0 number SO he : % athe of leash gqaargreater that YC ptokorble fab shag Jererating move Shivge 7 the Aonguaye L + Let uy consider first pine numbes ae Fox suet ty a Legh px. S cL and en Pep og elk og @ PEL yee. al be prime wut — let Wee, ep | kerp pete, Canmot ep ke Himeg then, Wald p by Fineg we WN hove c wtKP ke (P*D ak*F EL a =o wet prime , which So, HK wld oyly te PD Es to’ i not. #601 ” ). gree, Tk te divisible by both Gana py Nort , Lk not veauler. quese. Construct a PDA pF valet to the following Conte ais free Grammer 9-30%8, BOS|1SJO. cet wetter loco i NUN. ore the PDA Ss given ass = oe pe { ©») 8,00 1 by 0G a eSThe Production yule & Com be @ R 2 §(y es) =f (Hy gredt Rit s G EB) = (6.99) | 15) 1 (4.493 Qe § (4, 9,9) = {Ge} Ret Sle, = {ue} ioe ores “Ae 0 blll ap od 7 9 & (4, o1ooo, s) = § (gq, ©1000, 088 ) (ust 5-20) = 6 (4,000, 2B) = & (4, 1000 1S®) (wetag sg 318) “hs 4 ut pop out = $ (4,000, sa = §&§ (4, 000, 08R) Cus? $—> oak oy 8 7 eis 0 wil pp out = $8 (4, %,8e8) = § (wy, 0, 028) uty B50) wv as 0 SIN pop ou8 = $a) e : es w ~eoukk Ts conting ot oe Stree, oy eating OOO ee Sa, 8) ww ents, 91000 Se not occepkd by PDA-a 2 D Wa He aeenes tnt 85 Parte ack -Tetah {eestor Par oh fomettore | Total Rinckons ae) . Qe tak meter is the |e cn adh mathematical cup 4idds, ana Tokxpreatten Tt 1s | the word S fumctte nw” athe function Hot my ov lore moony“ to tah furetron", Moy nok we Aeltred on We entixe domain, ° T+ dso mot- total + W parttal yraten {fen someimes Sectfon- Q weons oN function ° Fv tery Ss total arguement Passe Tate the futon Ss cn element of domain. hen the possible value af | Hee axgumenk can take, the Sc& X oto te Y fs w Pencfon ern & subset‘? yetaen of te value of tte of [possibly A ieeel{), | Computation Con be an elemunt | from w-domain, Q Qi) Recorvtive ard Primitive Pecarsie frrction , Recavstre Function othe function 9 (B.) pe the fometton aro vompiity fil), we Gt Q Universal binory furor ae n) = &o fee cow prteble Gert. Rinttive Re austve * Gach Pyrite recursive functta te defined by Parttenlay fatte Set of recursive gual . m sens of fred cet of lanes, basic fenctiong,— ¢ ave | eettive ve CUrsh¥e ae at Sh tsbey edie. | pt Peete Moy Ore not PAplvabot 5 Ya (op wich Reker furor wR a To |W is fed fe dOnt Stes | BME oak wot pratt ve etuxgve. Aa tardive fonction | | + Teral | + example be POET Ec giee- eee | “9 eee 3b leop) - fs Btoop Rounder P. rene. D Costut 4 Frommer An GUP Cpdivalent PP He YP Ss Klaas oa fib 65-5 ag la =—— KR seta ts obvendy we CNR, fe Sep he Let us ~ename Ths S = Roa Sep 22 Re Ae ok le Ry DA, are sep 3% BB oAala Ts accepted AL Sh Ale % not ceceplect, Co MH vale LA THA he Br AMOR O seg ur Remove Le recursion, la =a DAs Jaa aezySPs: oO, A, > aA, [al] aA, 2, | 22 Spb: Aral anwert A, > aA, | oA, [GAR Arsaza% Ja Ay — 0A, a [ahi2.lazs Zr. Dahir Jaa, /adjz,A,] a2 QA ZL ALZ, 142, A, 20 | aA As 22] ah2, | BWP a) Stati tha Halttep Protlem of G Tuntog Machine, Prat as Te Haltieg Problem a Turing Machine 78 kasicolly a pest on epoording the program Gs adgo-itom “Hat hitter will be halt or not- Ln theory 4 Gomputation, Haliing means teat Tha prgpram Or some Tmput usw accept tt ard thon Salt or Aol after ~efecting i. Sn simply woods falta ryecus ferninatiog , took will mever go int? ay inf erte be - 0, nas there Ie 2 smalk and Twportent question Qsiser tract Can we dove an algorithm that "ay ell Hot flo Fre pope will halk ow not. Sn fers of Tustay Macrint, ill tt Herm lan yun OM Sama MO chine tt eae Pn put Shine Wh Qniee, fe an ce ce absiny, 2 Generals ed oly et voldich can appreprictely confirm? that tho Giren prgran will ever Fott or ote The ovby way Te te Yun tee Pry And ee Cheek huther Gt halts n wt.-~ te am Undocte, Gdas le : On aLPovithwn when Problem be carsse th Ls y fed ago Sob 4 on tg Wher a ghen Py Pe om we Camat hove Proof thee by method ¥ ConadiH ora DM whe x “SO pote Gilfisnce betscor PEP an MPP. ae tk : Powe Aifference eee OC nek ee Gee Tht te MCD, ag solution te teped # stot Ute the frst ching on each tet a HOG Gels Reig of Shiys over to ma abate This Petree Pee Tee Yo tare % ony fepetna of ‘aebegers ? eee POD comatete Poe es Dhere mee! cuck het Wi, 0% 4.02 07 = hoe My wee Min He Sequena of a im Te 2 Solecfon fo this taatance {PCP eye MPCP consists ee Uses RRB ef k shige each — from £, sug Pec ea, a ad R= pay, , Xe aloes have neshe 0 Sequins of Trt Te, te, Pee Suck Theat Wy ME re 1 ie met Bene Man has quater Deady ty to Thy point of eaffireener. goo, gn Me (abb,aa,aaa) and N =(bba,caana) Here » AL % do ge we co see. mh hs = Say y, Hence we, Jl, kesSeckPou — Fes == —D_ Refulr exprestion ¢ Off Cow) (041 O28! G3) &® py Ok ®™B— 2 s® 4 3 O)O o, Ct ° ° Em AE) —Q ~~ —* @- > . De or r SE his ts te Med fie a tthomotd . t) Lo ss OlV a vPTY | Tar 8 voTTeV | Tur ees aan LT] bTaT le Previig ous YA = Garner Fo cath de be &mbiowg, it we move that ome dof lerivation luce dun con be yaad, from te g3U (ey 630) > Tav (Oy Us Tav) > aThtaV (My Tatar) > abTav (@y Te) > abav Cay T+ <) —s abdat (ag Us rer} | > abaat (Ry Te) ‘ rd SS ahaa Cs T2328) ;¢>U — Tat (ty b> Tet) —» at (a4 7 -7e) > @ ( Ry Tse) Heme, move than ore (oft davivafion tu con be Gere voted fm fox rammar- Tes Ta em bigous Grammer oO nag ~The we etd of, mate © fer wuehens is giewr Sy Residue 364234, ae oe Oe oO que’ ty S, tose Yo | Qe a, eo gee aw ete fom | ay, | by te % : eee ae an | i: ay Go a a | ax ; - a 1 ga tn WY Go | ai 7 1 on traversal, etl be (OO! co fv mower 19, te bevy (4, 1 100") 304 0011) 342,01) Law) Aa 19 Vine, a tentdn of tq will be,