DFA（確定的有窮自動機）的化簡

1.實驗內容 每一個正規集都可以由一個狀態數最少的DFA所識別，這個DFA是唯一的（不考慮同構的情況）。任意給定的一個DFA，根據以下算法設計一個C程序，將該DFA化簡爲與之等價的最簡DFA。 2.實驗設計分析 2.1 實驗設計思路     根據實驗指導書和書本上的相關知識，實現算法。 2.2 實驗算法 （1）構造具有兩個組的狀態集合的初始劃分I：接受狀態組 F 和非接受狀態組 Non-F。 （2

>>阅读原文<<