summaryrefslogtreecommitdiff
path: root/3860/CH9/EX9.1/Ex9_1.txt
blob: 9483bb1e7f53090ab3b72a85608c9c8408f0a884 (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
 
 Given State Table

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

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

 A |     C           B    |    0        0

 B |     D           D    |    0        0

 C |     A           D    |    0        1

 D |     A           C    |    0        1

 State C and D are equivalent. So, reduced state table is as given below.

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

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

  A  |     C-D           B     |    0        0

  B  |     C-D          C-D    |    0        0

 C-D |      A           C-D    |    0        1