Remedial treatment for Vaucanson: an enhanced automaton concept

From LRDE

Revision as of 17:04, 9 January 2018 by Bot (talk | contribs) (Created page with "{{CSIReport | authors = Jérôme Galtier | title = Remedial treatment for Vaucanson: an enhanced automaton concept | year = 2009 | abstract = Vaucanson allows you to manipulat...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.

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.