Vers 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. Une nouvelle approche de sa définition fut par conséquent considérée, impliquant l'utilisation du concept de kind d'un automate. La précédente équipe de développement de Vaucanson implémenta le kind labels-are-letters, ce qui laissa la bibliothéque dans un état transitoire. Afin de restaurer la force et la généricité de Vaucanson, le nouveau kind labels-are-words sera introduit. Ce travail ménera à plusieurs changements, de la réécriture d'algorithmes à la modification du design de la bibliothéque.