next up previous
Next: How to exit if Up: Using Autowrite Previous: Automata

Automaton

The operations of this menu apply to the current automaton. Most of these operations check a property of the current automaton like:



Irene DURAND
2005-02-01