问答题 用状态表简化算法完成表所给定状态表的最小化，并给出最简状态表。
现态 次态 输出
0 1 0 1
S1 S3 S2 0 1
S2 S6 S1 0 1
S3 S4 S1 0 0
S4 S4 S5 1 0
S5 S3 S5 0 1
S6 S4 S7 0 0
S7 S3 S4 1 0
【正确答案】(1)根据等效条件进行1等效类划分：
   π1={(S1，S2，S5)，(S4，S7)，(S3，S6)}
   (2)对π1进行2等效类划分：
   π2={(S1，S2，S5)，(S3，S6)，(S4)，(S7)}
   (3)对π2进行3等效类划分：
   π3={(S1，S2，S5)，(S3，S6)，(S4)，(S7)}
   (4)由于π2=π3，所以π3为最大等效类集合。
   令a=(s1，S2，S5)，b=(S3，S6)，c=(S4)，d=(S7)，可以得到最简状态表，如表所示。
现态 次态 输出
0 1 0 1
a
b
c
d		 b
c
c
b		 a
d
a
c		 0
0
1
1		 1
0
0
0
【答案解析】