. oth nio 4 Deliortion — of Arete Automata ain M = (@.5.5,4s.F) @B= kek of tates Zs Sek OF Foput alphabets . kare oO ! (Us > ® i L dV ) VY ds Yo ve Ys qe 1s 4, V being Norol Sloe rover) = 8 (4 10101) > §(4e.090") 2 § (4, 101) = &( 4 70y) > &§@, = 8(W, >) “bea oste automate Conxatns ata wrth 62 10"5 Creat @ with — eve: vioany umber Decimal pinar| _ “ —_ 0 000° ' ooo! 2 0010 a ool! a 010° s oo! & ono i ond . 1090 hi ° 100! 10 1010 ' 0 G2) Deteuintaic 3 | intsic Kotte Automata t SFO + Ox SW Nor > Qxs*—, a ‘Ditect Franktion Functton > Axe —@ Trdevect “Trantition Function + @»s* XS > OFarite -Patomata arth Opt por Log oper and Mealy Machine. In Moore a Machine ,—yOurpot dependa on present state TE Re eo ie of fnpot atyfng ‘o> capt ay Peas dy is 0 then “the lent of ¢ +A | “In Meat " | Machine,» Out pot depends or prev length t of fpput Anioy | tH SA then - ret ° 4 Akate and ae Ovepor A fv SO TS ahd cn. L XL—A tet Me Machine:Rough tort > - 1 ee < vere er 7%, 1a —+ 21,7, ——7dar—y 2) Tales 7k Meditied Mealy MachineGyaphica Ke presentations NDF +0 DEA Thani tion: NDFA Me 32@,4,6,90,F} let : M = 1@.,2,8,40,F'} 4 DFA la’ eyes NdEA Ps 0 ! do} dLO- 8. Foxgh eee a=4y —* Ly fending ia tetertzatn t (1) Sere 7 S255 fo} [aed eagle Atate ~ Fade 0b MOY ae We ~ [0] a ® | Method tor 5! ; 8(Metuts, 4,0) * Soa] VSG Avs ae, va | 7 | 4 | si(039,9 = 64,9) = fo » | g(a.) - 8Gn9-% | Slade) + SQue) =% @ = |, s(t, =8(% Me Vo, 15 i F = tn] S(doade)= S(bsesle) Q,+ F = 3 = YA, w . 8 = Ye.44 Es 8 (9,1) - stress au) I bal = 4,9 Yo Q, : 34, = Vor a= h Q3 = §% @y = 34Mintmization of -ficite ‘lvtoinaka i _ — é * State j 0 \ . 4s, I An res y V a. 4, © & 1, 4a 1, a 1 1 ‘ dc 4, 7 ‘ 1 1 » Ve . © = 14%, %,4-,9,90,45,%6.944 F = tu] Qi-F- jp} @-ae Te = $404 169.9495, 4814 T. $@,,W,Q)--- 4 G, = 34,4 @, = {4A 40] Q, e iW) @y = $45,154T5595, equa, fad 1530) fod We Goce Wo and 7, are ot tame, fi Ts fades} @ = f43 Or ina Ais faded Qi = jade} O52 S44 The THA, 0.08 ated [45.14 141003 Ts = 16.0, 6, -3 @)- 34) G2 = $40,493 Qs = 34,49] Gy = 34,455 Os > 344 Wet Ta entities Tr g+e Th gfe: Ts AR= Le. Ts R+e Ty wet Ts (et ile Tyo (pat Tay (Pa) Je. (P+al iy Re -Tq, pon ee e =| \ 8 Ty Axe 2 Oe nt DD (Raye = re (pad = (oat = ( Jn (PHa)R = PR+@R T, Ret = pte optPrrata = atprat Pe baat, PU4 ata) ra 2 (wa agth) a (saat rat atbat A> Moves’ a Transition {yor ConteigingF\aden'é “Theove m: Let Po and @ be two ¥4 TH Pp does not Contotn A,cthen “te Cal le- @ ee | ve Aolution (re. Ore and onl} vlan ernpre 6800 Oven S Aostowin 4 caption 2 «nn pre Sohvto0 ) . voi 7 oy eer | Proof! R= ArkRP—~* et) = @t arte (From @)) = Oar) (HE) R-ar (ey m) Soa R= @+RP = G+ (Gre)? = BFQP+ RP = + GPrlOrerr” - G+ Ops ark _ arapeaet ope RP, ‘ sad = nse eee ap eee ye Ret isn wal) be peret ured « R-ap rae | Aipbeie Mead wdby Arden “thea Conatruct RE from Livite - Automate! Vi = Yip Vy we + Votan tA Ve = Vy May FN Me tM ne Vo = Ny %in ct Viton - — — -tokno 7a h Qs Qe. - Cay b As a (@) W404 ab 4 A-O(. There 28 no divect Input Path (or Tn to Wy ) 4. = 9,9+4,b4 1,0—6 41s = 4,4 -@ Substitute J, in Ya = 1:24 Y,b44,99 4274944, (400) By Te a fom Ardenk “theowen R= GtRP + R= OP 4, = 1,0 (braai*—@ Pot ®) in 49 4, = ya4 4,2 (aay +A Y= At q,(a+a(b+aal'b) | Arden Theovern, Cd ct q, = Alatallbraa) vb) 4 = (asa(bsaaf*eytPor i Fn) 4@ Y, =(a+ albiaayt oy (o+aaf [is (ara(biaaityjhatraalte. | ** Requtan Kaupneacton Should ahunys Come Fron the fioal dtate Xam pre ©. Be = bt ha +A 4,2 4a+-O 4,-4ee-© _ 0+ Gab + yylare) —O Pur © and & tq q, = abs Fear qe As 4 lator oaey Arden’ Theorem, 4, = n(ab+ bal fi, =ea vat] Faample @ ° 0,1 Oo ‘) 4,= Wo +A —r() q, = Witt! —@ qg = 0+ 1,l0+1 — © By Prden's Theovem 4+ FF “Pr 4, tn YY 4, = Of 4g + 4, = Oe Siere use \nowe tuso final State add them, yar, = Ot oft 2 ot (anit)aiea! 4D FO Re “ @)Kaample: Conatrect a DAA with Meduced Atates equivale ot to the TE: 10+ (0+ nor g aC) nid) GO) 10 J sont OEjpivalence of Finite —futombe c Not Kguvolent -Romping Lerntnas & Union of a Finite automata wort he M:(@,3,8,4o,F) be Fagor O sated: R, - ataalt . My Let Lo be tte te a accepted * " SAE R, = Caajt Lee wet and Juspem. TF any=A, “hee a fv each eo . ype buch that pony, EEA and afeel | RvR = fA = Manu Nerode Theorem | ae © Bopewy 2 FIntersection Propaty &: * The — Compl Property + Ditference Property S° % Reversal 1 Proof | Le Yount if 2 410)0A rion of two ‘eqn get 78 veyron Proofs * R, = alaa]’~ Ja,aaa,aaaaa,-----,} R, = (aof* = )A,Qa,aaaa, - - - i Ryvk, = JA, 0, 20,408,099; ~ = : 5 -& Property a: FTntersection of tud wequlor aera i vequou- Propaty 3: ¥7The — Complineot of seq los ra Propesty + Dilference of 400 pe hee 5 vequlaw- — Roperty S* | Ruevsal of a vey nek 4 equa’ Proof: P| =| ne or,10, 11,00 if = 410,01, 11, 00fProperty S “—® Cfogone OF a “ee Pao: L = {a,aaa,oaaar, ~~ ° i = ala * = FA, 0/04/0204, -- 4 > at Property 3° “ Gancatenotion of tuo Ree 8 er" get 28 neque : reqpie’Unit - Formal honqua Sense Cel ee G- (Wn, 5s, P,S) Var = Vovials les (Capital Letters) & = Terminal Syorbota P = Set ot productions (Lutes) S= Stasting Symboot ‘ee Ves Ho G= ]lWe,s), tast, eS P ( Rule) Derivation re S + A8 AO aoe =r ab Bob Ty Rentence [Le): tess if . £ A SB - Aa, A+a B—-bbB, Bob Sententiat “born: SSx a TS Called gentential Form but WO the atooye example aaaal “b Mot a sententio! foren- EY G=USt fot, fs-rost, says} ,Mad=! bor S14 | S306! SOS) § SOS! SOA) =+ 00S! = 00S!! +40) =5 OOA\ =) OOOS\11 = OO : i => o's” 2 oarsor Lg) = JA, 01,001, 00118 ~~~ = Ph Lig? = 70%" | Pz} —_—_—-_A G=(jst, fat, fSossl,S} , Ll @)=2 Soll S=¥SS => SSS = Ssss ad it as ending fo Naw'abbles HIS) = F44 A let L be the ce of atl Palindromes over fa,b%- Gonatruct a eo G forming L- a Ss fa, bs Sample Stina: aie 7 " —t | SoA a | Saa b Sab abo | Sasa bab © obsa Albboblha Abb oa bho G -QST, fast, js-ralalelasalest] S|Constwetion of a or wlan Gramrman: “KGieverating T(M) for a @ DFA M- Me (Gea, yo], 4,5) Jor P) 1 Ge (fAe.6, 45, - Any, Z., P, Ae) Where P 8 defined by Ruled! Rul Rule 1: a 8(4;, a} =44F 8 a Tami J GO Role - a: Tf &(4,0) = yer [ar], @ =(fro.ed, fares, P, A) S (401%) = Yo 4d F — Qolet —> Ay —>aAd § (40 ,') =, EF —> Ble 2 — Pom bA,, Arb § (4,9) = 4 €F > Blea A, —3aA,, Hy-79 §(4,,6) = 1,6 F = Ruler Ay bA,, Ab 5G =(JF0,13,28,103, | Ao bl] amofoA, A> afb} aniforrConstrwotion of 9 “Hansitfon Sppte 1 Zaam ple: iS = (EM, Mg, fat, P, fy) flo 001 A, —+bf; 0 A, bAd Rute 43 Mam — S(4 a) =% Rule- a: Aim a $( 43,0) =U Aly 4 2A, + Role 1 b > &(40,a) =4, = (49) a 5 a Ay bP) — Rule an &(% 6) =% fina “Transition Drogian, Ay 5 bo -¥ Rules 84,6) = Jo A, > a 9 Role 2 (al =Ffeted RVLAV Pammar: Highly Restriete Aa, A an @bpteat Free Giamanay : Aas angtbio} [Rvs —_s Fite Automte RG