###
DOI:
Journal of Software:1993.4(2):27-33

压缩路径序与重写系统的结构测度
林凯,孙永强,陆汝占
(上海交通大学计算机系 上海 20030)
THE COMPRESSED PATH ORDERING AND THE STRUCTURE MEASURE OF TERM REWRITING SYSTEM
Lin Kai,Sun Yongqiang,Lu Ruzhan
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2466   Download 2615
Received:December 21, 1990    Revised:March 11, 1991
> 中文摘要: 结构测度对于判别重写系统的合流性是极为重要的,本文着重研究结构测度的有效定义方法。本文引入了压缩路径序概念,只要给出符号集上了拟序关系和相对该拟序关系协调的压缩结构,即可方便地生成良拟序的压缩路径序,同时可以有效地检查这一路径压缩序是否为给定重写系统的结构测度,本文提出的方法有力地支持了在非终止条件下对重写系统合流性的判别。
中文关键词:
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:
文章编号:     中图分类号:    文献标志码:
基金项目:“八五”、八六三攻关项目;; 国家自然科学基金资助 “八五”、八六三攻关项目;; 国家自然科学基金资助
Foundation items:
Reference text:

林凯,孙永强,陆汝占.压缩路径序与重写系统的结构测度.软件学报,1993,4(2):27-33

Lin Kai,Sun Yongqiang,Lu Ruzhan.THE COMPRESSED PATH ORDERING AND THE STRUCTURE MEASURE OF TERM REWRITING SYSTEM.Journal of Software,1993,4(2):27-33