Vers Vaucanson 2.0

Auteurs

David Moreira

Type

techreport

Année

2012

Numéro

1201

Résumé

Vaucanson est une plate-forme de manipulation d'automates et de transducteurs dont l'interface et le développement se sont montrés complexes et inefficaces. Des travaux de spécifications et de design ont été effectués afin d'avoir un coeur efficace en terme de développement et de vitesse. Cette version 2.0 de Vaucanson est actuellement en développement. Ce rapport présente la version 2.0 de Vaucanson et son utilisation par le portage de deux algorithmes : l'évaluation d'un mot par un automate et la déterminisation d'automates. Dans une seconde partienous montrerons si Vaucanson 2.0 tient ses promesses en termes de vitesse d'exécution.