微信服务号

微信订阅号

2025年4月25日 6:00 星期五
首页 > 过刊浏览>1992年第3卷第4期 >1-11
PDF HTML阅读 XML下载 导出引用 引用提醒
半正则重写系统及其合流性
作者:

SEMIREGULAR TERM REWRITING SYSTEM AND ITS CONFLUENCE
Author:
  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [6]
    • |
  • 相似文献 [20]
    • | | |
  • 文章评论
    摘要:

    本文着重研究重写系统的合流性,通过引入符号测度的概念,本文定义了半正则重写系统,并证明了半正则重写系统的合流性。

    Abstract:

    In this paper, the symbolic measure is introduced, and semiregularity is defined, and the confluence of semiregular term rewriting system is proved.

    参考文献
    [1] M．J．O'Donnell，Equational Logic as a Programming Language，MIT Press，1985.
    [2] G．Huet，Confluence Reduetions：Abstract Properties and Application to Term Rewriting Systems.JACM 27：4，797-821,1980．
    [3] Y．Toyama，On the Church-Rosser Property for the Direct Sum of Term Rewriting Systems.JACM 35：2.1987.
    [4] J．Klop，Combinatory Reduction Systems，Ph．D．Thesis，Mathematisch Centrum Amsterdam,1980.
    [5] G．Huet and D．Oppen，Equations and Rewriting Rules：a Survey，Formal language：Perspectives and OPen problems．R．Book，eds，Academic Press，1980．
    [6] 林凯，孙永强，“左线性重写系统的合流性”，上海交通大学学报，1992，1.
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

林凯,孙永强.半正则重写系统及其合流性.软件学报,1992,3(4):1-11

复制
分享
文章指标
  • 点击次数:3706
  • 下载次数: 4652
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:1990-05-12
  • 最后修改日期:1990-10-24
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第19868665位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号