有限狀態機
![本頁使用了標題或全文手工轉換](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Finite_state_machine_example_with_comments.svg/225px-Finite_state_machine_example_with_comments.svg.png)
有限狀態機(英語:finite-state machine,縮寫:FSM)又稱有限狀態自動機(英語:finite-state automaton,縮寫:FSA),簡稱狀態機,是表示有限個狀態以及在這些狀態之間的轉移和動作等行為的數學計算模型。
概念和術語
[編輯]狀態儲存關於過去的資訊,就是說:它反映從系統開始到現在時刻的輸入變化。轉移指示狀態變更,並且用必須滿足確使轉移發生的條件來描述它。動作是在給定時刻要進行的活動的描述。有多種類型的動作:
- 進入動作(entry action):在進入狀態時進行
- 退出動作(exit action):在退出狀態時進行
- 輸入動作:依賴於當前狀態和輸入條件進行
- 轉移動作:在進行特定轉移時進行
FSM(有限狀態機)可以使用上面圖1那樣的狀態圖(或狀態轉移圖)來表示。此外可以使用多種類型的狀態轉移表。下面展示最常見的表示:當前狀態(B)和條件(Y)的組合指示出下一個狀態(C)。完整的動作資訊可以只使用註腳來增加。包括完整動作資訊的FSM定義可以使用狀態表。
狀態轉移表 當前狀態→
條件↓狀態A 狀態B 狀態C 條件X … … … 條件Y … 狀態C … 條件Z … … …
除了建模這裏介紹的反應系統之外,有限狀態自動機在很多不同領域中是重要的,包括電子工程、語言學、電腦科學、哲學、生物學、數學和邏輯學。有限狀態機是在自動機理論和計算理論中研究的一類自動機。在電腦科學中,有限狀態機被廣泛用於建模應用行為、硬件電路系統設計、軟件工程,編譯器、網絡協定、和計算與語言的研究。
分類
[編輯]有兩個不同的群組:接受器/辨識器和變換器。
接受器和辨識器
[編輯]![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a8/Fsm_parsing_word_nice.svg/400px-Fsm_parsing_word_nice.svg.png)
接受器和辨識器(也叫做序列檢測器)產生一個二元輸出,說要麼「是」要麼「否」來回答輸入是否被機器接受。所有FSM的狀態被稱為要麼接受要麼不接受。在所有輸入都被處理了的時候,如果當前狀態是接受狀態,輸入被接受,否則被拒絕。作為規則,輸入是符號(字元);動作不使用。圖2中的例子展示了接受單詞"nice"的有限狀態自動機,在這個FSM中唯一的接受狀態是狀態7。
機器還可以被描述為定義了一個語言,它包含了這個機器所接受而非拒絕的所有字詞;我們稱這個語言被這個機器接受。通過定義,FSM接受的語言是正則語言 - 就是說,如果一個語言被某個FSM接受,那麼它是正則的(cf. Kleene的定理)。
開始狀態
[編輯]開始狀態通常用「沒有起點的箭頭」指向它來表示[1]
接受狀態(或稱最終狀態)是一個機器回報到目前為止,輸入字串屬於它所接受的內容之狀態。狀態圖中通常將其標示為雙圓圈。
開始狀態也可以是接受狀態,此情況下自動機會接受空字串。如果開始狀態不是接受狀態,且沒有可以連到任何接受狀態的箭頭,那麼此自動機就不會「接受」任何輸入。
一個接受狀態的例子如圖3:一台判斷輸入二進位字串是否含有偶數個0的 確定有限自動機(DFA)。
S1 代表着已經輸入了偶數個0,因此S1 即為接受狀態(同時亦為開始狀態)。若輸入含有偶數個0(包含沒有0的字串),則此機器會以接受狀態來結束。
被這台DFA接受的字串,舉例來說是ε(空字串), 1, 11, 11…, 00, 010, 1010, 10110…等等。
變換器
[編輯]變換器使用動作基於給定輸入和/或狀態生成輸出。它們用於控制應用。常分為兩種類型:
Moore機
[編輯]只使用進入動作的FSM,就是說輸出只依賴於狀態。Moore模型的好處是行為的簡單性。圖1的例子展示了一個電梯門的Moore FSM。這個狀態機辨識兩個命令:「command_open」和「command_close」觸發狀態變更。在狀態「Opening」中的進入動作 (E:)開啟電機開門,在狀態「Closing」中的進入動作以反方向開啟電機關門。狀態「Opened」和「Closed」不進行任何動作。它們訊號通知外部世界(比如其他狀態機)情況:「門開着」或「門關着」。
Mealy機
[編輯]![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/72/Fsm_mealy_model_door_control.svg/350px-Fsm_mealy_model_door_control.svg.png)
只使用輸入動作的FSM,就是說輸出依賴於輸入和狀態。Mealy FSM的使用經常導致狀態數目的簡約。在圖4中的例子展示了實現同上面Moore機同樣行為的Mealy FSM(行為依賴於實現的FSM執行模型,比如對虛擬FSM可工作但對事件驅動FSM不行)。有兩個輸入動作(I:):「開啟電機關門如果command_close下達」和「逆向開啟電機開門如果command_open下達」。
在實踐中經常使用混合模型。
進一步可區分為確定型(DFA)和非確定型(NDFA、GNFA)自動機。在確定型自動機中,每個狀態對每個可能輸入只有精確的一個轉移。在非確定型自動機中,給定狀態對給定可能輸入可以沒有或有多於一個轉移。這個區分在實踐而非理論中更有用,因為存在演算法把任何NDFA轉換成等價的DFA,儘管這種轉換一般會增加自動機的複雜性。
只有一個狀態的FSM叫做組合FSM並只使用輸入動作。這個概念在多個FSM要一起工作的情況下是有用的,這時把純組合部分看作一種形式的FSM來適合設計工具可能是方便的。
FSM邏輯
[編輯]![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/64/Finite_State_Machine_Logic.svg/200px-Finite_State_Machine_Logic.svg.png)
FSM的下一個狀態和輸出是由輸入和當前狀態決定的。FSM邏輯在圖5中展示。
數學模型
[編輯]依據類型不同有多種定義。接受器有限狀態機是五元組,這裏的:
- 是輸入字母表(符號的非空有限集合)。
- 是狀態的非空有限集合。
- 是初始狀態,它是的元素。在非確定有限狀態自動機中,是初始狀態的集合。
- 是狀態轉移函數:。
- 是最終狀態的集合,的(可能為空)子集。
變換器有限狀態自動機是六元組,這裏的:
- 是輸入字母表(符號的非空有限集合)。
- 是輸出字母表(符號的非空有限集合)。
- 是狀態的非空有限集合。
- 是初始狀態,它是的元素。在非確定有限狀態自動機中,是初始狀態的集合。
- 是狀態轉移函數:。
- 是輸出函數。
如果輸出函數是狀態和輸入字母表的函數(),則定義對應於Mealy模型,它可以建模為Mealy機。如果輸出函數只依賴於狀態 (),則定義對應於Moore模型,它可建模為Moore機。根本沒有輸出函數的有限狀態機叫做半自動機或轉移系統。
最佳化
[編輯]最佳化一個FSM意味着縮減狀態機的狀態數目,同時保證狀態機能實現同樣功能。一種可能是使用真值表或Moore簡約過程。另一種可能是無環FSA的由下而上演算法 (頁面存檔備份,存於互聯網檔案館)。
實現
[編輯]硬件應用
[編輯]![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/76/4_bit_counter.svg/400px-4_bit_counter.svg.png)
在數碼電路中,FSM可以用可程式化邏輯裝置、可程式化邏輯控制器、邏輯門和正反器或繼電器來建造。更明確的說,硬件實現要求暫存器來儲存狀態變數,確定狀態轉移的一塊組合邏輯,和確定FSM輸出的另一塊組合邏輯。一類經典硬件實現是Richards 控制器。
軟件應用
[編輯]下列概念經常用來建造有有限狀態機的軟件應用:
參考文獻
[編輯]- ^ Sipser, Introduction to the Theory of Computation (2006), p. 34
參考書目
[編輯]- Wagner, F., "Modeling Software with Finite State Machines: A Practical Approach", Auerbach Publications, 2006, ISBN 0-8493-8086-3.
- Samek, M., Practical Statecharts in C/C++[永久失效連結], CMP Books, 2002, ISBN 1-57820-110-1.
- Samek, M., Practical UML Statecharts in C/C++, 2nd Edition (頁面存檔備份,存於互聯網檔案館), Newnes, 2008, ISBN 0-7506-8706-1.
- Cassandras, C., Lafortune, S., "Introduction to Discrete Event Systems". Kluwer, 1999, ISBN 0-7923-8609-4.
- Timothy Kam, Synthesis of Finite State Machines: Functional Optimization. Kluwer Academic Publishers, Boston 1997, ISBN 0-7923-9842-4
- Tiziano Villa, Synthesis of Finite State Machines: Logic Optimization. Kluwer Academic Publishers, Boston 1997, ISBN 0-7923-9892-0
- Carroll, J., Long, D. , Theory of Finite Automata with an Introduction to Formal Languages. Prentice Hall, Englewood Cliffs, 1989.
- Kohavi, Z., Switching and Finite Automata Theory. McGraw-Hill, 1978.
- Gill, A., Introduction to the Theory of Finite-state Machines. McGraw-Hill, 1962.
- Ginsburg, S., An Introduction to Mathematical Machine Theory. Addison-Wesley, 1962.
外部連結
[編輯]- Description from the Free On-Line Dictionary of Computing[永久失效連結]
- NIST Dictionary of Algorithms and Data Structures entry (頁面存檔備份,存於互聯網檔案館)
- Hierarchical State Machines (頁面存檔備份,存於互聯網檔案館)
- Round-trip Engineering State Machines
- Using state machines in practical applications
- Flash based demonstration of Finite State Machines being used in regular expressions
- "Moore or Mealy model?" (頁面存檔備份,存於互聯網檔案館)關於使用Moore和Mealy模型的區別的細節,包括執行例子
參見
[編輯]
|
|
|