Minimization Procedure
Select a set of compatibility classes so that the following conditions are satisfied
Completeness: all states of the original machine must be covered
Consistency: the chosen set of compatibility classes must be closed
Minimality: the smallest number of compatibility classes is used