Location of Repository

Introducing Vaucanson

By Sylvain Lombardy, Yann Regis-Gianas and Jacques Sakarovitch

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 describes the main 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, shows how Vaucanson allows to program algorithms on automata in a way which is very close to the mathematical expression of the algorithm and finally explains the main choices of the programming design that enable to achieve both genericity and efficiency

Topics: Automata implementation, Automata with multiplicity, Generic programming, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS]
Publisher: Elsevier
Year: 2004
DOI identifier: 10.1016/j.tcs.2004.07.007
OAI identifier: oai:HAL:hal-00017540v1
Provided by: Hal-Diderot
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • https://hal.archives-ouvertes.... (external link)
  • https://hal.archives-ouvertes.... (external link)
  • https://hal.archives-ouvertes.... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.