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

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