summaryrefslogtreecommitdiff
path: root/3860/CH9/EX9.5/Ex9_5.txt
blob: 9944ec017217ff56ab942a601401dfe14d419587 (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 |     B           D    |    0        0

 B |     E           D    |    1        0

 C |     B           C    |    0        0

 D |     F           A    |    0        0

 E |     A           B    |    1        1

 F |     E           C    |    1        0

 The set of equivalent states are A(A-C-D), B(B-F) and E

 The reduced state table is given below

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

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

 A |     B           A    |    0        0

 B |     E           A    |    1        0

 E |     A           B    |    1        1