有限狀態機。有限狀態自動機（英語：finite-state-machine，縮寫：FSM）又稱有限狀態機，簡稱狀態機，是表示有限個狀態以及在這些狀態之間的轉移和動作等行為的數學模型。
狀態儲存關於過去的資訊，就是說：它反映從系統開始到現在時刻的輸入變化。轉移指示狀態變更，並且用必須滿足確使轉移發生的條件來描述它。動作是在給定時刻要進行的活動的描述。有多種型別的動作：進入動作（entry action）：在進入狀態時進行退出動作：在退出狀態時進行輸入動作：依賴於當前狀態和輸入條件進行轉移動作：在進行特定轉移時進行
FSM（有限狀態機）可以使用多種型別的狀態轉移表。下面展示最常見的表示：當前狀態（B）和條件（Y）的組合指示出下一個狀態（C）。完整的動作資訊可以只使用腳註來增加。包括完整動作資訊的FSM定義可以使用狀態表。
