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