The automata namespace in Vaucanson contains all the compounds which are needed to manipulate automataic structures. Both structural elements (e.g. Alphabets, Monoids, etc.) and implementations of those elements (polynoms, rational expressions, etc.) are presents in this namespace.
AlphabetSet MonoidBase FreeMonoid FreeMonoidProduct SemigroupBase NumericalSemiring TropicalSemiring Series
1.5.2