做業八——非肯定的自動機NFA肯定化爲DFA

NFA 肯定化爲 DFA

子集法：

f(q,a)={q1,q2,…,qn},狀態集的子集

將{q1,q2,…,qn}看作一個狀態A，去記錄NFA讀入輸入符號以後可能達到的全部狀態的集合。

步驟：

1.根據NFA構造DFA狀態轉換矩陣

①肯定DFA初態（NFA的全部初態集），字母表

②從初態出發，經字母表到達的狀態集當作一個新狀態

③將新狀態添加到DFA狀態集

④重複23步驟，直到沒有新的DFA狀態

2.畫出DFA

3.看NFA和DFA識別的符號串是否一致。

 

 

練習：

1.解決多值映射：子集法

1）. 發給你們的圖1

 

 

2）. P64頁練習3

 

 

 

2.解決空弧：對初態和全部新狀態求ε－閉包

1）. 發給你們的圖2

 

 

 

 

 

2）.P50圖3.6