有限状态机（Finite-state machine）又称有限状态自动机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。常用与：正则表达式引擎，编译器的词法和语法分析，游戏设计，网络协议，企业应用中等方面。
状态机可归纳为4个要素，即现态、条件、动作、次态。这样的归纳，主要是出于对状态机的内在因果关系的考虑。
“现态”和“条件”是因，“动作”和“次态”是果。
1. 现态：是指当前所处的状态。
2. 条件：又称为“事件”，当一个条件被满足，将会触发一个动作，或者执行一次状态的迁移。
3. 动作：条件满足后执行的动作。动作执行完毕后，可以迁移到新的状态，也可以仍旧保持原状态。动作不是必需的，当条件满足后，也可以不执行任何动作，直接迁移到新状态 。
4. 次态：条件满足后要迁往的新状态。“次态”是相对于“现态”而言的，“次态”一旦被激活，就转变成新的“现态”了。
有限状态机 FSM 实现
用while{switch/case}(推荐可读性高) 或 if/else 实现，简单粗暴，适合简单的小型状态机；
用设计模式中的 state pattern，把复杂判断的逻辑简化，利于组织代码；
用状态表设计，建立状态表和动作查询表，根据状态表、事件、动作表定位相应的动作处理函数，执行完成后再进行状态的切换；