Determinization of a transducer can be performed with the
-td option. Standard input consists of the transducer
to be determinized. The determinized transducer is written to standard
output.
% fsa -td <a2b.a2b.tnd >a2b.a2b.td
(30)
The determinization algorithm for transducers is described in Roche
and Schabes ([12]). Not every transducer can be
determinized. This procedure is guaranteed to terminate only if the
input transducer can be determinized. Furthermore, note that the
output transducer is a sub-sequential transducer: each final
state is associated with a sequence of symbols that are outputted if
the system halts in that state.
