Next: Bibliography
Up: Autowrite: User's Guide (Still
Previous: Example of a session
Figures 1, 2 and 3 at the
end of the document show some snapshots of the graphical interface.
Figure 1:
Operations on the current term and the current automaton
 |
Figure 2:
Boolean operations on automata
 |
Figure 3:
Call by need queries
 |
Irene DURAND
2005-02-01