状态机的简化-建模竞赛题第2赛季第23轮解答

0 阅读1分钟

题目:请改进以下图形(原题有错,离开S3的迁移出现两个无警戒条件的e4,现把其中一个改为e5)。

图片


简化要点一: 如果发现进入某个状态的迁移都包含某个动作,可以考虑把该动作作为该状态的入口动作。同理,如果发现离开某个状态的迁移都包含某个动作,可以考虑把该动作作为该状态的出口动作。如下:

图片

观察题目中的图可发现:

图片

进入状态S3的迁移都包含act1,act2;离开状态S3的迁移都包含act5。可得:

图片

简化要点二: 如果发现进入某状态有多个相同的迁移,可以考虑将多个源状态放入一个组合状态,然后将迁移的起点改为组合状态。

图片

观察题目中的图可发现:

图片

S2、S7进入S3的迁移一样。可得:

图片