X=0 X=1 A A/O D/1 A/O D/1 A≈B 2)在所有输入条件下,输出相同,次态是 相互交错,则两者等价。 例如: Ⅹ=0 Ⅹ=1 AB B/0 C/1 A/0C/1 相互交错,A≈B
2）在所有输入条件下，输出相同，次态是 相互交错，则两者等价。 例如： 相互交错
3)互为隐含条件 例如: X=0X=1 B/0C/0 ABCD E/1C/0 D/0A/0 E/1A/0 EE/1 A/ 若要A≈C则B≈D; 而B≈D则A≈C,互为隐含条件。 因而可判断(A,C),(B,D)分别等价
3）互为隐含条件 例如： 若要A ≈ C 则 B ≈ D ； 因而可判断（A，C），（B，D）分别等价。 而 B ≈ D 则 A ≈ C ，互为隐含条件
建立了这些基本概念后,下面进行简化。 简化方法:利用隐含表进行简化。 a)画隐含表 方法:把原始状态表中的状态 纵横依次排列,呈直角三角形网 格,两直角边上的网格数为状 态数减1,即:缺头少尾。垂直 边由上向下标明的状态号“缺D 头”,水平边上由左向右标明F 的 Ab C D 状态号“少尾”,这样的表格 称
简化方法：利用隐含表进行简化。 a) 画隐含表 方法：把原始状态表中的状态 纵横依次排列,呈直角三角形网 格，两直角边上的网格数为状 态数减1，即：缺头少尾。垂直 边由上向下标明的状态号“缺 头”，水平边上由左向右标明 的 状态号 “少尾”，这样的表格 称 为隐含表。 建立了这些基本概念后，下面进行简化
例6.3.2化简原始状态转移表6.3.2。 表6.3.2例6.3.2的原始状态转移表 N(t)z(t X=0 X=1 A C/1 B/0 B C/1 E/0 B/1 E/0 B/1 E D/1 B/1 解:①作状态对图
例6.3.2 化简原始状态转移表6.3.2。 解：① 作状态对图 S(t) N(t)/Z(t) X=0 X=1 A C/1 B/0 B C/1 E/0 C B/1 E/0 D D/1 B/1 E D/1 B/1 表 6.3.2 例6.3.2的原始状态转移表
BCDE A C D 图6.3.4(a) b)进行顺序比较,作隐含表 比较方法:A与B,A与C,B与C; A与D,B与D,C与D; A与E,B与E,C与E,D与E
b)进行顺序比较，作隐含表 比较方法:A与B ， A与C ， B与C； A与D ， B与D ， C与D ； A与E ， B与E , C与E , D与E 。 A B C D E D C B 图 6.3.4 (a)