Microsoft Word - Digital Logic Design v_4_6a

indicates that the following states are equivalent:

 S 0 does not have equivalent, so it will need a new designator Y 0 state


 S 1 – S 2 – S 3 – S 5 are equivalent so they can be called Y 1 state


 S 4 – S 6 are equivalent so they both can be called Y 2 state

 Step 5) Present/Next State Table for the minimized state machine:

Input Sequence

Present State

Next State

X=0 X=1

Output

X=0 X=1

Reset Y 0 Y 1 Y 1 0 0

00,01 or 10 Y 1 Y 1 Y 2 0 0

01 or 11 Y 2 Y 1 ’ Y 2 1 0