Introducing Vaucanson

Sylvain Lombardy (1) , Yann Regis-Gianas (2) , Jacques Sakarovitch (3)

1 LIAFA - Laboratoire d'informatique Algorithmique : Fondements et Applications
2 LRDE - Laboratoire de Recherche et de Développement de l'EPITA
3 LTCI - Laboratoire Traitement et Communication de l'Information

This paper reports on a new software platform called Vaucanson and dedicated to the computation with automata and transducers. Its main feature is the capacity of dealing with automata whose labels may belong to various algebraic structures. The paper successively describes the main features of the Vaucanson platform, including the fact that the very rich data structure used to implement automata does not weigh too much on the performance, shows how Vaucanson allows to program algorithms on automata in a way which is very close to the mathematical expression of the algorithm and finally explains the main choices of the programming design that enable to achieve both genericity and efficiency.

Mots clés: Automata implementation; Automata with multiplicity; Generic programming

Domaines: Logiciel mathématique [cs.MS]

Sylvain Lombardy, Yann Regis-Gianas, Jacques Sakarovitch. Introducing Vaucanson. Theoretical Computer Science, 2004, 328, pp.77-96. ⟨10.1016/j.tcs.2004.07.007⟩. ⟨hal-00017540⟩