有限狀態機(Finite state machine,簡稱「FSM」)係一種運算模型。一部基本嘅有限狀態機會有若干( n {\displaystyle n} )個可能狀態,而喺任何一個時間點,部有限狀態機會處於呢 n {\displaystyle n} 個可能狀態當中嘅其中一個,而部機嘅狀態可以因為外界嘅輸入而改變。好多常見嘅機械都可以抽象化想像成有限狀態機。