參考資料:()
有限狀態機 FSM (finite-state machine)
表示有限個狀態，以及這些狀態之間的 轉移、動作等行為的數學模型。
狀態和術語
狀態儲存關於過去的資訊，就是說：它反映從系統開始到現在時刻的輸入變化。 轉移指示狀態變更，並且用必須滿足確使轉移發生的條件來描述它。 動作是在給定時刻要進行的活動的描述。有多種類型的動作：
進入動作（entry action）：在進入狀態時進行 退出動作：在退出狀態時進行 輸入動作：依賴於目前狀態和輸入條件進行 轉移動作：在進行特定轉移時進行