
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表示終止狀態

