今天开始学习“有限状态机”。
有限状态机(Finite State Machine)又称有限状态自动机或简称状态机,是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。
1 Opened E: open door close_door 2 Closed E: close door open_door state transition transition condition entry action
进入动作——在进入状态时进行
退出动作——在退出状态时进行
输入动作——依赖于当前状态和输入条件进行
转移动作——在进行特定转移时进行
状态转移表
当前状态 -> 条件 |
状态 A |
状态 B |
状态 C |
条件 X |
... | ... | ... |
条件 Y |
... |
状态 C |
... |
条件 Z |
... | ... | ... |
除了建模这里介绍的反应系统之外,有限状态自动机在很多不同领域中是重要的,包括电子工程、 语言学、计算机科学、哲学、生物学、数学和逻辑学。有限状态机是在自动机理论和计算理论中研究的一类自动机。在计算机科学中,有限状态机被广泛用于建模应用行为、硬件电路系统设计、软件工程,编译器、网络协议、和计算与语言的研究。