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

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

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

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

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

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

对于未标记的状态对（S10，S12），（S10，S11），（S11，S12）执行dowhile语句的第一次循环，每个状态对分别输入0、1，对所得到的状态对分别同时进行考察，假定有被标记过的状态对，则此状态对用“×”来标注，其所得结果如表3所示：