Vaucanson 1.3 (May 26th, 2009)
The
Vaucanson library is free software. It is distributed under the
conditions of the GNU General Public License
(
www.gnu.org).
Downloads
- Tarballs (sources to compile):
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.
Requirements
- C++ compiler
- G++ 4.x
- XML
- The XML I/O system is based on the use of the Apache Xerces
C++ library version 2.7+ (http://xml.apache.org/xerces-c/).
(On Ubuntu/Debian, install the following packages: libxerces27 and libxerces27-dev, or libxerces-c28 and libxerces-c28-dev)
- Graphviz
- The display of automata is made using AT&T Graphviz library.
(On Ubuntu/Debian, install the following package: graphviz)
- Boost
- 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)
- Ncurses
- 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
--
AlexandreDuretLutz - 26 May 2009
to top