weakly isomorphic

Two finite automatas testing sequence relations are given for the equal relation, the weak isomorphism, the isomorphism, and the strong relation respectly.

给出两个有限自动机分别具有等价、弱同构、同构、强于关系时,它们相应的试验序列所具有的关系。