Sarah O'Connor. Implementation of transducers in Vaucanson.. LRDE Seminar June 2004

Developping a generic librairy aiming at automata manipulation such as Vaucanson implies being able to provide the user with different types of automata, including transducers. These automata are different from the others because they can be studied from different algebraic points of view. Therefore particular features are needed.

Transducers are a particular type of weighted automata, just like ``classic'' automata. With weighted automata, the input word is not only acknowledged, but rather evaluated. In the case of a transducer, evaluating a word will produce a set of words in output.

First we will see transducers from a theoretical point of vue. Then, operations and manipulations interesting to be provided will be shown. Finally we will se how transducers have been added to the library.

• o-connor0604_transducers-slides.pdf