next up previous
Next: Termset Up: Term Menu Previous: Normalizability

Recognizability

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



Irene DURAND
2005-02-01