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 ).