Vaucanson 2.0 Internals

From LRDE

Abstract

Vaucanson is a finite state machine manipulation platform for automata and transducers. Usage highlighted the overly complex interface for the automaton manipulation. For the past two years, active development has been undertaken to introduce the concept of automaton kinds. newline The library interface was remade, and so were its internal mechanics. This led to a series of changes in data structures, algorithms and interface definition. We will expose these modifications while trying to highlight the various pitfalls one may encounter when working directly in the library core. This work may lead to a performance analysis between Vaucanson 2.0 and the last stable release of the library.