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

ContainsParts

HomePage http://www.lrde.epita.fr/cgi-bin/twiki/view/Projects/Vaucanson
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. (http://xml.apache.org/xerces-c/).

- 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
References http://www.lrde.epita.fr/cgi-bin/twiki/view/Vaucanson/Papers
Availability http://www.lrde.epita.fr/cgi-bin/twiki/view/Vaucanson/Download
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
Evaluation

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-2018 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback