克劳德·香农提出：程序应该早一些剪断搜索，并在搜索中对状态应用__，有效地将非终端节点转换为终端叶节点。