《表2 执行第一步骤后的可区分状态矩阵表结构》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于自动机最简化的时序电路等价性验证方法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

（2）由图2可知{S13}∈G，{S10，S11，S12}∈S-F-G；执行算法第一个for循环，找到状态对（S10，S13）、（S11，S13）、（S12，S13），用“×”进行标注，表示此些表项为可区分的，其所得结果如表2所示：