Towards Vaucanson 2.0
- Alex Hamelin
- Vaucanson, kind, genericity, interface, graph
Vaucanson is a finite state machine manipulation platform for automata and transducers. Usage highlighted the overly complex interface for the automaton manipulation. Therefore, a new approach to its definition was considered involving the concept of automaton kinds. The former Vaucanson development team initiated this series of fundamental changes which concluded in the implementation of the labels-are-letters kind. Still, these changes put the library in a transitional state. newline In the continuation of their work and in order to restore both the robustness and genericity of Vaucanson, we will introduce two new kinds into the library: labels-are-words and labels-are-series. This work may lead to a series of changes involving both algorithm rewriting and data structure modifications which will allow simpler yet more powerful automata manipulation.