Mots-clés | : | Automates, Systèmes de réécriture de termes, Interface graphique. |
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.
Nom du responsable | : | Irène Durand |
Adresse | : | Bureau 204, LaBRI, Bât A30, Université Bordeaux1, 351 cours de la libération, 33405 Talence cedex |
Téléphone | : | 05 40 00 69 14 |
Fax | : | 05 40 00 66 69 |
Courriel | : | idurand@labri.fr |