Transducer composition in Vaucanson 2

From LRDE

(Redirected from Publications/201401-Seminar-Tolmer)

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.