Automaton

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