實(shí)現(xiàn)NFA確定化子集算法程序。DFA是NFA的特例。對(duì)每個(gè)NFA N一定存在一個(gè)DFA M ,使得 L(M)=L(N)。對(duì)每個(gè)NFA N存在著與之等價(jià)的DFA M。從NFA的矩陣表示中可以看出,表項(xiàng)通常是一狀態(tài)的集合,而在DFA的矩陣表示中,表項(xiàng)是一個(gè)狀態(tài),NFA到相應(yīng)的DFA的構(gòu)造的基本思路是:1.DFA的每一個(gè)狀態(tài)對(duì)應(yīng)NFA的一組狀態(tài). 2. DFA使用它的狀態(tài)去記錄在NFA讀入一個(gè)輸入符號(hào)后可能達(dá)到的所有狀態(tài).。
標(biāo)簽:
NFA
DFA
算法
程序
上傳時(shí)間:
2014-01-19
上傳用戶:h886166