數學模型
有限狀態機（FSM，finite-state machine）是一種數學模型，用於描述具有有限個狀態的系統，以及這些狀態之間的轉移和動作。
在有限狀態機中，系統在任意時刻都處於有限數量的狀態之一，這些狀態代表不同的條件或情況，系統根據當前狀態和輸入的事件或條件，決定下一步的狀態轉換。這種模型可以應用於各種領域，如硬件電路設計、軟件工程、編譯器開發、通信協議等。有限狀態機的一箇重要特點是它的狀態是有限的，並且狀態之間的轉換是有規則的，例如，一箇系統可以處於“開”“關”“一檔”“二檔”等狀態，通過輸入特定的命令，系統會從當前狀態轉換到下一個狀態。