Inside vaucanson

  • Authors:
  • Thomas Claveirole;Sylvain Lombardy;Sarah O'Connor;Louis-Noël Pouchet;Jacques Sakarovitch

  • Affiliations:
  • LRDE, EPITA;LIAFA, Université Paris 7;LRDE, EPITA;LRDE, EPITA;LTCI, CNRS/ENST

  • Venue:
  • CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents some features of the Vaucanson platform. We describe some original algorithms on weighted automata and transducers (computation of the quotient, conversion of a regular expression into a weighted automaton, and composition). We explain how complex declarations due to the generic programming are masked from the user and finally we present a proposal for an XML format that allows implicit descriptions for simple types of automata.