Remedial treatment for Vaucanson: an enhanced automaton concept

From LRDE

(Redirected from Publications/200905-Seminar-Galtier)

Abstract

Vaucanson allows you to manipulate finite state machines. So the modeling of these objects plays a central role concerning the genericity of the library. We want to be able to extend the model to support new types and to specialize behaviours in order to improve performances. We will expose what can be considered as a Gordian knot in the actual modeling: for example Vaucanson is unable to choose the implementation of an automaton according to one of its properties. The proposed solution will reinstate a sane modeling and will prevent misconceptions while devising algorithm specifications. Finally, we will describe among other things a collection of specializations of the automaton concept and a set of improvements to the model that were previously too expensive to implement.