Traitement curatif pour Vaucanson: un renforcement du concept d'automate

Auteurs

Jérôme Galtier

Type

techreport

Année

2009

Numéro

0909

Projects

Vaucanson

Mots-clés

Vaucanson, Finite state machines, Modeling, GenericityPerformance, Labels

Résumé

Vaucanson permet de manipuler des automates finis. La modélisation de ces objets occupe donc une place centrale dans la généricité de la bibliothèque. Nous voulons pouvoir étendre cette modélisation pour supporter de nouveaux types et spécialiser des comportements afin d'améliorer les performances. Nous exposerons ce qui peut être considéré comme un véritable nud gordien dans la modélisation actuelle: Vaucanson est par exemple incapable de choisir une implémentation pour un automate en fonction d'une de ses propriétés. La solution apportée restaure alors une modélisation saine et empêchera des erreurs de conception lors de la recherche de spécifications des algorithmes. Finalementnous exposerons, entre autre, une série de spécialisations du concept d'automate, ainsi qu'un ensemble d'améliorations du modèle qui étaient autrefois trop coûteuses à mettre en place.