Le LRDE vous annonce la disponibilité de la version 0.7.1 de la bibliothèque de manipulation d'automates finis Vaucanson. http://vaucanson.lrde.epita.fr
Cette version est une mise à jour mineure de la version 0.7, avec des corrections sur plusieurs algorithmes usuels ainsi que de nouveaux algorithmes sur les transducteurs sur le produit direct de monoides libres. Egalement, la proposition de format XML a été simplifiée et documentée en vue de la présentation lors de la conférence CIAA'05 (http://www.i3s.unice.fr/ciaa05/).