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