| 举例： 对表4.17所描述的不完全规定时序机作状态化简 准备工作已经完成，因为前面的例子中已求出其"不相容状态对"集合D和"相容状态对"集合C。 Step1 从D中任选一"不相容状态对"d1 = ( s2 , s5 ), 于是： C1 = { s2 }; C2 = { s5 }; π = { C1 , C2 }; S = { s1 , s3 , s4 }; K = 3; Step2 找不到新的生长点。 Step3 （1） s1 和 C1 相容，于是： C1 = { s1 , s2 }; S = { s3 , s4 }; T = 1; （2）s 3 和 C 1 相容，于是： C1 = { s1 , s2 , s3 }; S = { s4 }; （3）s 4 和 C 2 相容，于是： C2 = { s4 , s5 }; S = φ; Step4 转Step3; Step3＇转Step6; Step6 算法结束，所求结果为：π = { C1 , C2 }; 其中 C1 = { s1 , s2 , s3 }; C 2 = { s4 , s5 }; 现在，我们把一个相容类中的多个状态合并为一个。例如把相容类{ s1 , s2 , s3 }合并为s1 ；把相容类{ s4 , s5 }合并为 s4 。于是，可以把表4.17简化为表4.18。
|