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