Back to: FsmReg
AbbrName Vaucanson
FullName Vaucanson
ItemDesc a finite state machine manipulation platform and library


Type FsmCompiler
ImplLanguage - C++ compiler (g++ 3.[34], 4.0 or ICC 9)

- XML (If you want to use the XML I/O system, you will need the Apache Xerces C++ library version 2.3. (

- Graphviz (Highly verbose mode of the testing suites uses the AT&T dot format to save automaton in a human readable file. Use Graphviz to visualize these .dot files.)
Author The Vaucanson Group
Copyright 2001 - (2004) The Vaucanson Group
License GPL
ProviderName The Vaucanson Group
RelatedWork Vaucanson has resulted from a collaborative work with Jacques Sakarovitch, at the École Nationale Supérieure des Télécommunications (ENST).

Vaucanson's XML formalism for automata

LatestVersion November 09, 2005: Vaucanson 0.7.2 is released.
Topic revision: r4 - 2006-08-31 - AnssiYliJyra
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2019 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback