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.