有限状态机(Finite-state machine, FSM),又称有限状态自动机,简称状态机,是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型.FSM是一种算法思想,简单而言,有限状态机由一组状态.一个初始状态.输入和根据输入及现有状态转换为下一个状态的转换函数组成.现实世界中存在大量具有有限个状态的系统:钟表系统.电梯系统.交通信号灯系统.通信协议系统.正则表达式.硬件电路系统设计.软件工程,编译器等,有限状态机的概念就是来自于现实世界中的这些有限系统. 一般可以用状态图来对…