齐齐哈尔大学学报（自然科学版）
齊齊哈爾大學學報（自然科學版）
제제합이대학학보（자연과학판）
JOURNAL OF QIQIHAR UNIVERSITY(NATURAL SCIENCE EDITION)
2007年
4期
37-40
,共4页
规则终止性%事务%REG%进化图
規則終止性%事務%REG%進化圖
규칙종지성%사무%REG%진화도
提出一种新的规则终止性静态分析方法REG,它在全面考虑触发图、活化图和惰化图的基础上引入事务的思想.对于规则的终止性分析,采用REG方法比基于进化图的分析方法更具体、精确,接着给出了REG的算法并证明其正确性.
提齣一種新的規則終止性靜態分析方法REG,它在全麵攷慮觸髮圖、活化圖和惰化圖的基礎上引入事務的思想.對于規則的終止性分析,採用REG方法比基于進化圖的分析方法更具體、精確,接著給齣瞭REG的算法併證明其正確性.
제출일충신적규칙종지성정태분석방법REG,타재전면고필촉발도、활화도화타화도적기출상인입사무적사상.대우규칙적종지성분석,채용REG방법비기우진화도적분석방법경구체、정학,접착급출료REG적산법병증명기정학성.
