| 本文已被：浏览 4139次 下载 5256次 |
码上扫一扫！ |
|
|
| 多模式下的反合一算法 |
|
许锡春1,2, 胡运发1,2, 施伯乐1,2
|
|
1.复旦大学计算机科学系,上海,200433;2.上海海运学院计算中心,上海,200135
|
|
| 摘要: |
| 证明了多模式环境下存在最小反合一,提出了一种反合一算法,并介绍了多模式下反合一的应用. |
| 关键词: 合一,反合一,多模式,算法,相似. |
| DOI： |
| 分类号: |
| 基金项目: |
|
| Anti-Unification Algorithm Based on Multi-Pattern |
|
XU Xi-chun,HU Yun-fa,SHI Bai-le
|
| Abstract: |
| 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. |
| Key words: Unification, anti-unification, multi-pattern, algorithm, similarity. |
