2000031240_Atfl_Tutorial1.pdf
- 1. Tiloia 200009IOMD Apona-k. De-ftne DEA and NE- tStmally. A DEA Oeteimiristio finite Acdormation) ia Ans a mathe motfca mode0 afinYte state maaine that acceps di sejeats ctsin tinre et of sites nput mbols ni tial stte set accepine siate. Aangi-tion -{unotion ttat tokesthe cuuest tate t an inpt sumbet TetuAnsthe DeEt state An EA Lu eîmilas to a DEA out oitha tey difexence t alouo matple tranatBone om a gten etste input Smbetf Afinute et o srtates -t scto4 ingttt &ymlats tandition -eenotton tat fakes ie aent inpt ymbol otoula set q he tates gtate Arntteal hot a c e pls *u languaqe 2Costret C o u s f Y u e t a DFA that accepts i u language C n s t r a u n t s tw eSo.12* |w 7t-S 2 tool ool ,ootool,o105l,
- 2. DF M (Q.6 l4) L nAo statelo Swe Can define n 3mys Tantion Tate Lo Transition Mappin-functon xo10 & ) , {t13 D1 4xt21& b) »11j[yt)-t. S211) fl,0)3 S4)
- 3. wldte the eps fS1 aonvetttn9 N P P bSPA C vice-Noua Oth aD Eeamle fom eaah tS CoNeHng e NEA 6 DDF A stat t wie take the efe the Sta tom 4 e Starte NF- as a gtrsin9 Stade DE 6 Find the Cn oe roued onm tio preerit nat meana teo arion toatintalsue &-As e 4Sead torte o1 NE Pvesert AD te Ctret tate o 0EA a he Stotetoka tta3 3. coe found Cedert tate raeat StEp2 4-Pepet Step%Step3 un HAete iu no De tate presect n the transition asle ooE- s. Maok +es Sfates DEA aS a finia stote otaa Cottodus 4he final a t e a EA IS o o. PS ranstHon Tyanstion dio91am Mappie F, Loi
- 4. Ned JRP 2 No uDe heea to conVest+he Tanitton ooe leta e conttaut e anuitton . tet et ak e Chte L, abS2. bete fnoatates S& S let re Conctut te angtoD table Ded tat e tae S In-utttal Convestt the ollouoing, NPA to DEA o Sd M a, 8,to,11 Can be dtfne tn 3ua ransrtion Dagam abreod+ 7Vten) N
- 5. Mappnq Tunetion sto) &C ) C,o): C low we nee d to Contet + gcen ee Franeftton Table et e conarurt anaHon D09am stabo T-aung+BoD Tasle let ake Lo tot S e s, l te inia Note S S S 2. te 'lhe algorthm at Covexts NEA xplai n hou ou1 algenitam ): O
- 6. u ) Consruet he Tanaltton talole hete NEA en kine ) Scan 4he net 3tate celumn in he anston table som he itial 1t uan .oatmeans ta unon nal tate trandtd e Jound a ne u0 tate tau e t Ccare stote nepeatstop iv Pepeat tepr teps uoto +here is AatioD no re ate preet 3n he tranation tatot DP. Mas MaE the Blates et DEA as a fAnia) tote ohh Containa + 4fntal state s defred as 3 tmys Trand Htod diagaam Fan tRon Table TasttonMapeng &a, fl ) >4
- 7. Noto step L0e ee d afted FP to DfA et recon Struet teo ansitan Toble letate lo tee Staute. anaition faiote Aote So S 9 cost lab Df eAenHoate nlAA ee DPA NF A stards non DEA deteninis4 e Finirte utomta deteirntnigAO FNite Dutomafa EA Can use erey mpt atring Fansito0 Cmpty Stsin trangittu DEA Cannof ude D Can be udeutoe OPA2a undenstend mu0Rpe ftte mduned ous one maeune Comprtngiat teeame
- 8. Seaie to to congtmuet Covlste NotAt NEA ate bE-A YA DEA e t4 DE - e es mova ce dP NEA reqLires es pote hen pace ) Conamuct an uE:Ð tne nn Lu-e o L a, aa aaa b, bb, bbb,aaa. a Conuen the slloutn e- NEAtoDEA a . (2o) (211) a