| 摘要: |
| 本文引入了模式化简序的概念,并给出了基于模式化简序的重写系统终止性判别方法。本文还着重研究了模式递归路径序,同时定义了重写规则相对模式集的上下扩张概念,以此给出了用模式递归路径序判别终止性的有效方法,原有的递归路径序是模式递归路径序的一个特例。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目: |
|
| SCHEME SIMPLIFICATION ORDERING AND TERMINATION OF TERM REWRITING SYSTEM |
|
Lin Kai,Sun Yongqiang,Lu Ruzhan
|
| Abstract: |
| In this paper, the notions of scheme simplification ordering are introduced, and a new method for proving termination rewriting is given. At the same time, scheme recursive path ordering is discussed, and the upper and lower extension of rewriting rule w.r.t. scheme set are defined. By this, finally we show how to prove termination of rewriting using scheme recursive path ordering. |
| Key words: |
