mealy状态机相关论文