Vaucanson 1.3 (May 26th, 2009)


The Vcsn library is free software. It is distributed under the conditions of the GNU General Public License (


Changes since version 1.2

  • A new XML subsystem, able to input and output automata as well as weighted rational expressions, using the specifications of FSMXML 0.5.
  • Support for alphabets of pairs and alphabets of integers. Letter-to-letter transducers can be converted into automata on pairs.
  • A new parser for weighted rational expressions, in which rational operators and other tokens can be redefined by users. For example the empty word and null series are no longer hard-coded to 1 and 0: this makes it possible to handle alphabets that contain 0 and 1 as letters.

Weights are now enclosed in braces by default to distinguish them from digits or integers letters.

  • A new algorithm, reduce(), computes a reduced representation of an automaton with weights in a skew field.
  • Several new TAF-Kit instances. Vaucanson now builds TAF-Kit instances for 13 different types of automata. Please refer the TAF-Kit manual for a summary of these instances.
  • The various delta() functions used to browse states and transitions in an automaton have been replaced by iterators.
 More detailed informations on updates are provided in the NEWS file of the package.

Changes since version 1.2.96

  • Support recent versions of Boost Multi-Index (1.36 to 1.38).
  • Support G++ 4.4.0.


C++ compiler
G++ 4.x
The XML I/O system is based on the use of the Apache Xerces C++ library version 2.7+ ( (On Ubuntu/Debian, install the following packages: libxerces27 and libxerces27-dev, or libxerces-c28 and libxerces-c28-dev)
The display of automata is made using AT&T Graphviz library. (On Ubuntu/Debian, install the following package: graphviz)
Boost provides free peer-reviewed portable C++ source libraries. (On Ubuntu/Debian, install the following packages: libboost-dev, libboost-serialization-dev, libboost-graph, libboost-graph-dev)
needed for building the TAF-KIT. (On Ubuntu/Debian, install the following packages: libncurses5, libncurses-dev).

Known Problems

Vaucanson is known not to work properly with Apple's G++ 4.0.0 on Tiger. Actually, it seems that it is G++ 4.0.0 which is known not to work properly: other library face similar issues. We don't know how to solve the problem, avoid it by specifying another compiler. For instance

./configure CC=gcc-4.1 CXX=g++-4.1

-- Main.AlexandreDuretLutz - 26 May 2009