有限自動機是具有離散輸入與輸出的系統的一種數學模型，系統可以處於有限個內部狀態的任何乙個之中，系統的當前狀態概括了有關過去輸入的資訊，這些資訊對於確定系統在以後的輸入上的行為是必需的。
有限自動機有『確定的』和『非確定的』兩種，所謂『確定的有限自動機』是指在當前狀態下，輸入乙個符合，有限自動機轉換到唯一的下乙個狀態，稱為後繼狀態；而『非確定的有限自動機』是指在當前狀態下輸入乙個符號，可能有兩種以上可選擇的後繼狀態，並且非確定的有限自動機所對應的狀態轉換圖可以有標記為 的邊。
正則文法可以用狀態轉換圖非形式的進行表示，這就表明正則文法所對應的語言（正則語言）可以用狀態轉換圖來接受（識別）。有限自動機正是對狀態轉換圖進一步形式化的結果。
由於 csdn 中 latex 輸入很麻煩，見我的個人部落格的總結：自動機與正規表示式見我的個人部落格的總結：自動機與正規表示式
見我的個人部落格的總結：自動機與正規表示式
有限自動機
我們在學習有限自動機之前，我們可以先簡單了解一下，有限狀態機 fsm 學習軟考，大家應該對編譯器和直譯器都不陌生，其實編譯器就是用fsm做詞法分析 這些詞是不是很熟悉 那麼什麼是狀態呢？什麼優勢狀態機呢？我們學習的時候，不想學了，就說自己沒有狀態，其實轉態在我們生活中，轉態隨處可見，計算機也是。所謂...
有限狀態自動機
有限自動機是更一般化的狀態轉化圖。分為確定有限自動機 dfa 和不確定有限自動機 nfa m s，f，so，z 其中 下圖為乙個確定的有限狀態自動機 m s，f，so，z 其中 下圖為乙個不確定的有限狀態自動機 說了半天其實它們的本質區別就在於s0，確定的有限狀態自動機的s0是唯一確定的。而不確定的...
有限狀態自動機
有限自動機是更一般化的狀態轉化圖。分為確定有限自動機 dfa 和不確定有限自動機 nfa m s，f，so，z 其中 下圖為乙個確定的有限狀態自動機 m s，f，so，z 其中 下圖為乙個不確定的有限狀態自動機 說了半天其實它們的本質區別就在於s0，確定的有限狀態自動機的s0是唯一確定的。而不確定的...