Vaucanson Project

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

Launched in the beginning ofthe year 2000, it gradually took shape with the definition of its components. The first and most important one, and the one which by far has mobilized most energy and work, is the Vaucanson Platform — also called VCSN in the sequel — a C++ generic library and software platform for the computation of, and with, finite states machines. It has been designed and realized in collaboration with the LRDE-EPITA.

The other components of the Vaucanson Project are VauCanSon-G, a LaTeX macro package for the drawing of automata, a proposal for an XML format for the description of finite state machines, called FSM-XML, and VGI, a graphical user interface for an interactive and user friendly usage of the Vaucanson plaform.