Vers Vaucanson 2.0

From LRDE

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.

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.