fst-0.9.0.1: Finite state transducers
FST.DeterministicT
determinize :: Ord a => Transducer a -> Transducer aSource