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