Reduction involves 2 procedures: Partitioning of equivalent states Merging of compatible states Partitioning § Equivalent states are identified and grouped together