Towards Vaucanson 2.0
From LRDE
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
- 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.