fst-0.9.0.1: Finite state transducers
FST.MinimalBrzozowski
minimize :: Ord a => Automaton a -> Automaton aSource