fst-0.9.0.1: Finite state transducers
FST.MinimalTBrzozowski
minimize :: Ord a => Transducer a -> Transducer aSource