Problem 5: The state diagram shown below is for an incompletely specified Machine
a/ use a merger table to find the set of maximal compatibles
b/ find a reduced version of the state diagram; in other words, find a corresponding
cover Machine.
Next State, Z
Present
I1
I2
I3
I4
state
A
--
D,0
D,0
F, --
B
A,1
--
--
D, --
F
B,1
F,0
E,0
--
D
E, 1
F,0
--
D,0
E
--
--
--
A,1