編譯原理之確定有限自動機的最小化

最小化確定有限自動機 最小化下圖的有限自動機DFA。 概念補充（不懂沒關係，直接示範） DFA化簡定義：找一個狀態數比原來得確定有限自動機狀態數少得確定有限自動機，但是表示得語言和原來的確定有限自動機相同 狀態等價： 狀態s和t等價，意味着從s和t出發，讀出識別同一個字符α，都到達了終態，那麼這兩個狀態s和t是等價的 狀態可區分： 狀態s和t可區分，存在一個字符α，分別讓s和t讀取之後，分別處於終

>>阅读原文<<