Transducer composition in Vaucanson 2

From LRDE

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Abstract

Transducers are used in many fields, such as linguistics to model phonological rules, regular expressionsspecification languages, speech recognition... When working with transducers, one of the most indispensable tools is composition. As such, it is essential to implement it in Vaucanson 2 in an efficient way. This report will introduce the ground work to bring about transducers composition, and then its implementation and optimization. The composition is viewed here as a special case of the product of automata with spontaneous transitions, so three algorithms for this product are exposed here, as well as some essential implementation concepts.