deactivation graph
为表达一个规则的动作可能使另一规则的条件为假的事实,引入了惰化图(deactivation graph),并..
基于16个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
本文还探讨了规则分析理论，通过定义触发图、活化图和惰化图，给出一个规则终止性静态分析算法，提高了规则终止性判定的准确性。
In this paper we also discussed the rule analysis theory. By defining trigger graph, active graph and de-active graph we gave a static rule analysis algorithm of deciding of the rule termination.
youdao
应用推荐
模块上移
模块下移
不移动