Next: How to exit if
Up: Using Autowrite
The operations of this menu apply to the current automaton.
Most of these operations check a property of the current automaton like:
- ``does it recognize the empty language?'' (Empty automaton? ),
- ``is it included into another automaton'' (Inclusion automaton ),
- ``is it equal (recognizes the same language) to another automaton''
(Equality automaton ),
- ``is its intersection with another automaton empty''
(Intersection emptiness ).