In general for an n-state machine, we will have (n^2 - n)/2 cells. Each of the cells in the
implication chart relates State Sj with State Si.
Note: The order is not important.
Step 3) Fill-in each cell (Xij) in the implication table with one of the following two options:
- X if the Si and Sj have different outputs.
(state output for Moore machine and transition output for the Mealy machine) - Transition states for Sj and Si for each of the inputs
This means that the next states for all possible inputs must be equivalent for these states
to be equivalent.