由非確定自動機轉爲確定自動機的子集法

第一步   先找初態的子集(ε-閉包)
第二步   找上面子集的所有經過某個輸入符的新子集(ε-輸入符閉包)
第三步   重複第二步,直到所有子集找完(必然)。
第四步   將每個子集標一個號(即一種狀態),從一個號到另一個號爲一個轉換,畫出這一系列號的轉換圖。
第五步   包括原初態的子集是新的初態,包括原終態的子集爲新的終集。
完成

ε-閉包:指的是從某個狀態出發,經過輸入符爲ε的路徑所能到達的所有狀態(包括出發的那個狀態)。
ε-某輸入符閉包(ε-closuer(a)):指的是從某個狀態出發,經過輸入符爲ε和a的路徑所能到達的所有狀態(包括出發的那個狀態)。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章