Vaucanson 1.0 review

Vaucanson is a finite state machine manipulation platform, composed of a library and tools implemented on top of it

License: GPL (GNU General Public License) File size: 285K Developer: Vaucanson

0

Vaucanson is a finite state machine manipulation platform, composed of a library and tools implemented on top of it. Vaucanson's goal 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.

What's New in This Release:
The "vcsn-z" and "vcsn-tdc" binaries were added to the TAF-kit toolkit to work with Z automata and FMP transducers.
Many commands (algorithms) have been added in "vcsn-b".
Many bugfixes were made for XML.
For instance, the alphabet is no longer filled with the default range if it is said to be empty.
New algorithms were added: is_ambiguous(a) tests if "a" is ambiguous; sub_normalize_here(a) sub-normalizes the automaton "a"; invert(t) returns the inverse of the RW transducer "t", i.e. the transducer that performs the invert rational relation.