Determinization of non-functional transducers

We show below that the introduction of predicates has the interesting effect that certain non-functional transducers can be treated by the transducer determinization algorithm [28,30,26,31,32]. Therefore a larger class of transductions can be implemented efficiently.