State Reduction Algorithm
Step 1 -- find the maximal compatibles
Step 2 -- find the maximal incompatibles
Step 3 -- Find the upper and lower bounds on the number of states needed
Step 4 -- Find a set of compatibility classes that is complete, consistent, and minimal
Step 5 -- Produce the minimum state table