层次方法示例

    例如：设初始状态为（c,b,Z）操作可表示为如下的重写规则：

     结束条件是状态描述只包括若干个M。若用搜索方式进行搜索，则生成的部分搜索图如图2-4所示：

    它的搜索效率是很低的。图左边的两条路径的结果是等价的，因此工作重复的。图右边的一条路径是徒劳的。

    采用问题分解的方法所生成的搜索图称位与或图，如图2-5：

            返回