T Claveirole, S Lombardy, S O'Connor… - … on Implementation and …, 2005 - Springer
This paper presents some features of the Vaucanson platform. We describe some original
algorithms on weighted automata and transducers (computation of the quotient, conversion …