有限狀態(tài)機(jī)基礎(chǔ)知識(shí)及練習(xí)輔導(dǎo)講座1/13狀態(tài)機(jī)一般定義（FiniteStateMachine，F(xiàn)SM）◆狀態(tài)機(jī)——一種離散數(shù)學(xué)模型。給定一種輸入集合，根據(jù)對(duì)輸入接收次序來(lái)決定一種輸出集合。（摩爾狀態(tài)機(jī)）◆狀態(tài)——系統(tǒng)基本數(shù)學(xué)特性。◆有限狀態(tài)機(jī)——輸入集合和輸出集合都是有限，并只有有限數(shù)目標(biāo)狀態(tài)。2/13輸入集合A輸出集合X狀態(tài)記憶輸出形成狀態(tài)遷移狀態(tài)機(jī)一般構(gòu)造CLK組合邏輯時(shí)序邏輯同步目前狀態(tài)后續(xù)狀態(tài)3/13Sa1,a2,…,anx1,x2,…,xn狀態(tài)位置狀態(tài)名稱轉(zhuǎn)移方向輸入集合（觸發(fā)事件）輸出集合（執(zhí)行動(dòng)作）狀態(tài)等候狀態(tài)遷移圖4/13狀態(tài)機(jī)實(shí)例——自動(dòng)門

有一自動(dòng)門，它能夠被鎖上，也能夠開(kāi)鎖。當(dāng)門鎖上時(shí)，某人能夠在它槽中塞進(jìn)一枚硬幣。這樣，門就會(huì)自動(dòng)開(kāi)鎖，轉(zhuǎn)變到開(kāi)鎖狀態(tài)；人通過(guò)后，門就會(huì)自動(dòng)鎖上。我們希望把自動(dòng)門交給一種簡(jiǎn)單FSM管理。通過(guò)對(duì)這個(gè)簡(jiǎn)單FSM分析，理解FSM設(shè)計(jì)過(guò)程。5/13自動(dòng)門基本狀態(tài)加鎖開(kāi)鎖投幣/開(kāi)鎖通過(guò)/加鎖初始狀態(tài)Φ/加鎖狀態(tài)機(jī)實(shí)例6/13異常處理通過(guò)/報(bào)警投幣/謝謝加鎖開(kāi)鎖投幣/開(kāi)鎖通過(guò)/加鎖初始狀態(tài)Φ/加鎖狀態(tài)機(jī)實(shí)例7/13自動(dòng)門構(gòu)造簡(jiǎn)圖狀態(tài)機(jī)實(shí)例聲光報(bào)警投幣傳感器通過(guò)傳感器加鎖執(zhí)行控制器開(kāi)鎖執(zhí)行“謝謝”時(shí)鐘CLK8/13通過(guò)/報(bào)警投幣/謝謝加鎖開(kāi)鎖投幣/開(kāi)鎖通過(guò)/加鎖異常處理優(yōu)化狀態(tài)機(jī)實(shí)例修改“加鎖”狀態(tài)異常處理初始狀態(tài)Φ/加鎖9/13投幣/謝謝加鎖開(kāi)鎖投幣/開(kāi)鎖通過(guò)/加鎖異常處理優(yōu)化狀態(tài)機(jī)實(shí)例修改“加鎖”狀態(tài)異常處理初始狀態(tài)Φ/加鎖10/13一種更加好異常處理方案投幣/謝謝加鎖開(kāi)鎖投幣/開(kāi)鎖通過(guò)/加鎖初始狀態(tài)Φ/加鎖違例通過(guò)/報(bào)警通過(guò)投幣解警/消除警報(bào)就緒/消除警報(bào)、加鎖狀態(tài)機(jī)實(shí)例是否完美了？？？？、撤消“謝謝”2s/撤消“謝謝”再問(wèn)一次：是否完美了？………………完美只是相對(duì)！“就緒”是退出“違例”狀態(tài)唯一條件！可靠性條件是充足經(jīng)濟(jì)性條件是必要完美性條件是充足和必要11/13小結(jié)（概念）◆無(wú)論對(duì)連續(xù)系統(tǒng)還是離散系統(tǒng)，狀態(tài)概念無(wú)所不在。FSM提供了一種描述和控制應(yīng)用邏輯非常強(qiáng)大辦法，具有規(guī)則簡(jiǎn)單、可讀性和可驗(yàn)證性強(qiáng)等特點(diǎn)。◆FSM也是個(gè)不錯(cuò)工具。很多復(fù)雜邏輯都能夠用一張圖表來(lái)表述。◆對(duì)一種復(fù)雜離散系統(tǒng)而言，使用FSM方案幾乎無(wú)所不能。FSM在通信協(xié)議、圖形界面控制和其他很多工程應(yīng)用中都有其足跡。

12/13◆明確對(duì)象要求，確定輸入和輸出集合，合理分派狀態(tài)。小結(jié)（辦法）◆確定狀態(tài)遷移方向和遷移觸發(fā)條件，確定合乎要求輸出集合。◆充足估計(jì)多種異