Mécanique de Vaucanson 2.0

Auteurs

Alex Hamelin

Type

techreport

Année

2010

Numéro

1002

Projects

Vaucanson

Mots-clés

Vaucanson, kind, genericity, interface, graph

Résumé

Vaucanson est une plateforme de manipulation d'automates finis et de transducteurs dont l'interface s'est montrée trop complexe. Pendant les deux dernières années, des travaux ont été entrepris afin d'introduire le concept de kind d'un automate dans la bibliothèque.newline Afin d'y arriver, l'interface fut refaite ainsi que la mécanique interne de Vaucanson. Ceci amena plusieurs changements dans les structures de données, les algorithmes et la définition de l'interface. Nous exposerons ces modifications tout en mettant en avant les divers pièges qu'un développeur pourrait rencontrer en travaillant dans le coeur de la bibliothèque. Ce travail pourra amener à des mesures de performances entre Vaucanson 2.0 et la dernière version stable de la bibliothèque.