next up previous
Next: Previous Work Up: Introduction Previous: Smaller Automata

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.

Noord G.J.M. van