压缩路径序与重写系统的结构测度
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

“八五”、八六三攻关项目;; 国家自然科学基金资助


THE COMPRESSED PATH ORDERING AND THE STRUCTURE MEASURE OF TERM REWRITING SYSTEM
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    结构测度对于判别重写系统的合流性是极为重要的,本文着重研究结构测度的有效定义方法。本文引入了压缩路径序概念,只要给出符号集上了拟序关系和相对该拟序关系协调的压缩结构,即可方便地生成良拟序的压缩路径序,同时可以有效地检查这一路径压缩序是否为给定重写系统的结构测度,本文提出的方法有力地支持了在非终止条件下对重写系统合流性的判别。

    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.

    参考文献
    相似文献
    引证文献
引用本文

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

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1990-12-21
  • 最后修改日期:1991-03-11
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号