ACUN理论一般合一化问题的合一化算法  

A Unification Algorithm for the General Unification Problem in the ACUN Theory

作　　者：李梦君[1] 王桢珍[2] 李舟军[1] 陈火旺[1] 

机构地区：[1]国防科技大学计算机学院,湖南长沙410073 [2]国防科技大学信息系统与管理学院,湖南长沙410073

出　　处：《计算机工程与科学》2006年第5期61-65,共5页Computer Engineering & Science

基　　金：国家自然科学基金资助项目(90104026;60073001;60473057);国家863计划资助项目(2002AA144040)

摘　　要：ACUN理论是异或算子代数性质的刻画。基于联合理论合一化问题的优化分解算法和高斯消元法,本文给出了ACUN理论一般合一化问题的合一化算法。The algebraic properties of the operator exclusive-or are characterized by the ACUN theory, Based on the optimized decomposition algorithm for the unification problem of the union of disjoint equational theories and the Gaussian elimination method, we present a unification algorithm for the general unification problem of the ACUN theory.

关 键 词：ACUN理论 一般合一化问题 合一化算法 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]