有窮自動機到正規式的轉換

有窮自動機到正規式的轉換 將轉換圖的概念加以拓廣,令其中的每條弧都可以用一個正規式標記,具體方法如下。 首先,在 M 的轉換圖上添加兩個結點: X 結點和 Y 結點,從 X 結點用 ε 連線連接到 M 的所有初態結點,從 M 的所有終態結點用 ε 連線連接到 Y 結點,從而構成一個新的非確定有窮自動機 M’ ,它只 有一個初態結點 X 和一個終態結點 Y 。顯然,L ( M ) = L ( M’

>>阅读原文<<