| 压缩路径序与重写系统的结构测度 |
| |
| 引用本文： | 林凯,孙永强,陆汝占.压缩路径序与重写系统的结构测度[J].软件学报,1993,4(2):27-33. |
| |
| 作者姓名： | 林凯 孙永强 陆汝占 |
| |
| 作者单位： | 上海交通大学计算机系 上海 20030;上海交通大学计算机系 上海 20030;上海交通大学计算机系 上海 20030 |
| |
| 基金项目： | “八五”、八六三攻关项目;; 国家自然科学基金资助 |
| |
| 摘 要： | 结构测度对于判别重写系统的合流性是极为重要的,本文着重研究结构测度的有效定义方法。本文引入了压缩路径序概念,只要给出符号集上了拟序关系和相对该拟序关系协调的压缩结构,即可方便地生成良拟序的压缩路径序,同时可以有效地检查这一路径压缩序是否为给定重写系统的结构测度,本文提出的方法有力地支持了在非终止条件下对重写系统合流性的判别。
|
| 关 键 词： | 压缩路径序 重写系统 结构测度 |
| 收稿时间： | 1990/12/21 0:00:00 |
| 修稿时间： | 1991/3/11 0:00:00 |
THE COMPRESSED PATH ORDERING AND THE STRUCTURE MEASURE OF TERM REWRITING SYSTEM |
| |
| Lin Kai,Sun Yongqiang and Lu Ruzhan.THE COMPRESSED PATH ORDERING AND THE STRUCTURE MEASURE OF TERM REWRITING SYSTEM[J].Journal of Software,1993,4(2):27-33. |
| |
| Authors: | Lin Kai Sun Yongqiang and Lu Ruzhan |
| |
| Abstract: | The structure measure is very important to prove the confluence of term rewriting system. This paper discusses the effective definition approach of structure measure. For this,the notion of compressed path ordering is introduced. It is easy to show whether or not a compressed path ordering is the structure measure of given term rewriting system. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
