Vaucanson

Introducing Vaucanson. This paper reports on a new software platform called Vaucanson and dedicated to the computation with automata and transducers. Its main feature is the capacity of dealing with automata whose labels may belong to various algebraic structures. The paper successively shows how Vaucanson allows to program algorithms on automata in a way which is very close to the mathematical expression of the algorithm, describes some features of the Vaucanson platform, including the fact that the very rich data structure used to implement automata does not weigh too much on the performance and finally explains the main choices of the programming design that enable to achieve both genericity and efficiency. (Source: http://freecode.com/)

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 12 articles , 2 standard articles )

Showing results 1 to 12 of 12.
Sorted by year (citations)

  1. Demaille, Akim; Duret-Lutz, Alexandre; Lombardy, Sylvain; Saiu, Luca; Sakarovitch, Jacques: A type system for weighted automata and rational expressions (2014)
  2. Demaille, Akim; Duret-Lutz, Alexandre; Lombardy, Sylvain; Sakarovitch, Jacques: Implementation concepts in Vaucanson 2 (2013)
  3. Chmiel, Krzysztof; Roman, Adam: COMPAS -- a computing package for synchronization (2011)
  4. Champarnaud, Jean-Marc; Ouardi, Faissal; Ziadi, Djelloul: An efficient computation of the equation $\bbfK$-automaton of a regular $\bbfK$-expression (2009)
  5. Lindén, Krister; Silfverberg, Miikka; Pirinen, Tommi: HFST tools for morphology --- an efficient open-source package for construction of morphological analyzers (2009)
  6. Han, Yo-Sub; Salomaa, Kai: State complexity of union and intersection of finite languages (2008)
  7. Allauzen, Cyril; Riley, Michael; Schalkwyk, Johan; Skut, Wojciech; Mohri, Mehryar: OpenFst: A general and efficient weighted finite-state transducer library. (Extended abstract of an invited talk) (2007)
  8. Champarnaud, Jean-Marc; Ouardi, Faissal; Ziadi, Djelloul: An efficient computation of the equation $\mathbbK$-automaton of a regular $\mathbbK$-expression (2007)
  9. Claveirole, Thomas; Lombardy, Sylvain; O’Connor, Sarah; Pouchet, Louis-Noël; Sakarovitch, Jacques: Inside Vaucanson (2006)
  10. Sakarovitch, Jacques: The language, the expression, and the (small) automaton (2006)
  11. Lombardy, Sylvain; Régis-Gianas, Yann; Sakarovitch, Jacques: Introducing VAUCANSON (2004)
  12. Lombardy, Sylvain; Poss, Raphaël; Régis-Gianas, Yann; Sakarovitch, Jacques: Introducing Vaucanson (2003)