next up previous
Next: Automaton Up: Using Autowrite Previous: TRS Automata

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