24從正規(guī)式到詞法分析器

1、2.4從正規(guī)式到詞法分析器徇址詞餞金析w的-以方曲和歹碎用正攏艮對(duì)浪良連行涇憂.疹個(gè)正itK的址一個(gè)NFA.它鎳斟正攏筑衍表斥絵正攏卜將輸就女的NFA0換貶劣價(jià)的DFA.迢一過(guò)丸也誠(chéng)你禺碼走tDFA.便乂猷$點(diǎn)労迢一邊丸屯就放禺4化2衣詢很低會(huì)瞬i軸後懷塀令舒毛軻*去怨diU；輸址DFA.而要屯輸就NFA.機(jī)去輸址乞要趙屯的算？！正執(zhí)K-NFA：韋規(guī)范的一對(duì)一的的址算述DFA-金僑妥.，韋像扌億號(hào)的欽剔的耳曲2.4.1從正規(guī)式到NFA算法2.2Thompson算H檢入$毋耒上的疋規(guī)衣:rVQ對(duì)孑JL規(guī)靈(p).使網(wǎng)p#NFA.條產(chǎn)為址歩的NFA。檢出ttL(r)NFAN方法tttMr.斂念槨維

2、下住鄉(xiāng)你紡龍NFA：.iNFAAo乂申.sOh4.fib徉禺，此NFA保茨.S科刀上的各一金于吾a.輸址NFAA古正見(jiàn)KNFA從正規(guī)實(shí)到NFA定義2.2令址個(gè)存R!字埒農(nóng)J上的正規(guī)式及其農(nóng)示的第令地(c)x是疋現(xiàn)式.農(nóng)夕如Aa(r)2)仗於止規(guī)式.農(nóng)亦的現(xiàn)合仍iL(r)(11】括弘譏先如殆令性)可用正爆式描堆的為止歸定義如下:圧匸規(guī)式.它衣示集介L(zhǎng)(O=c)石足I：的7符.WlaihL整它i二址止埋式&小ftMr)UL(s)b)是止詼?zhǔn)睫r(nóng)爪供M(r)L(s)ttWft或正規(guī)集.N(p)N(q)AiH#；Pq*NFA.機(jī)a)對(duì)正規(guī)式p|qiNFAAoX申.s0fc4.fJSH*4比NFAftL(

3、0b0L念亞規(guī)A.pq.徇龍NFA從右。*申.s0fc4.fJSH*4比NFAaL(p)L(q)/(c)對(duì)正執(zhí)良p輸竝NFA從右。其中.s0fc4.fJSH*4比NFAft金靜正親P；(|下而上輸4.NFA4/V*戲紐徇址鳥(niǎo)正規(guī)對(duì);6S輸址一金浙的NFA冬，恃加局個(gè)欣念dNPA上識(shí)別記號(hào)的軌定化方法2.4.2從NFA到DFASNFA鎳折億號(hào)縮“*什”方/Xx夕例2.12、甲也劉乙地.可栽轎耳屯可“L奪Q憐d伴聳後小上。煞余采#b誦金e猷e閉包(T誨協(xié)9扌一個(gè)的下猷怎越穆.smovc(Ta)smovc(S.a):從猷禺#S出*林億禺a(chǎn)的下一欣怎金件movc(s.a)的冷一tJL網(wǎng)欣鳥(niǎo)#取*噥$閉

4、包仃八從猷$T出父.*徑儀何于符達(dá)劉的噥禺金傳。定義2.6欣鳥(niǎo)余Te閉包仃足一個(gè)噥禺#A滴定(0T中所省欣禺屬才閉包(T),fl?smovc(謝包(T)4+f-閉包仃)，TOC o 1-5 h z&丿為無(wú)衷他欣冷屬才閉包仃。泵維定久上謝申閉包(s2蛙林色排.s2fi|(s2)(1)s4(s2.s4(2)s5(s2.s4.s5(2)蘭苣 算法2.3獲權(quán)NFA24.2從NFA到DFA入岀法輸輸方NFANx(cof)sO.FNax.lycs,f耐Fo”網(wǎng)下邊的過(guò)祖對(duì)xiJDFA(嚮“*廿“tt*xNFAA.另灰制禺計(jì)M下一伙鳥(niǎo)越形的#金=紋卓佩。故連方NFA上的金祚第役的硝處牝卄ji億妖下未.得劉多

5、NFA劣恂的DFA。田嶺從甲電釗乙越的第fit.它絵錢(qián)歹浪5實(shí)值上良一個(gè)NFA(古上丿a號(hào)八我創(chuàng)個(gè)冬價(jià)絵DFA它們ebbccccb例2.14網(wǎng)DFA職期cc孔ebe：f_c_(t2_3.cj.aif_c_(1.2_b_丄?.條俁貢優(yōu)JUA請(qǐng)冷了*碑KM(將NFA的下一欣念條金*禺一個(gè)噥戀/2.無(wú)乂甸怎針M噥禺肆金(針對(duì)總輒NFA的丿例2.15常第輸沌(a|b)*abb的DFA閉包(01)=10.1.2.4.7*e閉包(smove(A,e閉包(smove(A,e閉包(smove(B.e閉包(smove(B.e閉包(smove(C.e閉包(smove(C.e閉包(smove(D.e閉包(smove

6、(D.e閉包(smove(E.e閉包(smove(E.4abab：AaBbDbE)=(3.8.6,7)=(5.6.7J)=(3.8.6,7)=(5.9.6,7)=(3.8.6,7)=(5.6.7Ja)=(3.8.6,71.2,4*2.4J*1.2.41.2,4*1.2.42.4)1.2.4b=(5.10.6,7J.2.4*)=(3.8.6,7)=(5.6.7J1.2,42.4)2冋題用嘟個(gè)DFA饌型綸入卉科？6A_a_B_L.D_a_B_L_DJDFA(e-閉包()=鏟釧abb:1計(jì)并初態(tài)集:2從A岀發(fā)經(jīng)(3,S,6,7,1,2,4)3從B出發(fā)經(jīng)購(gòu)拶血必1,2,4)(0,1.2,4,71到達(dá):

7、B到達(dá)：C利型M吐敝推由弐上叢2：4,7曠閉匝凹；輕*利色“陀包(smo9(A,a)二(3,3,6,7,1,2,4)隊(duì)紳齦捎創(chuàng)型=曲餵用即的超鋰H恥胡海乂從C出發(fā)經(jīng)a到達(dá)：l閉(smove(Ca)=(3,S,6,7.1,2,4)從B出發(fā)經(jīng)b到込：i-RJ(1(smove(B,b)=5,9,6,7,1,2,4)識(shí)別路衿為:AaBbCaBbC.|t|JCO10=P所以不接受(smove(A,a)move(smove(B,(smove(C,b)b)BCBC算法2.5從NFA仙itDFA(99.it)偷入NFAN偷出彳價(jià)的DFAD。竹禺金韋NFA切禺.耗禺肆足金巧NFA伶禺的欣禺#合島個(gè)5筑株標(biāo)方法用

8、下促迢程的itDFA/Dstatcs(fc4).Dtran(ift4ftO)e閉包(sO)良Dstates僅韋的噥怎Ji彷J標(biāo)億.whileDstates葦浙，林億的欣loop壽億T：for孑一個(gè)綸入*J曲aloopU:=閉包(smove(Ta):ifADstates+thenU作為浙.糕億統(tǒng)伙.&加入Dstates:endif：DtranTa:二U:一億錄欣戀伶形endIoop:endIoop;2.4.2NFA到DFA(鳥(niǎo)至込比銭.億眾了衍韋欣禺鳥(niǎo)狀&0秒IQ2.4.3垠小化DFA正規(guī)式一NFA-DFA定義2.7對(duì)扌儀K廚個(gè)噥禺t和s.若從一欣怎出農(nóng)俁丈輸入于為串3$從易一欣怎出農(nóng)*俁爰3.

9、艮*從t岀安孔從Sit安的達(dá)*円的核衣噥禺.的點(diǎn)3對(duì)欣禺t和S臭可區(qū)金冊(cè)?！胺降牧埗ň?7/諷尬儀何稔入卉刊3對(duì)s%t帥足*可區(qū)滬的，衛(wèi)便味從sjfc父和從t出農(nóng).金新儀何輸入扇制3購(gòu)花劉同伴#11/線禺鳥(niǎo)泵伶祗；、號(hào)ti金鑄楓令.直劉*耳尊金廣則金仙址D.誤健良違代奴和備故欣越秒臥亍、2.4.34Xh化DFA(02.17用慕;荷DFA初R化劃金TI仁(ABCDE)根維申少課Z女復(fù)金歆則金彳的iIm(D.b)=EII2=ABC.DEm(Bb)=Dn3=(ACBDEn37+A/nfinal=(AC.BDE加橙Ilfinal仙i4D：蝕垃代衰網(wǎng)A*折AC值，廠荀一、處欣加常久LB、D、E花=B.

10、=B.=B.=B.=B.=B.=B.=B.=B.J-i/l_/J-K/KI_/i/333333333人B.c.D.uiA.B.D.UJfv/t/kyffrv/t/t/kmmmmmmmmmm(A.b)=Cm(B.b)=Dm(C.b)=Cm(D.b)=Em(E.b)=Cm(人b)=Am(B.b)=Dm(D.b)=Em(E.b)=A142.4.4由DFA構(gòu)適詞法分析薛垢入乎輕京刈分析襄DFA乂申.禽要/-省適總縮錢(qián)維修的4敘DFA：故MK.人I追龍實(shí)低洽入0鉄折戔個(gè)夂伴而足一金億號(hào)滴定EG憶懇的。rcsult:=ab正確的鎳內(nèi)，id:=id*id無(wú)俁藥鎳內(nèi)，A僅段釧*個(gè),id2定冬他id(resul

11、t)idcase玄：coto11:/state2cas*b*:ptr-fr*;!Kswitchpitr)/state3tcaseacasebcase*KotoII;Koto10;coat*yese億考的優(yōu)幼浪式紐形K化描化-疋執(zhí)筑s億號(hào)的識(shí)斟韋限。制機(jī)NFA/鳥(niǎo)正規(guī)K4對(duì);4誤余”易扌的就猷$權(quán)才：DFA.確龍住復(fù)孑億號(hào)的識(shí)釧*$輸就.欣鳥(niǎo)孰可僥備,.億考議斟的方仗.MDFA.-*iNFAf族效件況下丿/要曲怎針?biāo)銍佖畷缛A。VQ從正執(zhí)貝劉代述金浙（冬價(jià)炎徐的說(shuō)艱丿正執(zhí)筑帚建總久由正規(guī)靈輸就NFANFA的確龍化（99ri/smovc詞包JDFA的冬化（耳Ci今稅合丿詞K金析丟0（）isUstackbegin1.(s2)s2forT中毎個(gè)