有限狀態機（finite-state machine,fsm）,又稱有限狀態自動機，簡稱狀態機，是表示有限個狀態以及在這些狀態之間的轉移和動作等行為的數學模型。

概念和術語

狀態存儲關于過去的信息，就是說：它反映從系統開始到現在時刻的輸入變化。轉移只是狀態變更，并且用必須滿足來確使狀態轉移發生的條件來描敘她。動作是在給定時刻要進行的活動的描述。有多種類型的動作：

進入動作（entry action）:在進入狀態時進行

退出動作：在退出狀態時進行

輸入動作：依賴于當前狀態和輸入條件進行

轉移動作：在進行特定轉移時進行

fsm(有限狀態機)可使用上面圖那樣的狀態圖（或狀態轉移圖）來表示。此外可以使用多種類型的狀態轉移表。下面展示最常見的表示：當前狀態（X）和條件（Y）的組合指示出下一個狀態（C）。完整的動作信息可以只使用腳注要增加。包括完整動作信息的FSM定義可以使用狀態表。

狀態轉移表

?

除了建模這里介紹的反應系統之外，有限狀態自動機在很多不同領域中是重要的，包括 電子工程 、 語言學 、 計算機科學 、 哲學 、 生物學 、 數學 和 邏輯學 。有限狀態機是在 自動機理論 和 計算理論 中研究的一類自動機。在計算機科學中，有限狀態機被廣泛用于建模應用行為、硬件電路系統設計、軟件工程，編譯器、網絡協議、和計算與語言的研究。

有限狀態機