Le Projet Vaucanson The Vaucanson Project

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

The Vaucanson Projet groups together a series of realizations the purpose of which is the embodiment of finite state machines — in various ways.

Awali, une plateforme logicielle pour calculer des automates finis. a software platform for computing finite automata.

Awali est une plateforme logicielle dédiée au calcul de, et avec des, automates finis. «Automates finis» doit être compris ici dans le sens le plus large, couvrant aussi bien les automates finis «avec sortie», en général appelés «transducteurs» que les automates finis «avec multiplicité», c'est-à-dire des automates qui ne se bornent pas à accepter, ou pas, des séquences de symboles, mais leur associent des valeurs et ces valeurs peuvent être prises dans des ensembles très variés, d'où la variété des situations que l'on peut ainsi modéliser.

Awali is a software platform dedicated to the computation of, and with, finite state machines. Here finite state machines is to be understood in the broadest possible sense: finite automata with output — often called transducers then — or even more generally finite automata with multiplicity, that is, automata that not only accept, or recognize, sequences of symbols but compute for every such sequence a `value' that is associated with it and which can be taken in any semiring. Hence the variety of situations that can thus be modellized.

VauCanSon-G, un paquetage de macros LaTeX pour dessiner des automates. a LaTeX macro package for drawing automata.

VauCanSon-G est un paquetage de macros fondé sur PSTricks et qui permet de dessiner «facilement» des automates à l'intérieur d'un texte, ou de transparents, écrits en LaTeX.

Vaucanson-G is a package of macros based on PSTricks and allows to `easily' draw automata within texts or slides written using LaTeX.

Contacts

Sylvain Lombardy     LaBRI     Sylvain.Lombardylabri.fr

Victor Marsault     LIGM, Université Paris-Est Marne-la-Vallée, ESIEE-Paris, ENPC et CNRS.     victor.marsaultu-pem.fr

Jacques Sakarovitch     CNRS / IRIF, University Paris 7 and Telecom ParisTech     Jacques.Sakarovitchtelecom-paristech.fr