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
|