温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开了一种状态机等价变换的方法及装置。该方法包含变换类型判断步骤、顺序块状态提取步骤、循环块状态提取步骤、嵌套循环块状态提取步骤。该状态机等价变换装置是能够接收一个或多个符合等价变换规则的状态块输入，执行状态机等价变换方法中的所有步骤...
该专利属于中国科学院自动化研究所所有，仅供学习研究参考，未经过中国科学院自动化研究所授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。