summaryrefslogtreecommitdiff
path: root/3860/CH9/EX9.4/Ex9_4.txt
blob: f2d0ed91574eadae7213702252d5c4e9ea64cd7f (plain)
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
27
28
29
30
31
32
 
 Given State Table

 q |    x=0         x=1   |   x=0      x=1

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

 A |     F           B    |    0        0

 B |     E           G    |    0        0

 C |     C           G    |    0        0

 D |     A           C    |    1        1

 E |     E           D    |    0        0

 F |     A           B    |    0        0

 G |     F           C    |    1        1

 State A-F, B-C-E, and D-G are equivalent. So, reduced state table is as given below.

 q   |    x=0       x=1    |   x=0      x=1

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

  A  |     A         B     |    0        0

  B  |     B         D     |    0        0

  D  |     A         B     |    1        1