Text this: EFSM的等价转换和通信协议一致性测试