0% found this document useful (0 votes)
15 views

TOC Theory

The document discusses the differences between DFA (Deterministic Finite Automata) and AFA (Nondeterministic Finite Automata), including their applications and properties. It also covers various types of grammars as classified by Chomsky, detailing their characteristics and examples. Additionally, it explores the concept of regular expressions and their use in computational theory.

Uploaded by

28 Kartik Patil
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)
15 views

TOC Theory

The document discusses the differences between DFA (Deterministic Finite Automata) and AFA (Nondeterministic Finite Automata), including their applications and properties. It also covers various types of grammars as classified by Chomsky, detailing their characteristics and examples. Additionally, it explores the concept of regular expressions and their use in computational theory.

Uploaded by

28 Kartik Patil
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/ 37
Unit 1st pifference pet? ery qnol Moore oa chine FN oifference bem DFA and AFA: @ -Stepe ancl explain application of Fequtoe Erp renloo: Ay | CIhet 8 element of PRA? How iF 1 o rep reseriped ; | ll Expleoin fhe pwpeetiy and Lind feten oof Ems £ tft] Fy applicaten. Di ference Machine. bef? cision Mech aching Msive machine outpet — oepend on peered outrpet depend on present . stefe igfate 4s. Well as present Lethon SheiN infped- | SSS yi. place ~ortpet | 00 places outpet’ f9" [- ansiHen os Spare : i : 3) les) ru mbes oF Were | Stufe requdved “s Shofe~ - Kequiced lew Clatd sare Are Meare ardor? Ft = ieequirem ent yea” CWE acequived fey. Ciet I vaplementattes implementotiee 7 {| 7 1 Beret spostet * fo React “Showee’ te [taper 7+" japet a / 2 Syn Chronos oupent SGachanovs _outpet sh Malene vation" a genesehieo i Gg + a bs Wye yl erredt fe Cay 4 424) dasa i - DIFF evence | ofA bet » pen Stand | @r_ NEA te a 2 wefee mri ADR tte rion dedeemi rate Awamata On pitts Auto mata yw Carnet use emp hy Can ued empty : Pd ; ; ; Shing tracsitor sping tran sthion Sis undeéstowd oy Can be + Uundesstord olachin« one otackhine oy roul4r ple~ ay DFA aL ifatdte ke Coo steuct eau eC 40Strted- OR are FIN FA | ere i not” : 9A NER Orne “ weg u tres Otere Space — require ke space | t YD Cadeheking are | ollirwe Boeebacdleyry are * atlow. rook Bay | kab WF eee F__ OPE How [Wess wepraent = I = PFR a stand fer Pedegmmiin ist? [ inte Poutomata: i le DFA cg Horesvefroa) model usdol La Com pud te Science te Solve Lope: problem. awelatrd do ore Gy los i Langeage: — ~ flemeat & pT = ——— Oe ttle 2 m= C95 6p. F) r : a Pe fectke Ser” oF ahaa i by Erp vepheb er i 9g be fae fers chad ° i +) Te a aeeF Pre fe oo execeee ee on Hind tek 1, Sia _haosit Stef fransit et -~& ljrected goeph- + Node represent shefe + Avechest ealge fobe} with — jxput Symbo} wepraent — dtqasittor 7 y_| Tea0 sitten —table = : | ie [= A -+teble UOT each SteFe GG vesef ting ' 3 fer each input Symbol). : [ - Bow Saat eS s4ete 3 7 Column Corripsernd te Symbol = >| Joema) A+finahloo = | §_ —*—= = OFR Can be formally defies | t s tuple. b J ! | m=CF, =, & J. .F) | i i] 1 ot G4 Fepjain pvapeaties OG lLimidetar af 3 FOS? P= 5 ae Bpotvcedion of md TimideHon vat sina a) [imicked Comp tetene] — Powe a i Cae ret ve Off Ze Contttt Kee Langooge ss oO V} gieed Jumbes dstote = Eb x89 wlreel Pre defiieined Haile nui bee of state. 2 ete eee lege patie Canege 7titye (ag Siena . recy ee ee Coaretion * = FOU nod provitle meu Aedeet {| or Corre Vee hanitn wh I czy fap mabe fhveny feds I wsorll _applicat I fm PTT ae Pepin = (q+ : =D) faite ~ «tint Foes has Finite numbea of State a= TSPrs en a TF Fe vent ~ Condi tfen | oF Sytem. TE ansjHon Fuce#ien — | 7 = Pm Move Feom Qo0e State do 970-+thes State bayet on, Fopop. ¢) ee phetels e i Dettemine apt FF preaekice i can . \prore gs is Met i vay Shak jffenlaoe wor Boas ———_ + Compudaton are Shea Shes foped I Shing qe provide, "+ y pepe licastes 5 TT { a) -2al fime. syria perht ») Nepsove p2s799 1 °) So Ftwace OP asign y) erie CRA osian. Siofe and explain _Prpplicatise of Reguias Sxrprewiso. A) Search ret people ee 9 Re riaicon we CoG sg a) Content aac lLargusge rehotorstty. Gaile Aubrofe Casthuycton, yi [ay Search A eplarce = [tice Sep eat widely us eol fre I we edit. to Searels pei sre | patteen and wtplace “wit mew text. +) Oate Validafioo! = $$ f2eoulos eaprepin Validate - fepot daft yma suck as ensuring stéing Bo valids * \ % peLr ain. g UN Keates lagguag = y—_S ~. a eapevim puvide + femal [fine regidoy (argu whic VE Clas op Uy, G a = re togn ized gee Et ae Aenea GS 2) pts Putomatea — Coosteucher = —<—<—= ~ Pssules exprenim Convert in rik andenat , — THT Csnwessia0 FE foundation in thenshel Computes Scien 2guivalene br wegulan expreeno and pine antomete: oT v sj Condend pore lergunge ache — ~ Peleg ceprernio? aefire 2 n~egudes LSigege: Et aatingett ing 2 reguloe locusts Bagh ight Ctimi gation al Capabiiity. i o Expleio Chomsky claplficaHon of G momes. | then does Context free gqrammee Sail Lots be Chomsky dermal © form Cone) | fel the Step te “Cunvest Cintent eer goarmmes Ws CNF. U ay| Expleto fo bie fF chomsiey hierarely with - Sritable example. fe Pepleio Chonsry claniPieedion of free Sigee BA Raplaio fp brief chymiry tiers rely wilh Saiteble example. : e — Cakegorys of: Languoge 19 Chomsky - Chomsky Hiewar cha saps the elas 2 of Lares segs aes accept by the ees machine, bere Fr given belo a ay 9) peo + Oneonta gqeamenee, 5 oO b) rype Ceo Seo sitive Gers: a Tyre Caeat Free goannas. JT Sap games is Type? mn ar @ Ty £0 granmac = are - rede | as. ores hi- tel goin 09 Thevers is.) nolrany westicHeo 00 oO this gegen ek, fuje of thie: langnegs Can be medalut ae Furaing Machine”, a UT = baa —> aa gs a 8 b) hype 1 gfqmmac = —- kde called as Concent Sensltive gsammads. | ‘ 4 eee d Used. 1 wepresent 's Contest 7 Sen sitive’ Langnoge ~ es =a , SS a AT te PPE ay WEE na AZ 9 i>) Type 2 Geammet — piss Callésol “as Content (ree _ geamrmes. CO Conteat Feee lan 2 - Can_ be vepre sented obit eenteet feee [2amm 2s mon endo af ots a 7 lho. otiigpe: Shold be! t fype te 13 PS See qt ES reattet Rates Grams. gat Langage desea col bs farlos ee) ee a = FEA thea nage Can modeled} NEFA Pre ce Oy Ghhen dba Gingexh free “92. gmmae Seid be Chawsky oad ferro | Cenf) 2 GWeite SHEP be Connett | Contet face gear ae iho CF. PAS Contest fare Gtammian CORO said | te be Consiont _ Chomsky Neym ae form RCNA Thos Sab ia preat Hs = Cond ifn DA Don — Feaminod Produckeo musk AS generate reeming ey 2S u : 8, me Peteed tae eae ToL wy AN non Femina genesate due nen feemiral. fee ee S Gre allowed —~ ee vt, alloured 7 HE yy . Step e Conver] cra ff SNF aoa seep Doe a Eliminate sft Symbol a= LHS, if sheF Symbo] <8 9 of FHS “f any posductie? fo gegromorn fiem crtat® goed prodyetien. 17 oS step I» earns + SS Eliminede) nodt) Geee®, uselen 1 preducteo, ns hewn { TF ACKG@ Conte” awl, uait y-uUselev pr dy ction mje then efsrifhnate yt. api) acme eee Mee eS — Elirunade “peemtines >\ feo FHS 1 thetsy will exit with eo thes i feenviaed ‘i I z _—__- WG ee EY hows DA Kane a eg sreptyv — ec = Eiiminete RAS with more than o tyre Neo tee minal oo ue ~ — 2D x — Po i | [Pr — Fy Drift 4 rt " Let hod Ore Comporent of pushadssr : eobmater? Eepleto with dtegeqn. go emirgnk Lem peteemicisHt® | Sa eee Pee a chine CeR 6 Usk three jmportacd (ppt of fe® Cackine: | | wy Cpa Stevep PBA te cheek weil fermedost Ht paraotnesnst Ol Fret ces ben rpette ny nisH® g Re? acteem piste Pew - a. { petteminisde per i] nop-ded@ministie PO D | Ets fess Th ts more poweefull | Powes full [| IL poradi ble 2 Et TS Canectpepectiig “ft Bnet posible Lt Conveet evens * Te Geave} anvety OPpOR to nepee ppok Corresp 0074 Cowrespoodirg NpOR. | per: a The Lan gusge the “Legere qx : accep by acerye &y N PPA j z us | pponw "pa Subset Bet aw Sobict — [oF lan accepren | of Lange accep 7 ; ; 6 4 by, i Bo: IL by Neore - ; iT ; 4 - ccnp “ || accep ete as ii efl: si 1b a§ ton catlzol Ween called N | Crlot i qve_ Componeal of i ptomota: 2 fee join with (2 push dowo Avdomaba 78 mode} ysed toto tarp ypge ; - Component - Sas ) Shee . by, Enpot aphakef Syobl yt Sdeele Syen be js t 2 ay or aoete 2 Fraosftten _furetion o fiat siete are ay sei @) = - KK Gaile Sep oF Shade tha Pon Can be 19+ area tein Store's ae pees end a- S poi Fe Conoli tion oF a5 “Syp tern + Ly ot Compr-hton Process - The stot® fo PARK ix Fo, I, We — ele b Ase EZID | tape Symbo| » CE) = ee all = oo ee alte Set 6 fF Symbol] thef Pam I (e547 7 joper Steioy. [Cepek syanbal aaa alemenb flew jnpu4 alphabet . co Glick oS amir sep oF Syrhe] far yon can ntad anol pace Peon faput. Shieg . ‘a boc £ SOO 4 eS Arie Sek oe FS ymbo]- gate Shore ng aa Stoek, — fole of Shek Symbe] > ay reek Condect y Mannprlated Pule toed Ae _ =p = - Sais SSO < SRE Syenhe | = i a om — + SD @ TFea0sitten jeunction i —[S[SS a ie — Pushdowo Aetemet= a eee Component kat tefire hed Jeno siim bef? based od Current SI sept Symbol, = Campooerd = 9) Current. Stepeisi » Lapt Symbol J Neat Shake ‘ OQ fice ee = = SHR 9 esyonfal Comp onent- of POKm CoP “ prvtew . __ Fea rae ae < Cleans Sstappis poiat. Constiuet pea 40 check well, foxmedness of pacan thesis Wel) fer paran HheaB~ weqnh + co S aD LOD GHD Oe D Net well Pern (Pa~7e thesis wlegos + GG) CT GD ty HII JTea0 StHon Rancg fer PON. EC, ©, ze) = CH a) NS pusk © TET Tet (ECA, CFO) = Che C8) 6S pik fet I F u sho = i —— 7 Ut = : : 0 | EC ILE HPT San a accepted EhE = TZ . Fina She : suena tae i a : eee no OTe v CO Zo] Zo ee GS : Fradaphen begean of Ae emini sin 4 pow fer Lol anced parerdthesiy PA oe SIF BP TOI I Oe AAs CFel} iy Cafine COR Gi Uist hese imp on, 7 of POqQ lachyze. ate ow c+) A pushdow Pupoate BB Cov pufetions mode) theft we 2 Stet, tho weceg nee Content pee. 19) eet define by fire tuple tet 5 paclade wStapes ,— saprt Sy mbs) Se2te Symbol, pattted " Stef* 2 teyp O° fined ste ie - : ay pupetry fo ee 2 Steck 6 pesatios —— i TT 2 FoR has shaus al lhe te Sid eetiving the «poration —— eet as push , apis pear -— Stee provide adlali rae] meee a handle 7 - b) Teansihes gunepoo = & — Tree termarton Pines are ceperd an —“Pheee ee 2) Curent Se of PO DY Tipe Sybil bery food. : I Top synte) of Sek. gre based 09 pransipeo fe new Stet, modi fred Stes, Cemune iipst Symbel. Y 9 Defer ithe Vie Non defenci nish =~ 7 ep. eo = a pee ea Pasiele fe Canveet ee) pppA_ists Corresponding NOPE cen ees | i’) Neo~ petes «A asst ce oe etre pauses fl — alot __posstdle fo Convezf en poa Corres pending — gopa. Design Tr hb fird One'S Cam plement ae of bina nurbes. J cee y mL te Feplato 45 TH Hh Stay optics v 1») Cltliple Pepe mening ackine air Cher GB Chuck Fuenizg Theis ? Geploic ny Exple® 24) muttihead TH by Univedgoy TH y Non~ veteemiai Hie TH Spo Whet Gre Cam poomst off TM: Design TM that Cnases at} an blak | Symbe) feo “tape Csi Liogeqm? @ Doo Explem "Halting pablen of TM i To = an efoa] —eumbse of x O02 je bes ovat follom 4. 9 ee Ae @ II ames os Oy | Oesigg Turing Machine de: Pas One's Con lement Jo bivasy — aumthes. ¥ 5 t z C m*hia © ¢ ‘luring Machinn for One Compliment = | J a + Tan sition piog tam — ——U = 1 ¥ VOR o,o,Uooy EM To on Giaeemsehoree Foy GN EER Hh ( 4 (Fh 1. fist {| On AAS 6 oo T8ansttim fable =o | q state ° ! 8 sf " 7 : en 04, Teta, G, ove, | ie, | CER ; ay 7 vane e —— Slack Tir oe IRM ove 8 t — Left Mere od aad eaitieal 2 Ox expla re with Shey 6 phlin, eigen ach Sa) MO siey apfioo : id - Turnieg “otachine Hose, ed | 3 ~~ beed eithee lef} i waite SeFE or iron @ Stay ta Same. poston afte? G wp dot Symbo) 07 tope. > ne Stand od TO | Can Sime dated bo Tucoing cryachine © ow hth Shey 6 ptien j coe Qu aus OR LR : fleft strife, Right lift, sey $ = Number of Lacqueye ce Ceep FA. be turcnig Mackire rem am Lame. TiFeas sien | fisdMon of Tuyiny | Machine’ with ee aoe siete Gigi ap Nerse nus “Eyre dal beity aed — Current dope a aa ob = : 7 ae ‘ my rok tf write on tops A Movemeat divection | + Rrelveintagey en cc eT | =U 4) simp lificeHen : b) EFFicheney, b) Outiple tepe TH - Multiple Tape TH) erten sie of S499 esa? Torr ‘thet user Tro OF mave | taper wie ios independence read] write heod. (2 TAR meds] Morense aehire ability ls Ap acces date sper ied - Componedd rh . * Vee a Minltigle Tapers snus | )Caudtiple Head Tey Sfefe Paik? taut ce pd) PEs sitoor efer oAons Te - Gransitteo pee ic * d=zpe written 4s: T i = Kavangoges = TT Eppes 3) stmplee Pclypei thor Theis 7 Explain. Qs Giefts Choe Jusing 7 En 1985 A method named * 45 lambdo calculus 9 9 Creafeol by plooze — Chureoh jo which Chuck numesice) rare)» well define, Piso fo’ 1986", Fura Og Chine nv Turing was Creates by alan ! seo Irani pulating +» Syenbo| ef — ShA04% > 2 Ul ty oe ee us 7 ; gd Tuna mr Chine ar defined» 98, reaentoHeo of Compoti%4 See ern as ‘hardware in 7 Coaape “Adan Tai , a fo prrpoced \ braico]’ Comp ating Machin OP q 4 This papel The methed Statements 4) Number oF was doo Kei 7 ts ia define ehpithen ut Eells induction ts Hite . ‘ 0 oct prduced oftes _ pteferming ‘ pists number: “A step) J g EET should ast! image ao 1 | 9 7 lene - “ndiatianding : y 4 Not pied “4 emp 4 l- Applicetoo a i} —_—— Yeh 7 - 1 vay: 2 Oiga He} : Comp ott? design vy) Programing Language design “s 2 oti Fi Gel Dodellig enty - Pisce] vamtnges — oH : > Limited Soaps vy None pramolized —- Nate - 0 ' Comp onerh: -of funy achive , Dy.) CVF nae —r L A Tusiag co tmachiae oF theiretico Compudeticned | 4 model that Consist the _falloai Component’ = i are coe to by Tepe at phate 9) Tepe rtiead - dp Blete . / “ ce ey reer es ae TT mee Feavsithien fucctee oe SS - Tape ad as both Tio and Memory’ fer achive. ' J | — - - ee ee ak {ten on ‘dope and reat ————2F__tepe f8 baie. TA dinite set of _Symho) | thof Can | ta) v1 on tape Te I vn nih a 7 7 = Including othee — Symbef used fir procession, SF c ; moth = o Jape (CHeoo) = Head Canny : soa) Reed | - Cae > a j Sy Mave fet right along Pope Symbolica si TSymbo) | t [= [poe piatte “Sef oof shake qhet machine cae [ooo fank fmip st 1 ete ~inelude —_farkie] Sh an __ frre] _ shot o ORR Lepiste = - — sleek fo faflted — stot® 5 ped jh _deFeemnios «Mechs a a oT eects ag oe ee Ze &: ont fer +} ; : Fide , ie “Os Explain __ Hal hg poblem wie wis E Hal t4 mesos we ie eee : thet pwblen- * Hod Hin. Mears prswin sen E ae Tepeke Sil accepk it & i hel or reject (Eo pewet “Gass aut int z lepine wry : ; : i ea jnating | i 7 Hap—ti Hel ting means Femi re i y So-,- Can: we Rove 45. algqxi to : et we tell shen pagan wth helt ow a Cf sy problem — [can we design 4 mepehone hike ; Ip gue py cam C40 find owt qven a pw 9xan Can” 4 pagiam i Foleseus Halt Net? So)? — Jef yume thot we Can design Lachine HOY_CPFD LY Tapeh Progeano : % > Po] nem rare rT tise er ee am posible then we design i arte. pregean om Oy ts T I Het (Pf) em CO fete ? [ Hae Tp ist Cx) == Ht) | or Jeep: foxrencdy Not Halt ast else 1 5 retven, i 7 Tatas | ) a Z) 2 Duivesse 2 talon machine weed Symbe} t 0° Same re aaa one Step, att Fleed Scan, Symbe) qoa ners Ve mete ae ae crud tihesd —-Furing SMachipe 2 *On0.7 be Sim vjabed hy Sinte | heoel Yaring Machioe~ 9 a 13) ww J t = A mul tr herel Turton Oadby re hot sseit Me 4) -One tope “om olfiple head D ffaite Corfeo] rit 7 Tere type ¢ 9) OePeminDKe cud tihsed TH + I 6) Noo~ defromiuste eltihed 4. If | eee eee b) Uriweese} TOU [= Unavesse} Turing pefive as + is | thes ve tical Cdn sttuche thet C90 [simudoted the \ kehaviove of | co thes Machine. \ = Orivee sof Furin achive hss Caled preg rarrm oble Turing tach ine Ug ve. OTe B- SthseF off all ~-tuxing yachine. saul &P te Vat C ia Feqn sitter Auction 1S Qe 9 PX KLE thes ® I Oo iS pine Sete of shre, T 7 Undape of aAphebet- aa ize Spa Compleat’ I ues a | i Caran P43 _ l yD weesoity : —y four abo fer) andes | 1 Compute 19% ses rl. es afys sedan) = Component | = — - Se ape (ee 5) eed 3) Stet] D Fransifion a 7 At (east tone pet “Aeeel fo cae ep tance - LR pee = op ton Bs + Fay midiiple choice I Bravching Computation | ws Kecep tao % _.

You might also like