Introducing Vaucanson

  • Sylvain Lombardy
  • Raphaël Poss
  • Yann Régis-Gianas
  • Jacques Sakarovitch
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2759)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    A. Arnold, A. Dicky, and M. Nivat, A note about minimal non-deterministic automata, Bull. EATCS 47 (1992), 166–169.MATHGoogle Scholar
  2. [2]
    J.-M. Champarnaud and D. Ziadi, Canonical derivatives, partial derivatives and finite automaton constructions, Theor. Comp. Sci. 289 (2002), no. 1, 137–163.MATHCrossRefMathSciNetGoogle Scholar
  3. [3]
    J.H. Conway, Regular algebra and finite machines, Chapman and Hall, 1971.Google Scholar
  4. [4]
    J. Darbon, T. Géraud, and A. Duret-Lutz, Generic implementation of morphological image operators, Int. Symp. on Mathematical Morphology VI (ISMM’2002), April 2002, pp. 175–184.Google Scholar
  5. [5]
    A. Duret-Lutz, T. Géraud, and A. Demaille, Design patterns for generic programming in C++, Proc. of the 6th USENIX Conf. on Object-Oriented Technologies and Systems (COOTS’01), USENIX Association, 2001, pp. 189–202.Google Scholar
  6. [6]
    A. Fabri, G.-J. Giezeman, L. Kettner, S. Schirra, and S. Schönherr, On the design of CGAL, the computational geometry algorithms library, Tech. Report 3407, INRIA, April 1998.Google Scholar
  7. [7]
    E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns: Abstraction and reuse of object-oriented design, LNCS 707 (1993), 406–431.Google Scholar
  8. [8]
    J. Hopcroft and J. Ullman, Introduction to automata theory, languages and computation, Addison-Wesley, 1979.Google Scholar
  9. [9]
    S. Lombardy, On the construction of reversible automata for reversible languages, Proc. of ICALP’02, LNCS 2380 (2002), 170–182.Google Scholar
  10. [10]
    S. Lombardy and J. Sakarovitch, Star height of reversible languages and universal automata, Proc. of LATIN’02, LNCS 2286 (2002), 76–89.Google Scholar
  11. [11]
    S. Lombardy and J. Sakarovitch, Vaucanson-G, A package for drawing automata and graphs, http://www.liafa.jussieu.fr/~lombardy/Vaucanson-G/, 2002.
  12. [12]
    S. Lombardy and J. Sakarovitch, On the star height of rational languages, a new presentation for two old results, World Scientific (to appear).Google Scholar
  13. [13]
    V. Le Maout, Cursors, Proc. of CIAA 2000, LNCS 2088 (2001), 195–207.Google Scholar
  14. [14]
    O. Matz, A. Miller, A. Potthoff, W. Thomas, E. Valkema, The Program AMoRE, http://www-i7.informatik.rwth-aachen.de/d/research/amore.html, RWTH Aachen, 1995.
  15. [15]
    O. Matz and A. Potthoff, Computing small nondeterministic finite automata, proc. of TACAS’95, BRICS Notes Series, 1995, pp. 74–88.Google Scholar
  16. [16]
    M. Mohri, F. C.N. Pereira, and M. Riley, General-purpose Finite-State Machine Software Tools, http://www.research.att.com/sw/tools/fsm/, AT&T Labs — Research, 1997.
  17. [17]
    D.R. Musser and A.A. Stepanov, Algorithm-oriented generic libraries, Software-Practice and Experience 24 (1994), no. 7, 623–642.CrossRefGoogle Scholar
  18. [18]
    G. van Noord, Finite State Automata Utilities, http://odur.let.rug.nl/~vannoord/Fsa/, 2000.
  19. [19]
    J. Sakarovitch, Éléments de théorie des automates, Vuibert, 2003.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Sylvain Lombardy
    • 1
  • Raphaël Poss
    • 2
  • Yann Régis-Gianas
    • 2
  • Jacques Sakarovitch
    • 3
  1. 1.LIAFAUniversité Paris 7Paris
  2. 2.LRDEEPITAFrance
  3. 3.LTCICNRS / ENSTFrance

Personalised recommendations