多模式下的反合一算法  

Anti-Unification Algorithm Based on Multi-Pattern

作　　者：许锡春[1] 胡运发[1] 施伯乐[1] 

机构地区：[1]复旦大学计算机科学系,上海200433

出　　处：《软件学报》2000年第1期91-94,共4页Journal of Software

摘　　要：证明了多模式环境下存在最小反合一 ,提出了一种反合一算法 ,并介绍了多模式下反合一的应用 .In this paper, the existence of the least anti unification in multi pattern is proved and an algorithm for the anti unification is proposed. In addition, the application of the anti unification in multi pattern is also introduced.

关 键 词：多模式 算法 反合一算法 英汉翻译系统 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构] H085.3[自动化与计算机技术—计算机科学与技术]