next up previous
Next: Visualization of Automata Up: Operations on Finite Automata Previous: Composition

Determinization of Transducers

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 >

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.

Noord G.J.M. van