有限狀態機（Finite State Machine，簡稱FSM）是一種數學模型，用於描述具有有限個狀態的系統或機器的行爲。
在任何給定的時刻，有限狀態機都處於其有限狀態集閤中的某一箇狀態。當狀態機接收到一箇輸入信號時，它會根據當前的狀態和輸入信號轉移到另一箇狀態，或者保持當前狀態不變。這種狀態轉換可以是有條件的，意味着狀態轉換僅在滿足特定條件時發生。
有限狀態機廣泛應用於多箇領域，包括軟件工程、硬件設計、網絡協議、編譯器構造等。例如，在網絡通信中，有限狀態機用於處理數據包的接收和發送；在遊戲中，它用於控制角色或NPC的行爲；在編譯器設計中，它用於解析代碼。
總的來說，有限狀態機是一種強大的工具，能夠清晰地描述系統或機器在接收到不同輸入時的行爲和狀態轉換。