Text this: 用于协议一致性测试序列生成的状态规范化算法