Towards Vaucanson 2.0

Authors

David Moreira

Type

techreport

Year

2012

Number

1201

Abstract

Vaucanson is a finite-state machine manipulation platform for automata and transducers. Usage and development highlight complexity and ineffectual. Active work on specifications and design have been undertaken to introduce, in the core of Vaucanson, easier mechanism to the library manipulation and development. The version 2.0 is, today in development. This report presents the 2.0 version of Vaucanson and his usability with the portage of two algorithms: Evaluation of word in automata and determinization of automata. Next, we show the new design profit compared to Vaucanson 1.4 related to the speedup.