next up previous
Next: Installation Up: Autowrite: User's Guide (Still Previous: Autowrite: User's Guide (Still


Autowrite is a tool for handling term rewrite systems and tree automata. It was originally designed to check membership to Call-by-need ( CBN) classes. For this purpose, it implements the tree automata constructions used in [7,3,4,8] and many useful operations on terms, rewrite systems and tree automata. Now all these automata constructions are accessible from the graphical interface which makes Autowrite also a tool for handling tree automata.

The graphical interface (still under construction) is written using FreeCLIM, the free implementation of the CLIM specification. New functionnalities could be easily integrated upon demand.

The Autowrite tool was used to check membership to CBN$ _\alpha$ for most of the examples presented in [5] and [6]. The latest version was presented in [2].