有限狀態(tài)機(jī)（finite-state machine,fsm）,又稱有限狀態(tài)自動(dòng)機(jī)，簡(jiǎn)稱狀態(tài)機(jī)，是表示有限個(gè)狀態(tài)以及在這些狀態(tài)之間的轉(zhuǎn)移和動(dòng)作等行為的數(shù)學(xué)模型。

概念和術(shù)語

狀態(tài)存儲(chǔ)關(guān)于過去的信息，就是說：它反映從系統(tǒng)開始到現(xiàn)在時(shí)刻的輸入變化。轉(zhuǎn)移只是狀態(tài)變更，并且用必須滿足來確使?fàn)顟B(tài)轉(zhuǎn)移發(fā)生的條件來描敘她。動(dòng)作是在給定時(shí)刻要進(jìn)行的活動(dòng)的描述。有多種類型的動(dòng)作：

進(jìn)入動(dòng)作（entry action）:在進(jìn)入狀態(tài)時(shí)進(jìn)行

退出動(dòng)作：在退出狀態(tài)時(shí)進(jìn)行

輸入動(dòng)作：依賴于當(dāng)前狀態(tài)和輸入條件進(jìn)行

轉(zhuǎn)移動(dòng)作：在進(jìn)行特定轉(zhuǎn)移時(shí)進(jìn)行

fsm(有限狀態(tài)機(jī))可使用上面圖那樣的狀態(tài)圖（或狀態(tài)轉(zhuǎn)移圖）來表示。此外可以使用多種類型的狀態(tài)轉(zhuǎn)移表。下面展示最常見的表示：當(dāng)前狀態(tài)（X）和條件（Y）的組合指示出下一個(gè)狀態(tài)（C）。完整的動(dòng)作信息可以只使用腳注要增加。包括完整動(dòng)作信息的FSM定義可以使用狀態(tài)表。

狀態(tài)轉(zhuǎn)移表

?

除了建模這里介紹的反應(yīng)系統(tǒng)之外，有限狀態(tài)自動(dòng)機(jī)在很多不同領(lǐng)域中是重要的，包括 電子工程 、 語言學(xué) 、 計(jì)算機(jī)科學(xué) 、 哲學(xué) 、 生物學(xué) 、 數(shù)學(xué) 和 邏輯學(xué) 。有限狀態(tài)機(jī)是在 自動(dòng)機(jī)理論 和 計(jì)算理論 中研究的一類自動(dòng)機(jī)。在計(jì)算機(jī)科學(xué)中，有限狀態(tài)機(jī)被廣泛用于建模應(yīng)用行為、硬件電路系統(tǒng)設(shè)計(jì)、軟件工程，編譯器、網(wǎng)絡(luò)協(xié)議、和計(jì)算與語言的研究。

有限狀態(tài)機(jī)