例:观察法化简不重码101检测器原始状态 图。S和S3输出同态,相互等价,合并为一状 态S,得简化状态图。 不重码101检测器 不筒化状态图 0/0 1/0 0/0 不重码101检测器 1/10/0 原始状态图 蕴含表法等价对判定:适于比较复杂的原始 状态图表,可防止遗漏,条理清晰。 蕴含表格式: S0S3等价 隐含状态 S2S5不等价 设全部原始状态按序排列为S.」S 1.建立网格,“掐头”“去尾”标注 2.逐格进行初始判定并填写结果。(等价,例：观察法化简不重码 101 检测器原始状态 图。 S0和 S3 输出同态，相互等价，合并为一状 态 S0，得简化状态图。 图4.13 例4.3不重码101检测电路 的原始状态图 S0 S1 S2 S3 0/0 0/0 1/0 1/1 0/0 1/0 0/0 1/0 1/0 S0 S1 S2 1/0 0/0 1/1 0/0 0/0 蕴含表法等价对判定：适于比较复杂的原始 状态图表，可防止遗漏，条理清晰。 蕴含表格式： S4 S5 S6 S3 S2 S1 × S2S3 S0S4 S1S3 S1 S2 S3 S4 S5 S0 S0 S3 等价 隐含状态 S3S5不等价 设 全 部 原 始 状 态 按 序 排 列 为 S0…SN 。 1.建立网格，“掐头”“去尾”标注。 2． 逐格进行初始判定并填写结果。（等价， 不重码 101 检测器 原始状态图 不重码 101 检测器 不简化状态图