0% found this document useful (0 votes)
20 views78 pages

Theory of Automata and Formal Language Unit1,3,4.

The document discusses various concepts in computational theory, including finite automata, regular languages, and types of grammars. It outlines the characteristics of different automata types, such as deterministic and non-deterministic, and their applications in language recognition. Additionally, it touches on the mathematical foundations of automata and their operational mechanisms.

Uploaded by

salonipandey8299
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)
20 views78 pages

Theory of Automata and Formal Language Unit1,3,4.

The document discusses various concepts in computational theory, including finite automata, regular languages, and types of grammars. It outlines the characteristics of different automata types, such as deterministic and non-deterministic, and their applications in language recognition. Additionally, it touches on the mathematical foundations of automata and their operational mechanisms.

Uploaded by

salonipandey8299
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
wit £ Bede comeapt und Autonanto, Henig qT atian—> This deals with, vohethen ficient problem cow be delved ow’ comprrtotiow dag aM alyouithin | & . 1) Comprrtational teny his theowy thy VOw , hutelry 7 ing , Padt ouwcl Kb A is Ae to let emule ptr role} doLvole and widths | oe wot Cape i anualvtuble) | qe 4 aun cole HECUHLtve Hoty a) ational [ — This | prwblew. oUt atu | sheblen waif ov Huw a i Re eh Ca ea cally ; PM Maaputosiducty hod: | 3) Autorata, Hew —? Tt oleas vot ti ol iping 2 | ated nag oueutce (outelucta ) nA, ee st aetiouine Lyte of | Mow ourdonnot cay - Automation 7% Ls waathomactical anole of ay ing of OW il by moving tung a sae gan ope nee PUPP E SES ESSE TET CC ese see ese CE et cece Ee (E Peg LEE SLEEP . At each stot of tau pi tA ANU LO LAr Lip, detuumiue te wilt ote bated, wa piled! uate a P Oud ut r OUR tht vomapuct or, Head tun ale aplig Moke, of eee the ao elie oe : tain) 2/, Ors —~ Bh dy] — 7 nmactousier of euturntte autonnuta — a finite wo- of input: | | 2) Output: Finite wa oa ouput fieown diqouct joe At of stn iat dime, outomatlion Caw be Cuack puro Leite: ©) ducput Hulotlow? ELH, dtote oulip ou both Jtate Tr autowrotlon —> | 1) Pulte utente piutte dtate (FA) eas chown antouaca (tack) (PDA) 8) Livan bowndad. automata (ABA). tat k) 1) Tuwulv gp yrocllie (TM) y Hhabet 8 oo dinite ound wan- empty dat +4 . webol ox COHLOtOL te Le Atguaa, (#) Aymbal to watt at : : vo Fy a > ry (dut at binay wo-) » 2D se Sab? (det of Lower tude) - 3) & = fab} (at ef Luapee (et) MN) HE 4 Chk olplabet olan to euapeg? ~ S) $= fo,b,..-9 (Not alphabet dus to inpuatte) Gye ailnere ce diy Ceca ot cect wa) se Jumbol tu cur obddrart oH Ld ~ eadlty uw gives olplrole ue Pe Ey a, b,1,4,8 3 . , iat ~ thing Sit la finite Legunnct, ved alphabet Mo Ubu ugoat as depuence Bf dye of > finite ing tu denoted buy ‘Ww! me Epa 4+ a,b nf ating lepine oven alphabet > $a,b5 2)oio s ; Atuing dafined oven binaiy wo. 2° 105 doug wy NULL Atving Nutt AtHuing — The Seretnt acre srivgl ona olewote a ‘y em) (€=0) eH, olelintel d Pee SE Lblny oe ) dangle ot ord, byte °f Cymbals in gov dtrng wy, Ea: 1)we dbocd fo lwyey | Aweolofol “ |wla¢ 3) We ah, ba, Ca,tbe 7, [wl - 2) oy Boy ; ouithow | . , . e aes UMbtolen input dynabol in dfuut Teg We The putllow p iw w id denoted ¢ by Wpu) i » W=0110 ‘ re Wpu) = 0 ‘ Wp (2) = « Wp) = } & wel=o ew bow 3) oncatenation : a MLO combine two OL “ef Ey Wd, = DUB, , We = bet e [Ww ,0 vo | = ol plurh et 4) iting. TL WinoUAd HEVeUe Lynbol iw a ee tag fit we ty ue y ey | W= aber w*= cha, oe en M4 De oD od tuantea tr by : y Kiana Uwe > tt wos indenoluced, by Kaeue Makawao iy Gf soo type: 4 Klee Akon UME atin —> Ot dso, Leb which cantons oh Lenvg incanding empty UF wall, denn ~ tt U aed } Haglan exp sion anh i” wg tel by ot, ~ 7 fae )e= (ol | 1% 26, 041, 00,171,100! 2)%=fa,bot 2 $72 £6 )0, ba, tm, bow, 2% baba. . 3 2) Kuen pauitive opexattin —>tt dé a Lai vobiitle continua QU det exeludliing WL OM empty a ond od vad yet | Ey 1) = {0,13 1 $2 $0,100, 1,10. F 2) 4 =3aj HGF e {0,00 0b» Relation bin Kleene Atak cud Kleene posctive> y 3%. e+" a) gt. g*—€ Fouts of Hoeling —~ ; N) Pregix' The wo of daa og Ayvaloah of piven Livy ‘penatadl by Purfer (m9): oe w= ab Pasegtr tm) = {¢,0,ab,abc} | | . . 2) OC Te wo- of Aro Ling Ly rab. of gov any | Deaatedt by Lappe (ny: fy: w= abe Uuffix (nde £E,6,Cb cha} 3)PH open pret x: The wo of Lrodling Lynbal eee Hue given AtW fg: we-abe + Pine, Prep (w= $e ,a', ab} 4) Pope duff the Wo- sf tral ling Aywabol Let the given Lening- Ea w= Ube Pooper, du fpr (n) » £€,c, tb} S) Auch - déning : A Atria thtalnad ky Hauoviting preficy, ou Ok a” givew denny W duub-aduing = W~ (Pxafic, duff] Fo: W= abe Lubdtring: Ly= be ‘I $4 = ab $3=b = SA Inn any hod dubaed of a, out. ) quinunsny aprat wt yf ! alpWabel thew 4 4 AYM)Y f J T,, vel tu le. qe Lb OW ~ a (Lo et) wehane & low Foun at language Te i o a ini ll thet . 4 aww yumm me cit by % det a JUL, ee 0 Lay yea x = Ha pees ging artepe +h, ~~ Tee wen etne: - Netoutlon — | 1 S dongunge NOMI a wg (LUM) Hw te by mocine wit = cputaiw det 4 - | we 2) L(G) ) du prawns, () Hae onl oft Lug: | 7d ‘i OVO % dot ° atau Of Lyn, ton be 2 1 mo acagiinls es) 1 tk) Hw cape ach by a Hegulax expres Eq NA Lay WR aa UU Ling veprrtent bias y no $= $0, 13 Leé* Le (0,1)* LUM) = £01,005 110500, J 1.) Lek dering 0 and, £ with ow equal no of cack Z = (0,15 Leet £(0,1)% LUM) = £€, 07,10) 000 y1100,+ + Pree eeeeee eas 8) The det of Utring of 9 tun f ending with II a & = {0,1} Logs L c (0,1)% LUM)= §€,11,011, 117, oo1r ON, (ON. F GHamman —> ot specifica the Mull Hand 1 Macuned “to yunvode mater (wo) of Oo long uo HULL ABLL by L(t). : Tt hos four : h Gt= 4N, 2,8, P3 WILE, N= Now duunivat devertoate) Cenpital Uti) 2 = Touminal temoll Urb OH nuance vuliAe) S = Chant symbol Capita P= Proctuchlon bute (x P) Eq: Fou a qeven Promo font Hw language a hig AWWA DIL G = § 83, fa,b5 5, 45—9as S— EF} Greommat Was 4 tuple | = gnr&5$5P3 SE it accepted by gremnras, $08 7 aas AAAS Yaanags 7Aaaana:: L(b)= $6, %, 02, AAA, HAA +> 5 L(mJea*, nyt oA 5 puadliuctioy S—> Ss [23 IE find the guy tae nea by the promt Gr = {9-9 88}oa) €} Gyramunan hos Y tuples: Gs He 5, P35 Neg; eea 8-5 PieS7SS Py = SI OK P,= SE Py SE UW acceptable by groan we PF, = $788 + aas Joaass aaans LCO)=§€,a0, 0000, 000000, -. 9 L(G) = § Cum)” nL} Chou Hiewouchy.—? It Wb 9 sign fe clade yin neoMnnta curd Lou guLod dw ter | ence nee { fy ‘Dds whith Piascuibe Coupler types of dowgui oat tow be apace foun pr ‘on Uw ne esa na Maat OW oat dy pes Be “thug 4 : wrtol Lote auded in a ack aan ol ate othen. Pere eT eee eee NS eyelopent § OHA ‘ oy moore amd howg age woods to AVON Hiowely 5 » qroweae a divided wag NUM Lng 40 wt : +0 f . = xv te niuted TM) MP) Tupe-1 (LBA) m5) Type-e (PDA) 4) Type 3 Ceeutritted PA) ALU Oe “Type 0 Type ' Recumatve | Coutert deuatiive tonne a Ty pe 3 Typ ine ve ow exprestow que *] kegutaun language cuwutgtnitted’) veeLustve 4: eRevaguctatd by twig macKive) Comterct seruaitive OU UA a4, tnceepted by Cine art bocuaded atu ~ Coutert yee TPA AE {Accepted by plu, Lown eanue —_— Raatricted les Lot language (Ace ped by 4! inite els) | Taype-0_Unuestmeted yaa, —> Kong mpi gt HeLOG uined by tuning machine ts know ag Type-0 grower 4Tt u pda ane NOAA Pat accepre ol by dtuuing kT a ado kinpvow ad Priodle er usieostil Gram mast oe Recwuive bArumerbole dan guage: B sf Guimnnntt prLoolLccLLue fox Type-o is given by eo nv oT ONT (hv coureinattow ef fe wow - terwiival aud deminat) ’ whut, riot) 4a greader Hrow | a) AtLeat our Wour- +esmaiual ow Ll. S x ~ a TE a SE viele, ef D $a— bb $,A,8,0,D—NT (vuuable ) - Saha ak ob ~ 7 te YW Bb — bh > S) ta aa ~ 6) Aa — Bb ~ yC¢—D me Tipe 4 Content deudidive Gama —y pwr ta,” ade ua necognines. by "eT accept coutert deneidive L unge , Yk Grout pool ctlow fou Type-| ds given bye Ten F a : . * Chau courlol oto sf now terminal and terwuivat) ~~ Whe 5 > ters tI _ 2) Atleast Our wow-termiual OW LHS bd Eq USE whexte , > DAA Aa ON BC sDhe NT Ww) ° 3) bB— Cbb 406-7 > yy BD ° )e7e i §) fa — bbb ~ > lype-2 Context Grou —> automata cure ox uoLge oucte pled by pul olQVOW ° pattie aA Type- % GVOLWA OBL” eX Content free grememot pups coutext {ree . Jongunge > Gamma production {o Type & As given. ey i 6 | NT Tangy comb: of car wom ~ 1 terminal ¥ Kongunges accepted by jimte automaty Vie kKudvow OA Type- 8 gro: ¥ Reguias FrOUMAUADHL Mape eset Hamibor languages: 2 Production Yule giver by a—P bil b oe _Alugle NT Ainge * Regular grrosianay wa wat + eatricted grown a NSE ; wl, aso 8,4, B-ONT a) A-08 ob 97 & 8b —€ - e e eo e Sa - + be « « « « « e - ° * e : ® « « « ® a Cinite Autovuto | Linite State Machine CI tos wipat mecbutcted moolel of CO putn olaviCed fourtowoctic waonchine) vaith descuete, an + (output) Atocte, Oncl Let 6h Arounei tO uy tote to dtocte Hat occu OW b aque Aydt peo alphabet (2) Th accept Type 3 (Regular At cual ey rredie cus) qt wi atded ad ALY hs teat , Aertead, aint ADL tf commpilan , pacthertis Wr maasheling eoidin Vouification, of bovueliy 1p. olipctot virelid Tu apiesentetions Oe? ‘y Goaphicat epunenstotion | [THansition 2) Toba. foul [ Trousition toble 3) Mapping | | Peansition fumetion {mothenroctical model Moolel of finite Automata —? Input — aabo alo bl olal + ae ola gran Conrpomenvth H Pinite Automata —> tounge used to ') Tnput_ tape —> ft ua weno cota ree iw Cet. Each cell Atoue dnpurt eS it ot ol a times The Lupe onal wud — any WOLKE Aiyoalooh te aie P 2) R |W) Head —> Tt us dued finite control to was Sree Pe to PUGht dw the input oe 8) Rinite Control? Pt contra: the entire proces of a em ou machine - + Bods the i t tape Riw head Gina Peat eae eet kTt dows Ae Head CoH *It ttbps ne coe proce! whew R[w ea yore lo the cud © marker Sywabat uw the J tape dato ln tena porou-ug (in de"). A diuide automata has five tre Lu P={052 8, $6, FF wohne Qs Ptuite set (retuisi tlow® dAtactes Geigy gy) ~ Finite input called alphabet =Ttowsition Juuction where $:QX%Z= o> Tutdial JAtartt dtate whew qe EQ = Pivot dtate aud enrote d by @) ov CA whe 460 Edevmrenta Pinite Automata tt 44 clasts (ed wto wn a out ypu: NTuidlat [étauting tate ayAceepLounre dtate 8) Tatoumediote state n) Pinal atate {Invattel tote |Top dtate {Dead Atacte. Tromaition —> tt weous wmowlng fom, ome date to cunothnr atate by droaltiow function S'QXe8 2 = £063 eowuttinw dlagran o oh Xb) wo” 6 (9 =4q) Spb gs - S (gpa) =42 Toanattion Yale: 6 gub)=q1 ae Iyput , $(q2.a)=98 cs 4 Qe ae ©) 4 5 (gp 12) = &) 93 a ce: iat 7 8 we Pate Automata, {octiow—? ng |) vont, proceso puograne ng BOY oy BOX bole im of oligitat cireutt: (towloinationah % Synchron out) mn MIC iy uM ly syed Ie “out pa 3)KE LCL RRL ais compiler: ; ee pods bueak and teu compiles ") ante cru dig » Electrical deo tow]! Cote os SS) Tet editing , soning poset watch © sy UY Se Ea we Acamning Luge pooies af text Ad wel = ne a OLOLUMHOUAL oy wool, wale ond pr t wochine ,t0U wathine ,ATM wa es vats diaite dtocte Like vencling wrocchine f Ine, , terol} fic etc Like Pockwrouw , Praaule Hu ub ,Pubsy ete: 8) Grout desiguing: Finite Audomator —? Limi tor ond Ndinateol a) ea twat without tourp “ mn (44 a Atm it BE gh oub.oub LU gtve executes but Vi we tunpasied ati Ake, ee sW7M neh ra tae May wt otc tk vob egypt 3) duos pon accepted but wou Unrso poor not cu ann power a, be caccepted) aaa, 00%, -. Nour tinnax power Cnet accepted) a a a lg She fuwk , wk 9% wd wot re becaude PA Caw wot reeoLl dw Aleve orden, dywebol tn W (douvit to «tack ) 8) Seotabiltty: Jt becomes transition, hoe pene ft agi Sa need of 1) b= fan heel au. br not vegan Lan because Qua FA eon wot coouar Bea cout bag a Lb a) nN | I) No SALA duppoet (No Porallee procesdiog J ; A ,7? Pp eee TESST ELLE ESE EET a off . Fa without O/P FA withe 01? _ I BEE NFA Mo Meat (Reteuminutic (Non deterministic Tet et Fiuite Finlte Automate) Fructovnato. ) Acetone of AbUUg dn Purite Mutensota —> [EG w=9 ul Ep thatk ober Upwey oe ae accepted oH not ve ata” Prewuition, diages ") goUble 2) adbob f 3) aa bhan 4") cub oubo-bb GoM”: Transition table : ttate Iu ee Ye GY 93 H be Vv % 13 WW 93 ‘bp Ve \) we aabb Row occepLOuAce 5 & (qo.) = Ed Chote geo ge) S Cy, ,aabh d= & Cq1 Abb) > & (ey bb) > $ (qa ib) > pee fod ad acceptnble &) W= ababo Foy, aecentonce , § (g0,W) Je S (qe ,ababa)=§ (J, baba) =S Cqp aba) =§ (qs, ba) = § (qo, %) : ma ‘it da wet acceptable 3) W= aobbhan 8 (40, aabbon) = 5 (41 Abba) = 3 (9, bbox) = £93, baa) = SCqe,aa) = lq) a) a “Le te >. JA OCR ALO Le “) We abouboubh § (qo, ababroh)= 5(4q) »bababb) & Cy, cba ) ~$(q3, babb) . § (qo bb) = § (qr, bb) © § (q2,b) , ~ . ° t! ache not acceptab lt Aetuuwinittic, Pinte Autawata (DFA) —> lturt turt 7 dinite tote machine whore {au each pais atate of Noein wife ond writ ‘Atake ivputt dywloot | fame WO ALMLG LR wert tote” : upsentoclonr pe — Mathemratt coolly DFA aa ee TAPL 7 : mei. S555 65 YAW » ia Ae fue gt ay Eeounstt ow Atate (40,9 1s 5 = Finite 4° alphabet input 2 Founton fu S:QXL=8 ye Initial Atovtting Atte 706 & f = Fuol gtote vonwte qi? Q eck cation of F A— \) Trawaltiow diagram &) Tuansi Lom tate le Arceptance of Lhuing in DEA —> SGew)= ds Th DRA the hing W oven mpiet Olphobet 2 44 accepted by MUDPA) where LIM) = th], 0 € 5 Thoe ve Huree wvetlodd { acteat ute? Q) By din Lequence oliocgroun wuethod b) Ry auing extenoled treuuton method 0) by Ming Ve dai method EM (o=V4 Fg: Cuticle DFA check wheter pelouudng DFA ering accepted on Via . 4) io = 100 gio @ 05) a) Woz [N01 ! = Trowiitiow Tagyaw | 31) w=100 100 tu": State EC Geli Lo Lb fe u + iy 4, bv ow 8 Mh iv = [20 W\ Lequenstit metho = 94 =] 2 CW d-y » wong ub Opel M2 Extended transition wettroel - 6 (gm) = 4 § (4,100) = § (qx100) = $ (yy) =H ding us accepted M3 Ve dah doo (per) ey Chere gant) F fia Yo 100) = Gm G8) = dt 2) hy = 10] 1 st ° | a “Sy / / (vB i: °) yy 3)wet00 | 00 KW WW We On At aA eee GFF S ECCS EFLEESEECE?S Police. pr oles aug DFA } Undlarurtauncling Wuget aa { ‘t ty string. me proc He “DFA {er maivawus leu Apptermine iti interme diccke vddad [rep oud ° K int store vf DFR a Apply each wart symleol at evouy bhete OFA: . a . bq: ))4=404 Pind set of ating of 2 oe "5 mn L= $e ,0,00, 000. Tb: a vi ei @ 2) 2% = {0.13% L =i6,0,1,00 01,1, 10... 3 8) 27 = 10,135 L=$€0,1,00,l0,01 ... 4 To: oo a3) G Comatruct the DFA thot accept the, x ~ ohitly Lontoun det of alt string With ou Wun ber 4 o's overt otphabet Z = a5 js git ata in, 9 L = fan, arnn, ananna,... 5 Qa | Oe ele : b Dug 0 DPA for add wo a4 over ayphabet a = Fag Mate | Input pagal jae... 5 —! ” Le 1 e208 oly ep 1 3 ich accepts 0 ef Or Devige DRA voit, CEPI Maud a uri ee 1) Cautoining o Leta, ab, bo ybob, obb,....5 TD Ob LQaib ae ae Taput 9) Leading withe L = Fo. CW 1Ab, abb Aha , Arb, aba , noob tee wd ow pghbie S Ly ; GG ®“~_@¢@” by Do, \ Wwithoud dead state AN Dead | 9 aa Pee eceececeseeCaeeceeeeeeeeneteteeeceeaneced ke é§ ze ea ts State \ Tapert | b ) ue @) | bay 3) End with & Lz fa, oa, boy bba, aba bbba, a & Duin DPA fr tang usge over 3a % = (0,1) ')Enolt wit [4,0 2) Ending wit U ey witte | Nt: 410 NO, O10, 1o eo10 08, LO \0ear 9 J PPP PpPrvrvVPFIPVPPVPPPTPPRPPRTPRPT_R RET ATER Te? oe ee ee ee ese eee se es es st aL Non Pinot tale e- > finat ttate 1 | | ao a enna 6 X Evolivg worly be si ; 27 {\V 2 La {Ow tort, oott Forts WT! a TD’ Row We make jot tocte — Now fiat atate aud vow fUAoL Atate — finog dtate wow, wot mdieg witty {f J | L= 406,01, 10,000,001 ,100, 101,110, 1010, 1110, --- 3 TD: 9 , 1 ao 8 —4 ie oes a —_ Starke Tuput ee ® oh @) Is a4 (D) te 4a pPrpePppP CSU CTI CEFF ELEC EEL EEE SEE EE? \) eras volt, 10 03 ae L$ 101110, 010;1110,0010,0 110; (010. « 3 Gf is “tf oj , i @) T.T = State Tkput _ ‘oJ © ou ® 2 bow now, wot ending vith 10 we wake qual glate — > Non frat dots and won final dtoct, —» firal tate Lx {00,11,01, 00,61, 100,101, 1, ON, INT,» + Tbe tS IT Sate @ [+ _ @ Df @) }o hh Q Deaton a DEA trot accepts dot of UL ata Hrot coutaiur 0 and 1 cmd encliing with 0 0%ud not eucllig witl 00. ( Eudiug with 06 Z= {003 L = £00,100 ,0100,1100,1000,. 3 Tb: re . yo Q? dy qi ° 5) Ye TT: : ate State Tuput a eS | Ua @) 22 ae ® now Nek sa wrt 00, , tote Furot gate ——> Non- Non- fine wtote — Firat tote Tob L=f{lo,ol, 11, 010,00, WO, T, TOF, WNIT, 1010, - OPP PETTITT ATOR PPP PER Trt: Ohacke I ve ut —— o , (®) qt qe (@) qe ) ye aa w DPA ac a ling oll dtring £- 10.6) and eign tw DEA oceling a m with ob noting wrth ab ‘ = (obj oo. aah , alah ) aaab, hhbh , baa, abab.-.$ 7 1b fon b - Oe ga ®) Tuput | bo ur te {) 92 ods vot enclivg wrth ob, Biol Sik ——> eal ad dtate Nor aol ——— final tate L = fbb, ba, O28 , bab, hbo bb soba, + 3 ~ Go Bo OO OEE EEE EEE EIEN Ja Pe le foo, P ee) & | FU state Tuputt poser a b @ eevee ® eee ® bo ds - oe & Dui DPA over alphabet o> fol} 'NYEvew wo i Oe W even wo of ("4 oe & add wo of ie A ddd vo 6 tule TD: ho af o'8(a's) ua of 116 C'S) feral tab : on ruew even te He 0 (D) evew edd 1 \ _ rT odd ae 2. ada edol t Ct oe Mol: 1) Even Ot Ye Even 1% L = (0011, BOIL, 000011 , OOOO"), } S (qo) = 94 (hove gy> D0) Se 000) = § (qr 0!) Sg. *$(q3 1) 6 2) odd O's Ye odd I" L= £01, 0901, 0111000001, O*1II!, 600111, Acceptance ° oy 0 fh S (gow) “te hone 14° pv) fy . 8 Cpn 0 = 8Cyl BM, WD) a Stoke | Tuput 2 § (219001) = 4 (4y, 001) = = $ (42,0!) ® bow Pie ® Ls . L ®& 48 4 @ |e . vr To design a DPA that canceling, Leb of Ol uf — dino) waite TwuLe Lonarcutive L={ 1000, 1900, 01000, +» 5 S(pw)~ ge 4g" Pg) § (qo,100 0) =5 (qo,009) = $ (71,00) +S lp2,0) Sak Lb Pee E IEEE? \2 © ) 2D ORHow DEA over £= f9,b) 1) ALL ee valtly bb je hb amgvolrg 2) ML ahr aly ta an dubetivg 3) te. satel witly doe 1) ttut witty able L= {obbb , abba, abbb, oko, obbbb abbab obbbe,.--/ T.d: fab ob Og 98 wo G 2 TT. Sate ame ® u : yp ® vot ® boa / ® |» » Acceptance : hy = Abbab Syed =u (yt {2 § (qo obob) = 5 (qr bbob) . § (42 bab) =f (42 ab) = & 43,6) = 18 pRpPPpPPpPPpPr?rIx?zx°7? ~ a 2) é= fab} L= fabb, ababb, abbab bababbab , - aod T. TT: State pinput S b ; b gn b 6 mats ve to ew ® |» + ~ ~ ~y ry ® i]t & me Acceptance! aa Pe (qou00) = 44 Ga 1? Pes (qe, bbb ab) = 5 (q1 Ambobor) “> = § Ur ,abbab) ay = § (qr ob ab) nd = § (42 bab) id © 543 0) Pe = $356) . } = balob, aabababh. »- j Wing 3 l= anbababe — 7 Scope (4g 1? bb) 28 (qr rbah> : $ (qo Aabobo Zse bab — =§ (42, O.babb) 7 “8 (qr + boob} oe = Slq2_ vee) = *S(q, bb) = 82,6) or ai : & Declan BFA that accept a lang uage Contal - ( f ma alning —_ i! UL ddriug whith ale dive by 3) vg U an as binary stn Ava thi. a DEA over > | wisi divisibility by 3. 4 > $0413 L = { divisible by 33 L- {UON, HOT ,OUD, ter, Noo, WIT Jd Possible wewmainden: a. 1,2 Stade * 69) =0 @) =! @ -2 Te CH: Acceptance’ Q? i ace 0 gut S (qsM00) = S (qr, 100) tT = S(Jo100) Mote; Tupub = $(q010) Of 7 i © eer | ®©|r v ® ut O PRO Sow) = 44 (4 =p) ,SPpPPpPrpPrvxeFeFPFerePrrTPPRPTRARERTARL I 48 G Construct @ DPA fo" the tau nage L= $4 / toil , rod Sh Ovex, tetiyy unput 2 {0,123 as {divisible by S} L.= $101, O101, too Otol, IT, OUTT Possible Wuacunder® 0 5! AE oe ar State & - 0 Acceptance Sow) = Ht (a = Jo) S (qo 0rtt) = 5 ps = S(y, yet) ry) = Sy!) = S(payl) = 4 ho Aewi fe by oven birawey inp ay 13 L= f piwisibl lity by W3 ; Lene AL ga vee Possible wwrciuden: 0115243 Stete: @ <0 @ =) | Do : ® =3 Acceptamce: SCp Wd (20d 5 l4.,01000) = b(fo,!00”? = §(41 090) = $(1229) = §(te 0) ‘a, oe Be EA EEE EEE IAIN Q. destgu DFA = $013 L= {1003 Tb: @ 0 om -that accepts dang cnjeny oe ‘or a eer we [oD hy fete fe i Bly =ye parle) © 7 Styertod= 5 (ay ,120) &) Wg = $ (42 00 @ B44 - $(43,0) @ w "4 = 44 we @ ~~ 2 & mee DEA over 27<0) 13 that coutarn set ot and |S whith conta eubctring olol i I Jf 101010 10.54 eon 000 60-008 “@ 5(q2) 0° Jofo/)2 @: 010100) 1olllo, pore e = Ti wpet a Olu a 28 Cu shoe 7 a3 4 ~ . 2d, o1o1) 7 > S(13, 101) Ho | bi 4, «$y aap 14 sd S& Nuign DFA over $= Sa.b} frat Contain a st nhg pt thee tontounlng Sub-Ltring boa E> fa,b$ L =f bbo, Anbba, Qabbbaba, bbababhab, 3 bona (i) b Qe, (Jare “ka. pila? w= aabbbrba, “feat & (qe, aaebbaba) + $G,,abbbaba) State “> ih SS = &(U, boaba) © [eu i greg @ lv u 50 aaa 28(23,ba) @®™ lo a “1G ia B 99 > % DRA over 290,15 that conta £et of sty 6, Dew ~ OU. ota doe uot contain str 00 1 Z- {0,! am HOO, UNOOIINTT OOO, - £3 o,! CF ep 0 = 9+ Ct =h) 8 C4 Oolt)= $C 10H) =§ (qo NM) = $§ (13, hy oP be foil Lz {itop ,od00t) Mt, { oe eo oe" 5 (qo Ht Stat Tuput “ oe 5 (yp, 0D) = $ (qe 1109) ep. Seu”) = $40) © q2 Oe be Le Olt ® cae Y WL Ovex 2-49)! OQ riven pra accepting forLownng Lounguages | no. of re be multiple of 3 -of I's Gy wot mudtrple of 3 ep 2) No \) ve gynpornr0ter,ti0 Her TON IHBML COLT 3 Poas tole yewrcivdee * 0 \ 2 v » 2 Toe ° a A ! I $e 1 TT: Acceptance ' grate Tu pot § (yp YO) = Yt (ue) —— oo t. Spe ND = $y © ye 4 = Scat) 6 yo 2 . essegedcé weul bebe fy Sil Sew Oy AL } W) | a Acce e* s+ ’ w e | = a $40.0) = Yt © aa S (qos) = S (gosh) () QO Tee (&) 4s ts 5 Kuaw DFA oblovol oven Et aa * olin act ma or 2) A L) A ALLY curt oiu Sa kung Mout , ae Ato. ng ee two \'s contol ang atleadt +100 0 § atwuoat +W0 O's with £ oud atring da duis {4 ~- Boge \) korg okwsat © : L= {0,! (00,11 000,111, 0600 1111, 0000, 1111} | oh OO" @' Ooo’ DPPPPIP? > cs ~ . @, $ e@eeeoe| 3) Atleast Tw o's 1 = {00,0011 0101110 5101 0000001" er LE CO tote | Tape Acceptance: = o 7} ae Se Ge @ Ne 4 5 (gos 1N) = SCqry = a a - (42 411) 4 “5 Cqas 2 “4 wae dd da boty two Ie L= 411, O11, 10,101, ptot ool! 1% potted, W000. j T.bd: 668 rT @ ae faNee. | Stat I oe npr eo (tb) ® ee Séplor)=s (qo, told ® qo 4 =$ (gi, 0!) @ jt t Sp) _ be nee — TD ; = ROBB fl i J) tT Acceptance ' Stote Taput B (qeiw) = UY Or ‘l) Sic Oo ' ) — 6( » 100) 5C 4p 100 @ t de v = § (por 00? © | evn ts lel @ 9 On * **) Atowolt tivo O's L= {0,00 07,10, 000,110,101 001, 2609 Tbs ' Q' Ges! SOS, Tr Acceptante State r Stew) =U o,! : 6 Cpoytt0) = 5 (yor 10? hf =$(qo,0) ® we ou = ao bw S) Mok pith 4b divisible by 3 L=$Ql1 [locom root, nOOl, HOl, TOM, .- j ee Stgestt) © Eqn ® BL = § (4241) ® qe qo = do - Oo Ww Ye Now Ketoumiutic Fiute dutonnate (NDF A [NEA Betroctuclion—” cownot detouaine thre wrt Atote exact ; apn reacting ow 1/P agwalool pom a particrota Atte Aefinitiou— nen du qinite Atos AOA ech, pai ° cupeont! teabe und applet ayrbel ror wae Hon ove vert dtate: YF os" E Lunes 1) @uittol atote 2) Tuberc cliocte Atote 3) Funol dtote 4) Tupuk agoitool 5) Tramaitions Repunsentodion of NEA Mattawan, WES hou fue tuple papanenied cu MH{8, 2,5, 40°] vobpte, > Pinte det of droumattion dtoctes S- inite aut of anpholbek tupat $- Frumition furttion $°AXZ- 9 o> Tuition stile f= Pivot state Tf A= deqi ge Hew pouible trawuitious: 2° - 23 26590. 92 Agents Ugorged tO Bed, Cope ges3 Ahenever Aang uae accepted by NP A- yMathewsati cally Lang age ore epi by ME wu ole furs d ) u a] whee, Leys ta, Yr wd 4 i] EM L fg. theck Qu Yvew NEA 0010! us accepted ow vat NPA Ee _ Extenolea vattlud dH @ we O10! Acceptauce 5 (qo1¥0) = 9 8 Cg 00101) = 5 (ty yd, 9!01) & = (Ug 9 U0), 191) = $ (qq, UM 10) «$ (oq) 101) £8 (qo) ¥ gst) 191) = $ ((qoqr) 01) 5 (Geo ¥ p,9),") * (Gop UH), 1) = (gens y!) = 8 Cast UG!) =p {how os 6} 1 deguinuce wortiad Hy MOR w= 000! Ds © 1 a , -o es VV \ b £90913 $9890} 43 a 4 acuplast »/. Aeuigu y NEA——> Rule 1.2 ,3,4 ut dame Os DEA 2A)YThwu us uo dead dtate iw ‘DFA ‘ome Hut 3) Apply each dupud cymbal ow ital dud (Ok pnrt Yd u d dote - oy gee me Ouign NA that accepts det of ale Mung = 5 Y4a,b} 1) dtayeting witty Ay Ending valtly 3) Wutiuing & 1) Atut wort ov A E= $y OD Ob sane 1 00h 5 a a expsueLsiow: (04 OI vecetd aD fb = Tupur tote [al “6 : @ jub 2) End with o | he fa, anv; ba, AbD) - Bibs (atb)* w a ab Td: ¥f'= @ TT. Gdote Tuput x b . unl © eee ees eS eT EF STEELE EEE BY Courtaciut a i 1 Pe La ah, ba, a, Oy aba, rbb, dba , 1 AR Cathy a (ath® 6) 1b a (a dar - yea TT: Hate | Tupat b Yeord Yo ub - (70) @ SG Aedign NFA that accepts vet of att wlriage avert Lo lute D Gtateting vattly 0b 2) fudling with ab 3) coutotlirg cub 1) dlerety vottly ob Ly fab aby ,abb, aba, Abaa bbb | ! RE’ ab (atb)* . AE f ab wy ~ @* @ TT! (tale Juput - an ® | Gy) - qe @ 4 bo DQ) Fudd vith. ab A: fab, arb, bob, ababacdh,bbab,.. . 4 Rie: Gathy® oho | In ben am bY tog * @ Lt: Sate | Tuput ~ a b @) | Veet Le @ f - be Bl. + 3) touterivd ob Ls Jab, aba, aab ebb, bab, ~ 9 J R.B? Carb)? ob (atb)* arb arb qb 6-H b 6 7 Note Trput __ wb ® |i v @|- @ ® qe tad edgy w NEA aoe cuccepti with 00 over = {017 dso, a0 o100,1909,000, 100, 0100+ Le={ RE: (OtID* 00 Lo: f° TT: Mote Tuput o | —@ bah b ® Le det of all sbunys \o eee ee LE LEI ELL EA & Ouaw NPA to occat At Hung containing Hae Aatbat stung oto! Lefotor ropor,ooiol, RB Co¥t)* plot (o4l)* a Th Qn ond ha" a hy ° i at Gy’ (1) TT: State Tuput = 8 4) ® | tye © - Ola - | | © yyy § Atigw NER Haat puuitive atnng | wd fete cat walt a . L= orb, barb, arab, ahook , barob,. ..$ RAE: (arb) * ob eB 9 oO @ a Lote T Acceptance fm 8 8 (yp aborb) = § (S255 brads ® wed + “S(got ® v © - © - PLPPPHPIDRIAAT IPT PPR Tet Tee re! NT I tee \6 ie NEA ovey %.- 0.1} duh that 5 ww ol Ty. u dubutung ding Powe stats Ve i 13 ft 7 } t= {0,01,00, 001, 101, old, 4 RES Corry® (0401) corny ‘ lee Q ~ (.)o,! TD: - Ly °_ € ‘a Ae SS oe YD- (13) TT! S4ate | Tipu _| © 1 € oO twist - @® |- - tt @® |- vo ® -~ - 44 ® 4 - wan nw ae Oe dings vee 2210.0 a a ae ve O's OX | eh L = {00, oe Ul, 9000, 1000, 1110, 00111, j Ke (ott)? 004 UE (oat) 7)! Tp La = ha -« ay NA tis) LT: Gop Tap ® {pend fed ® | v | Ojo v (93) | ae L § Conctruct NEA thot acerpt a. den Oven $ =f abo. 4 t} Cudaiaing on cat Ov rat Ze{abc.. 4.2 43 L= Lut, vat acat, ota, ...} KES (ay, 0.42% cok + ot (aib,e- t)* | Tp: Corbet) lorbye.-t) | PPP PRAT A AAP PPRPLEULELIULLAI } EEE IIIS & oi apr oe { binauy Vo paitee He yout an ADIAR Z = 40.13 L= {00,11 ,0110,]00!1, foorol,oo11ole,.. 3 R-E' Ocott)* o 1 (o+t)* | Free be oO Eh ° 42) ©e2Oee Ol blo DPA fe NFA DFA whow, 6 QXE= A Ee $ gna) OY ATE hae dead ty trap Utote- x THonition ww a dtate a a, povetieulon wert choke i. each IP dy ubal dwt, it Le dotewwinisdle- kT Fagus on al ae ox NUL ate trongttlon we wot dee Te Lb wot powerful eit U dif file to comtruc #Et ia a compte tints ¥ ot meres war” Space si, out T}P ¥Cowh be ouaverted (o NEA “oon | i : > ‘ § N kit Ad | f Atonold fo, Now ° hofoumiuurdie, Finite f | endo sup, ¢ M-{0,%,6 ° who, Saxe 9% ° C4 5440) 9 Cn) \ KTH clot not have dead % @ trap Late ° The trowaition {uum o tot cow be wuuschiple wat vu each T/P dymbol hence qe it ib wow detouminist - AT/P aywools ae used at - stoning unl, enolivg Ato 9 *E o4, Null subg - drandition Ue sen” ~ acu powerful Hyow DFA tot db eosin, to covstryutt xot U uot complete On Hague to com pute Hk Tt oloea’t require wax' PTY bad oui Lid to ques TIP A Cow he converted to OPA “pai bes eCC CECT EST ESTEE SCE CECE FEE EHELEE . | ¢ 0+} wy £3) Mas 4 Yoda, b Focuvolence of DPA amd NFA > stau M, (DRA) Quad M; (NFA) we A t the Acume pptou eouivelendt u both, ate nr f L (M1) &) L (Ma) oy L(aRA) > L (NFA) fg Pe det w-ololo!l jot, oth accepted Aas laupuage Lo, / M, cue eg luvaleut My Oud L mn dinstt wo ftv | ail 40 © foun yuog? Firite fuctomata with 0/P ——> We hua fA C Wid vandhrenatital wrodel dad 5 Aad ple M={0.,£,8 4,078 without ae Low about o/P- Atte ey oy dteuing ap PA HAaches i an Mote then Auving 4 “accepted by FA US WG The PA with OjP 44 called cvONLLU eH xT olomwd contour pans Atote’ + Tt awit be wdeol fou Language acceptin AIt provide se J ro oubout Hue O/P- *Tt cnr be udced ia LOA eLLLoW %4 Lamguage- Tur oe two types a) Moduus —> ft Wo fenite automata | ot combos det o Lote "lin WA toe ofr | Lwin oapeno dw punsent tote only Mathematically , Monday MIC das 6 tuples - Mr36,2,8,9, 4A} VAHL , A=o[P ee Ax 0[P dvonditlon fowtiowd® a> ly pPPPPPPVvPVPRVPVGaQOaPPPrPRPRreER eoev,anere Ruouption of Meoiey Machine —> 1) 7-D: ye Orr ya |P nwo (oie) eh Jer) a Y 7 Koay DTT! sdate ae e/P rue (3) the ‘gn Ob Ley M/C 0 ME ol d= foul Bling a lease as a binant ; 70,152 Possible wewraiurcler oe Possible state MYoLl ot TD uv Y TT: Sdote ) I/P oe ee CeCe ee Te LOC ees g Aug a ranonay le fe noudue (S] oven bivary rofl Poddible OO Spiess (Ount eect ah Pesdib(e state to 4 92 49 49 aa 1» \ fal 7 yn! Re 7 ~ 0 5 : a (ho) yor] ‘aa {ery [9 RK eae S , tate , T/P o/P = ° ! Te 14. 4) 0 tft 4, ' | ee 3 | MiP pl 3 14 gy 4 ore: In ae [e tio o/r ding Cow be practiced. ad - i P dpmbot W= 0101/0 ofp= 00122] m {Cc i'g leet ot blow af 8 Rauige wnnrey { fo Aurp | bay é Bo " ET: gate) FIP y ofr VG coup denen _ o ;] el wv |a | ° iis = (0 ro » ah oh PP? Q kyute 24 complement do deaiges ay rroaritg ml over binauy Wo 4. 4 T: Pe Oe 4-$0,1} TT: Sade | | PF . a ; Ww: olo! wy |hw bl ay. Bt0l) | » ies f Toba ! ; ais! ee ot i) Ms Machine —> Tt wd o finite autos us det of ener dy voll ich, the Of? 4 tale ov LLP oly penn’ ; me dybel. 1 dd ola feace by s tuples M=§8,%, 8,99, A,AT rot, = Finite det of transition (tote % = Punite automate nf alphabet r/P $= Prounditiow £64 a qez Tuitial Lote A= O/P vacua A= o[P buondtion fomction ™ resouiption of Meatny M/C 3 Td ae, Ato : ~ wy q]o ) — _ “Ne off | afr | olf — oO ata $OCOZEL ELE LE LLC a EE : & Ble e 6 6 6 6 6 6: = a / uae Q Aedign mealey waachine / Atul 5 = folby waded either! willy aa” O40 bb R.B—Saqt bb - ao, b— 0 ao 04 bb—> Tb z jo = at op Ao oO h © » ® | u acelin Aainguage Ge \ | Equivalewce of Money anol Mealy M/e — tN ConVediow, Ei Mone M/c to Meatacy MIC: given bool dingrausa a maones M[C , Ne BBO dyounsthow -balobe Uode Tuput o 4] “oa | a t Gp) 9» qo Ge lb t 4 gine, woorey M/C , oF 0 ) 0 5 pane enn pPpppprrrPPPIFPPPrPPPRPPTPRTEPRTaArrReraA Convent into uted lay me ( a ea (yer, 0/0 (}—-- 9" X17) ye / oft on} TT tote ; r/p | oe f.7/P | ov — ° Ll @ qe 0 4 ® 2) tovweraiow mjc to tee Td a wae. mle) (4 eee we MIC: carey luo weorey Mo se ee ee rr re i oe i oe oe oe oe oe oe, | [pe | boo} I Minimu nacho (Optineiastion) of DEA —> D Equiv vata 2) Mylo Novtoce tren ji . € Tes ; Qe | ee Qi xe? (n/p - Pes We fi Ny fA > W / \ (aif UA . / TI Ato ) Input | output — ° l ) 4 | 0 : @ lu a 4 @ | 92 | - 7 = to 4 fa « eas oe ~ = ~~ Fouivalunce metho The witiniantion A Dralea ™ yaouucing the wor xf dtoutel (Vela FA ee oly que Atotes wok aye enchaie frum itil wtode vio. et f foulitos Thor ¥Muow TT HH aL pon of tt Se Now wpllk Ha TT tuto tooo tbl Ty and Te 1) 2 Now fuel hot T Aol one , se eatle pol ‘et . ck. equiv aula fer ow of State + Now) a i iy Ai ane ust eal wale tren fran, ok Un ety ant BU . Repeat at unl we get eguivilond ALOds ek Now, Couateuch Tle ben (i faa. equi valawes, aay wlth ul winimatol SPA A Minimcae the giver DEA by LUALg equvolinse cau wiethod. (jo eeCcedgteséesee CCE i initio date : ™ 2) Drow TT ~ 7 a ae = "“®]v Pe me ® B Y ” @ qs de ” © is » comin ft ey * 5) New, couverd Lato equiverlent odd touted ! ] i P iv Vou -durol statu final ttobe qe qs +Q) (qa q4 90) rely ye) [ep a] Tt Te 4Y Novo, Wext equivalunt clad , Moke pau a trourtlewd Ni F Cqo qi) | Uys DW | 2) ag qH) ly qs) oe qs) Slqoa) = Ly \8(qe.a) = y ftya)= 13|8G39)= 43 |SGsad= qs SGD V4 | | pprprepryrrve9|vryrarrars Stipa) = 93\ Spe) ge |scqadaqs|é Gyradaqy |Stged=qs| Slyssa)= 4s Slybd= 42 £(qorb)= 2\6 Gui bd=q4) 6Ca9,6) = 4) Slseqy S$ Guy b= de Sub) = 4, SGublqc\Spbdegs SQqb)= 95 S(gssb)=a4 5 (e,6)= Ly Hor La9jor) | WULe Longe} Lene (aya.| haste Cas 4a) Jue loses} dure qu, gs) Ue sure fo abe ce, Yan dae Jou a equivalent ubvoen eq uival ubvalbut cule ae i cute I to a ee Mt Reda Meta ae py to belong to joint) be haat Th. nytt Tht pond } group | gmp ywoupt Pek] onan) waa | PFD [aed later \gstas | dais i, i fae) 14 a] fas} Ly 43) S)New equivalence Cou T= toed Lys ted tel teas] ? PPS PK RRR? ‘TSS eee RRR RRR ee ee ee ee ee 6) Ruaw wining “DPA A} a qu" 12) (qr, b) U (97,6) b Ih qn as ak a v (qu.b) v (96,5) (C7) (44 9s) L t O a qe U4 he arb et T)T.T for minimined DFA Sote |) Input | a 6 | tees top) 48 fun gs] 8 t4rq23 fash ‘tanyst ‘ag equivalence wethod, by weg i Akocte | Taput ee a 6 1 | yt vol bts hla y As toy ® bo 4 Now cauvert wd equiva lhace hows | A tobe At . Non-duual Pua. (yo Braga 4s) qu) r 7 eel tede ed [yd] T 1, 4) Novo, wed equivaltrt us , Make par a round Nowe ‘as | Prat (oq) 4 Cpegsy | Ge ted Ute) PEt) ft) gar SQoad=y) EQ eqs |Sqea=qr Sqia)= 4s Stqua)= 9, £G50)=9,| Square, Sg B= 7a |5 Corbdeqa| 6 pbd= [6 (qubb G9] 6 (ublegs| cau ee is, Stqy M=91 [8 Cpadeqs & (qs1%=91 5 (yadey Sty, "dal & Qu, b)2q2 )=9, Sls.a)=9) 6 qr b)aq2 Sl b)= 14 Sq bd-py |S py Sep D1 Sc ury, ae ‘woltut| bg uivalud) Not \ Aloe yo ae quiy Nee let Fquivale eu equliahl 9 eb | teed pets Pert bq tqs lg eps | Ay= {42145 424 tqa4 T4943 CU_CPT_TLAirCtrtirtr ,yrvrrTrrere rRPPRrPRrrPRrPRIA?D. Malit Naidde [heorveun / Table filling wetnod—> at an a also called talole fii " wollen ol, LOH Minar UOW of DEA ) v ) Drow a table you alt paie of date (0) 2) Mork oth pat wluoie PE Pinal ae wow, una dtoty QT Hee ave cay CUmukrd poaby (Fo) duc - S (Pra) & S850) vu maoekrol, then wank (P50) 4) Reprat Unit woth wo wre worry Clue be usnole E)Cdwrbine oll Hut wunmnorrkeel pour ae Huw % pbungle xtate tw the univinni'ze ob U Mivuwune given DPA suding Mybit Nosode Horm yyy B » dr do 4s Mok toble B FowNe paw. Ce tons TH column Se vrark Inoue Fun v) PPP PPP rearrrPrPPrPPrPrIP rrr Arr ars en ee q° gs goa 9099 ! Slade qe (qevad= a aaye die on ) My “re " ve : | nr SC41,4 qi Stpaeqil | ° gear: y S (ae b)= qx Sap b) rh 8G .b)= 0 - NF 8 (yb) 92 Sl b)eys 5 qs.) re cn pee ee ‘40 wah 4°43 bn Zool be cue| ¢ table becaule i both oF pecoude b1/P a ee ee F and owe NE O ofr ; nora fina oLeuwH, ofr k B)loudioer decond wolumu, ve q 43 meena Sega) oP] epee (gaa) = 4! 5 (qb) ae Sqrb) = 18 - NF © (qb) = we 5(q3.b)= 44 - & No uous, ie nt Marek (91 93) because loncoude ano poi bt/p our P& Ont NP FYNF oct O/P occu. 1) concider third column, 94a Sap ie ue S (qe A= Ut ae ~ NF (ys,6) =q4 - F Lo wok, fee be cade fou b Anput owe fun nal ond Ons Wh - fo output oC (LU,

You might also like