You are on page 1of 14
Pesiqumedt Ou ptutomata Theory BY: Bhavprita Roll: 19MCA01984 Sem: MCA-IInd Scanned with CamScanner 1 Qu : 7 Reino CEL. Welle ate atep4 Asstonata. Shon . (ox? str) Asks nment pent ( to spl the CFL with example « ~ fsoe Gs ermal language theo » a contort - fe eg th 4 enercilect yy a Conket- lage ( CRU) U ie aaa te yi ae | ffearrmone (Cha) de ws ow sfoumal nS holy w ae Pees all cpossuble spettiant 44 hr th 0 ¢ yorrna? lan: Ba + Context hee. geamanase G van be dept a duples Ose = by ‘fo fohote , Ges the grammar ich console of the puoduelion suule, + dt ut uded sto senna the shin yo oat Te anal sel of ‘lwerntnal ayrabots dhl donetecd by lone coose f8ttert , Ve taal set non ~ teemtnat qyrnnel St Set by capita) rt puodtictin seul, prc Ml | Placing ron « deuncvals ymbell ( yn arhe | Fo the Y peoctuuckin) un oe thing WH | Ket a ymnbou (™ Aon 4 Sh Ye preoctirelsan) « : | Sz ¢ i i moan Ayrbel whith i week #8 ceena hy Me Con “dete Lhe thing by repeatedly bee ‘ . * hon tenure by the” right-hand cide OF | he puectiction-untle att rot -ternenal ‘pans Bear | Xeblaceal 4y sewneProt Gyre « | The deuf vation of a Content free bapa wean be Nprerented by usthg ees > walled as derivation freed Reufralivn dace cur ‘alto callect poose bree + x StrupliLeation of CPG — : Strptification of CPG neans stecluckion of Geanmate Wenoving Useless stymbols Whe propertfer of deduced i ae axe s— y > book pon-Joentnal ard feencinal of G Oppeans fn dau devivetion OF gone vert th L- ~5 Yhow should nop. fea product whee Xo ard Yaw nim (ecnirall @ ww nob un tte da Lo dhe phene, 7 pao not- fo be the puialiet eae bm) aa Xoy Peay CttnaPaaDin eniowal Of ; lets Tet Preduchig Unit Procltzch'na * Renowal Of Uselets Grngoy ¢— a (ia Can be useless U TM TRH. of the Prediction vue take Pow in He derivalton Of Gn an Symbol wy known as 4 useless Atrrbols SFrut : fe XH vasiobl: can be useless Tp tt deos Kor dake th the dost nation 44 at wa , Kron as Useless Climanalion of & Production ¢— Whe pioclushons 0) S> E Gre catted @ proclechrng. Whur Jype oy pirpdiclins wan only be veorrovedt from el hose gramwan tyat do not ferevate ee Lo fird out all nullable vwen-leenihal Wordable which deniver & each poeducton Asa.) Crnbhuct alt Da: ta rehon ASL, Where © Ut Obtarredd from ou &t tontoving one Or ALme hen-lop_ puirad deem 44tbd > Combine He vuerutt Step 2 With the 3 oigival padduchin as rene & ~ Scanned with CamScanner pails aa Be ce oe UNE Phodlire Aerateeees the puoduel a ecluctons Arte Ps Ae hop Fac Ont 1 hon-sleunetra) afc ancl ‘ . renting), a ns CEES Steps dy remewe Unit prroduoh 4 - to Mt WMyvews PS al production ae ‘ th amma ytile isheroner fo 0a le Geamerase D> Delete X>¥ 5 5S ~ Repeat Step a 2 Unk preducKord OMe Meno . Cxonpte §— Qs abs labA| abB eG! B> a8 er de Here , C> de wW welew becaue hore va no Gexivaben 6} er Bra. 6 > 0B w abo useler bocame there td no way 1} Wt ever derrnPrate + Qo , he nuocli{t eof rammor becrmmes— s= abs laba ew a aG G ee ee ees ne == BORK Scanned with CamScanner — Con ae Neral form §— dn CNF fy alt poeducbion g - Say) CU oper pollens cond sdiomst oA Nom ~ Joe ninal geneecling atennetral (2S 2) oA hon- deen nal flencrratery chum nom-femui nels ieee Ceaomea) hing. 6s ele © Ste ¢ eh é (S36) zis Cert CPy Frito CNE e— Step Etindnale stasep ymbel from RHS + d18 e wich Coral a new Production as! g b> § Step 2 Ctindnate null) Unit ond useless prtoduch' ony Slep 3 Elentinate teuminols drow Rus ih YL : wi Cee Leowinaly ge nic a egi- X> xy rey Seo e Step 4 Blintinale RHS With more than tho ferminals , eh KOK 7 en ze BS) Ss Scanned with CamScanner i \ Nermal Dnem t= AP CRG Gi veibg, ; ' wu 0 de Pala rules | ) x Q es. DNs 3) Seen 3+ y Xp Sev cia 5 ae - 9) oF the given frammase w net un CNP, it f (Ne ‘ d Satisfy one Of ‘he fourourng aN NP / ipo Cenveoe 2) bli minale Leet deecursion from (remmate iF Coty . 3) Convert the frecluchion Jules Pato GNF ferme — = = es} bhag : —————— 7) Meneping denuma P Fx plain with example * sp tiny o AUB in iu oe Cs t Verma. cin Yheny 6 Comm puter » Phere } fe ; | Renta longanges ne Ne Conte, co mt. Sree Languages . 0’ Yun ping demma dee Rogutax dan re fo Regios dengeg An Sc > f Ste qutax lecguage Lop there eseste an Wri ee Buc 0 of Ch 4 icut Foe att ge sth [ap Sn, thee esedt Up er WE £*, such Ihab kau vane 3) herb) fxorovin ee dn Simple Jenna ) his means Yhod if a shine vs ‘pumped’ ,-+hob ie , It vt Unsere my no of dimes, dee teesuttant Abing bil seenains he ° Purnping lemma wt ued aa Peet ler twp of a dang wage « Yhus + ie a lrrguage wu dequlase , th ona Coutnspeer puniping lemma. df here. exes A+ least one Iring mocks from pimper Which Ws net th Ly then boy Atueoly nog ia ‘the opposite YU pop always druc+ Yhak we ub Gd holt— pecan. bo a “eoguuling borpuage Scanned with CamScanner Qo) Y V( purping ) t DS —— fi - Prove be fou"| ns 0} is free gale: ty d ei Usume, that ¢ is Segulase » then by Paneheng demmaa. he Now , lemme hota. Above. given Mules follow § [ei Ween al ise ce by funipt rthear exdh 4 iW buch thak (1) -B) We Show that fou all tiv, wl 0 ~ (3) does not halol "1 Ut) nel (3) boul Hen» ot Ue JUVE Sm and ivi sy. Soy. Ul 0), = Dane Done Where 0 +bgh, bSd, (20 ;4tbhte=n. But then (3) foils for i= 0 ¢ ‘ °. uven suw = 0% 0°U7 = otf" gL, Selen athe ategn 0 -Uvidy > el & = >A isceter bee Raytek, Mkt the logue, Lf ye pout 8 l } 4 ote LUE Conte feces Yhen,L nuab cablipy PENCEihe Lonel Piste, on ‘ 4 Cheetel ai ADs A op the Peuneping lomrna, Van take > as Onno. Break > fat UVWXAY » Wyhore IYWxl VW x has no 2¢- Shen Vie chas only O¢ are ds- Yhen uny, ushich cotld haw fe foe th Ly Ret n 26, but fener than nN Ocer ds. (ote 2 3 vnx fot np Oe Hence » L & net accel. 7 Scanned with CamScanner +, exansple Pushdoron Aubomala patth exh real es UA vo. penite Aute {Called stack pehiah ‘felps Austdown guile ti AL Corker Pear dan, CC li FD Accept [Reject Pusher pep Slack Snbut a nput Yobe "Soput tape t— ke unpub chad i stead only ard ee Move feem {Ry ene sombol ab a chimes sdinik contro) t— af Ras some Poinfee WAlch , poake the Cwerent- bymbet whieh us te be Mead . eStock $— A Structuu th which we can push reno, he Hema from on, onda ae AF hes otbinlle Se Aoemal dleptod bon of PDA :— Sb fas 4 tuples :— §> Synite set of States 63 Srpub ce ir @ stack symbol Which canbe push) poppect from the Sack Jo > Snitia) Salle - i Scanned with CamScanner zs 4 Stant Prat cpates a5 Mappoy punotieg (vansi Ron r Peanble 1 eae a PDA +" laog wage Pow | noah eee anned with CamScanner vay Haokine welth oxantple * an ( Maochiiy WwW vOn accepting devi’ ngingesgenseatad by ype © He thyentet ty 1936 by Alon Suseing ’ ag i ny one 2 Mathenatical made! yehich ot faNaeceg el tape cliided tne cobls on ‘ih fa ie given “AF consis of a Read which M H pur take. A slate ep shones Hee dyate Of TM: Y A} bow Meacling an Enpuak Cumle (Oa moptaceal wol | MOF hoe durnbel , 14s Crocnal slate it changeal and Ht} pet hom One tell te dhe Wi he) TM neachuthe | feral State 7 the inpub hing Ua aweeptid O Pheri hejectedt 6 A MM can bu formally disouibed as 9 7 lel Co ere eee p OIF 3) behore, , ° G@ ~~ Finite cer § stale OX dene alphabef- oes dnpub alphabef- » § > dealin finoben | 61 OX > Q*Xx + RB Blank symbol Viet skit, 4,7 Anibal state a mice) Pinal state: a | Scanned with CamScanner fats Consfruck a Khone fh bl CoE Si 2) t 3 ?- Yop TH You the dong ug De 2 BE 3 fF BS) Lale}e] ele Es (B,6,n) pues tie oem IeyR) Geog Scanned with Po nyry'} | (iv) (6,01) (6/B,/t) (Oct) CamScanner

You might also like