DFAMin
minimizeDFA :: forall a. Ord a => DFA OldSNum a -> DFA NewSNum a Source #
Reduce the number of states in the given DFA by grouping indistinguishable states.