After the application of previous two rules we will end up with the following table.
Note: At this stage, many of the states have been eliminated.
Step 4)
We go through the chart repeatedly until a complete pass can be done through the chart
without making any additional X markings.
- First Marking Pass – we are looking for cases where the dependencies are not valid.
For example, for States S0 and S1 to be equivalent, we must have S1 – S3 equivalent
and S2 –S4 equivalent.
Since the cells relating S2 and S4 are crossed out, then the S0 and S1 cell must be
crossed out. Continue this process (top-down and left to right) through the chart.
S 1 – S 3
S 2 – S 4
S 1 – S 5
S 2 – S 6
S 1 – S 3
S 2 – S 4
X
S 1 – S 3
S 2 – S 4
X
S 1
S 2
S 3
S 4
S 5
S 6
S 3 – S 5
S 4 – S 6
S 3 – S 3
S 4 – S 4
X
S 3 – S 3
S 4 – S 4
X
S 5 – S 3
S 6 – S 4
X
S 5 – S 3
S 6 – S 4
X
X
S 3 – S 3
S 4 – S 4
X
X
S 5 – S 5
S 6 – S 6 X
S 0 S 1 S 2 S 3 S 4 S 5
Mean S0 S1 and S1 S3 when X=0.
Mean S0 S2 and S1 S4 when X=1.