NFA確定化


 

1. DFA字母表與NFA相同(a,b)

2、構造DFA的初始狀態(NFA的初始狀態的ξ閉包)

ξ—closure({0})={0,1,2,4,7}
3 構造轉換函數和其他狀態
ξ—closure(MOVE([S1,S2,….Sj],a))=[R1,R2,…Rj]

  a b
0,1,2,4,7                     T0 3,8,6,7,1,2,4           T1 5,6,7,1,2,4             T2
3,8,6,7,1,2,4               T1 3,8,6,7,1,2,4           T1 9,5,6,7,1,2,4          T3
5,6,7,1,2,4                  T2 3,8,6,7,1,2,4           T1 5,6,7,1,2,4             T2
9,5,6,7,1,2,4               T3 3,8,6,7,1,2,4           T1 5,10,6,7,1,2,4        T4
5,10,6,7,1,2,4             T4* 3,8,6,7,1,2,4           T1 5,6,7,1,2,4             T2

T0表示起始狀態,T4表示終止狀態

 


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM