編譯原理學習筆記（十五）~最小化DFA

概念         最小化：優化DFA，使其狀態數最少。         那麼什麼時候狀態數是最少的呢?這裏我們需要介紹兩個新的名詞：可區分和不可區分。 官方定義：         可區分：對於任何兩個狀態t和s，若從一狀態出發接受輸入字符串ω，而從另一狀態出發不接受ω，或者從t出發和從s出發到達不同的接受狀態，則稱ω對狀態t和s是可區分的。         不可區分：設想任何輸入序列ω對s和t

>>阅读原文<<