Le Projet Vaucanson

Le Projet Vaucanson regroupe diverses réalisations qui ont toutes pour objectif la matérialisation des automates — sous diverses formes.

Lancé au début de l'année 2000, ce projet s'est constitué progressivement et comprend actuellement plusieurs composantes dont la plus importante, et qui a de loin mobilisé le plus d'énergie, est la plateforme Vaucanson — notée également VCSN dans la suite — plateforme logicielle et bibliothèque générique écrite en C++, pour le calcul et la manipulation d'automates et de transducteurs, et conçue et réalisée en collaboration avec le LRDE-EPITA.

Se rattachent également au projet: un paquetage de macros LaTeX pour le dessin d'automates, appelé VauCanSon-G, une proposition de format XML pour la description des automates, appelé FSM-XML, et, à un stade encore expérimental, VGI, une interface graphique pour une utilisation interactive et conviviale de la plateforme Vaucanson.