重叠规则与歧义性*
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

本文研究得到国家86高科技项目基金资助.


OVERLAPPING RULES AND AMBIGUITIES
Author:
Affiliation:

Fund Project:

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

    重写系统是一种一般的计算模型.重写系统的归约策略的范式化性质对于实际应用重写系统进行计算具有决定意义,而重叠规则导致的歧义性是使归约过程复杂化的重要原因.本文对重写系统的歧义性进行了初步研究,并对一类常见的歧义问题作了具体分析,同时提出了解决办法.

    Abstract:

    Term rewriting systems are a general model of computation.The normaliza-tion property of a reduction strategy for TRS's plays an important role in the application of TRS's,and overlapping rules and other types of ambiguities complicates reduction strate-gies greatly.This paper deals with these ambiguities in general and proposes art approach to a general class of problems involving ambiguities.

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

陆朝俊,孙永强,林凯.重叠规则与歧义性*.软件学报,1996,7(zk):134-139

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

京公网安备 11040202500063号