| Knuth－Bendix过程的发散现象的研究 |
| |
| 引用本文： | 陈意云.Knuth－Bendix过程的发散现象的研究[J].计算机学报,1994(6). |
| |
| 作者姓名： | 陈意云 |
| |
| 作者单位： | 中国科学技术大学计算机科学与技术系 |
| |
| 摘 要： | Ｋｎｕｔｈ－Ｂｅｎｄｉｘ完备过程不终止的起因研究得很少．本文研究引起不终止的重写规则的结构性质，提出了相容交叉规则对的概念，推广了文献［６］的结论，并提出了为构造系统检验该过程是否不终止的方法．
|
| 关 键 词： | 项重写，完备化过程，构造系统 |
ON THE DIVERGENCE OF Knuth-Bendix PROCEDURE |
| |
| Chen Yiyun.ON THE DIVERGENCE OF Knuth-Bendix PROCEDURE[J].Chinese Journal of Computers,1994(6). |
| |
| Authors: | Chen Yiyun |
| |
| Abstract: | Very little is known about the origin of nontermination of Knuth-Bendix completion procedure. In this paper, the structural properties of rewrite rules which cause nontermination are studied, the notion of compatible crossed rules is introduced. At last, a method for verifying nontermination of the procedure for constructive rewrite systems is provided. |
| |
| Keywords: | Term rewriting completion procedure constructive system |
| 本文献已被 CNKI 等数据库收录！ |
