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

《表2 执行第一步骤后的可区分状态矩阵表结构》   提示:宽带有限、当前游客访问压缩模式
本系列图表出处文件名:随高清版一同展现
《基于自动机最简化的时序电路等价性验证方法》


  1. 获取 高清版本忘记账户?点击这里登录
  1. 下载图表忘记账户?点击这里登录

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