ABSTRACT
The quotient recognizer A/,--,A is called the reduced form of A. Tree recognizers which have isomorphic reduced forms are equivalent. For connected tree-recognizers the converse is also true.
Theorem 8.7.11 Let A and B be two minimal tree-recognizers. If they are equivalent then they are also isomorphic.