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

2005-02-01