在状态表中判断两个状态是否等价必需满足两个基本条件:
 第一,在相同的输入条件下都有 的输出。
第二,在相同的输入条件下次态也等价。 这可能有三种情况: 
① 次态 ;
② 次态 ;
③ 次态互为 条件。
利用等价状态的 性及 表可寻找所有最大等价类!
出自:计算机科学与技术(第二学期)