基于联合公式的规则集终止性判定算法

• 作者: 刘泓漫
• 来源期刊: 上海电机学院学报
• 学科: 工学
• 关键词: 规则集 有环触发图 活化公式 联合公式
• 年，卷（期）: 2006,（2）
• 所属期刊栏目: 计算机与信息工程
• 页码范围: 27-29
• 页数: 3页
• 分类号: TP3
• 字数: 2353字
• 语种: 中文
• DOI: 10.3969/j.issn.2095-0020.2006.02.008

摘要

针对有环触发图对应规则集的终止性问题进行了研究,通过对触发图、活化图的分析,提出了联合公式的概念,在此基础上给出了有环触发图对应规则集的终止性判定算法,该算法的提出能够更精确地判定规则集的终止性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘泓漫	上海电机学院电子信息学院	2	4	1.0	2.0