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/)
--
Loulou
loulou(a)lrde.epita.fr
