fst-0.9.0.1: Finite state transducers
FST.Complete
complete :: Eq a => Automaton a -> Automaton aSource