Vaucanson : une plate-forme de manipulation d'automates

Ce logiciel a été développé (ou est en cours de développement) dans la communauté de l'Enseignement Supérieur et de la Recherche. Son état peut être variable (cf champs ci-dessous) donc sans garantie de bon fonctionnement.
Fiche dév Ens Sup - Recherche
  • Création ou MAJ importante : 15/09/08
  • Correction mineure : 18/12/09
  • Auteur de la fiche : Teresa Gomez-Diaz (LIGM)
  • Responsable thématique : Violaine Louvet (Institut Camille Jordan)
Mots-clés
Fonctionnalités générales du logiciel

Cette bibliothèque C++ contient :

  • des structures algébriques, y compris :
    • une implémentation des polynômes comme des maps entre le monoide des valeurs et le monoide des poids
    • des expressions rationelles implémentées comme arbres binaires
  • des structures d'automate, utilisant une structure de graphe, ce qui garantit une complexité minimale pour la plupart des opérations
  • des algotithmes
  • une suite générique de tests permettant de traiter les extensions des utilisateurs
Contexte d’utilisation du logiciel

Vaucanson est une plate-forme de manipulation d'automates initiée par Jacques Sakarovitch et Sylvain Lombardy en 2001. Un automate est un outil de calcul pour le traitement des langues ou l'automatique.
Jusqu'à présent ce type de plate-forme était conçu pour fonctionner soit à une échelle industrielle, restreinte (pour être efficace) aux automates pondérés traitant des tokens (FSM), soit pour traiter les automates de façon plus abstraite et mathématique (FSA). En utilisant la programmation statique et générique de C++, Vaucanson a pour but d'englober ces deux orientations.
Notre environement de travail est l'ensemble des automates avec multiplicité sur un semi-anneau : un algorithme général est écrit une seule fois et il est instancié statiquement pour chaque type d'automate. De cette façon nous obtenons des algorithmes efficaces écrits de façon abstraite en utilisant des primitives basiques de la bibliothèque C++.

Publications liées au logiciel