一个寻找最一般一致替换的树型算法

• 作者: 董改芳
• 来源期刊: 贵州大学学报(自然科学版)
• 学科: 工学
• 关键词: 一致替换算法 最一般的一致替换 程序分析
• 年，卷（期）: 2004,（1）
• 所属期刊栏目: 专题研究
• 页码范围: 15-21
• 页数: 7页
• 分类号: O141.3|TP301.5
• 字数: 1908字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-5269.2004.01.003

摘要

基于表达式的树形表示,我们提出了一种关于寻找一个有限表达式集的最一般一致替换(mgu)的树形算法.与原算法相比,算法比较直观而且有效.此算法可以应用于逻辑程序分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董改芳	贵州大学计算机科学系	2	45	1.0	2.0