Proposition de projet de deuxième année

Année 2007-2008


Projet

Visualisation d'arbres et d'automates d'arbres

Mots-clés: Automates, Systèmes de réécriture de termes, Interface graphique.

Résumé

Le logiciel Autowrite écrit en Common Lisp manipule des systèmes de réécriture de termes et des automates d'arbres. Il possède une interface graphique mais pas de possibilité de visualiser les automates et les suites de réécritures de termes.

On souhaite améliorer l'ergonomie du logiciel; en particulier on souhaite rajouter des modules de visualisation des automates et des termes.

Travail demandé

Matériels et logiciels nécessaires

Coordonnées du responsable

Nom du responsable: Irène DURAND
Adresse: Bureau 204, LaBRI
Bât. A30, Université Bordeaux 1
351, cours de la Libération
33405 Talence Cédex
Téléphone: 05 40 00 69 14
Fax: 05 40 00 66 69
Courriel: idurand@labri.fr