Difference between revisions of "Vcsn/Vaucanson13"

From LRDE

(Rename Vaucanson namespace into Vcsn)
 
(Fix vaucanson links to vcsn links)
Line 15: Line 15:
 
== Changes since version 1.2 ==
 
== 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 [[Vaucanson/XML|FSMXML 0.5]].
+
* A new XML subsystem, able to input and output automata as well as weighted rational expressions, using the specifications of [[Vcsn/XML|FSMXML 0.5]].
   
 
* Support for alphabets of pairs and alphabets of integers. Letter-to-letter transducers can be converted into automata on pairs.
 
* Support for alphabets of pairs and alphabets of integers. Letter-to-letter transducers can be converted into automata on pairs.

Revision as of 16:11, 6 November 2014



The Vaucanson library is free software. It is distributed under the conditions of the GNU General Public License (www.gnu.org).

Downloads

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

-- Main.AlexandreDuretLutz - 26 May 2009