Recognizability

With the Recognizability command of the Term menu, one may check whether the current term is recognized by the current automaton.