Next: Automaton
Up: Using Autowrite
 Previous: TRS Automata
 
From this menu one can build new automata from existing ones. 
For instance
compute the complement of the current automaton 
(Complement automaton ), complete the current automaton 
(Complete automaton ), compute the intersection (or the union)
of the current automaton with an existing one (Intersect automaton ,
Union automaton ).
 
Irene DURAND 
2005-02-01