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 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 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.
Sylvain Lombardy
LaBRI
Sylvain.Lombardy
labri.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