引言 有限状态机是根据当前状态以及触发条件进行状态转换的一种机制,包含一组状态集(state)、一个起始状态(start state)、一组输入符号集(alphabet)、一个映射输入符号和当前状态到下一状态的转换函数(transition function)的计算模型[1]。当输入符号串时,模型随即进入起始状态。要让状态机改变到新的状态,依赖于系统的转换函数。有限状态机中有许多变量,例如,与动作(actions)转换(Mealy机)或状态(摩尔机)关联的动作,多重起始状态,基于没有输入符号的转换或指定符号和状态(非定有限状态机)的多个转换、指派给接收状态(识别者)的一个或多个状态。有限