| 专利名称 | 一种状态机等价变换的方法和装置 | 申请号 | CN201410836231.6 | 专利类型 | 发明专利 | 公开（公告）号 | CN104572028A | 公开（授权）日 | 2015.04.29 | 申请（专利权）人 | 中国科学院自动化研究所 | 发明（设计）人 | 王磊;杨磊;谢少林 | 主分类号 | G06F9/38(2006.01)I | IPC主分类号 | G06F9/38(2006.01)I | 专利有效期 | 一种状态机等价变换的方法和装置 至一种状态机等价变换的方法和装置 | 法律状态 | 实质审查的生效 | 说明书摘要 | 本发明公开了一种状态机等价变换的方法及装置。该方法包含变换类型判断步骤、顺序块状态提取步骤、循环块状态提取步骤、嵌套循环块状态提取步骤。该状态机等价变换装置是能够接收一个或多个符合等价变换规则的状态块输入，执行状态机等价变换方法中的所有步骤，输出符合可拼接规则的状态块的装置。本发明的方法作为状态机拼接方法中的重要子方法，能够极大提高状态机拼接的范围和正确性。同时，还可以应用于其他类似程序段和代码段的形式变换和分析。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障