Vaucanson is a finite state machine manipulation
platform, composed of a library and tools
implemented on top of it. The goal of this library
is to enable the development of C++ programs in an
abstract and general way with a large
specialization power. On the one hand, it allows
the writing of algorithms that work on every
automaton with weights over any semirings and with
words from any free monoids. And on the other
hand, a particular algorithm can be specialized
for a particular data structure implementing only
a pseudo behavior.
