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