** Next:** Previous Work
** Up:** Introduction
** Previous:** Smaller Automata

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*

*2001-06-22*