3860/CH9/EX9.10/Ex9_10.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

 
 Given State Table

 q |    x=0         x=1   |    z

 --------------------------------

 A |     C           D    |    0

 B |     D           A    |    1

 C |     E           D    |    0

 D |     B           A    |    0

 E |     C           D    |    0

 States A-C-E and B-D are equivalent

  q  |     x=0      x=1   |    z

 ------------------------------------

  A |      A         B    |    0

  B  |     B         A    |    1