Semantics and strong sequentiality of priority term rewriting systems

被引：5
|
作者：
Sakai, M
Toyama, Y
机构：
[1] Nagoya Univ, Grad Sch Engn, Chikusa Ku, Nagoya, Aichi 46401, Japan
[2] Japan Adv Inst Sci & Technol, Hokuri Ku, Tatsunokuchi, Ishikawa 92312, Japan
来源：
THEORETICAL COMPUTER SCIENCE | 1998年 / 208卷 / 1-2期
关键词：
D O I：
10.1016/S0304-3975(98)00080-2
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper gives an operational semantics of priority term rewriting systems (PRSs) by using conditional systems, whose reduction relation is decidable and stable under substitution. We also define the class of strongly sequential PRSs and show that this class is decidable. Moreover, we show that the index rewriting of strongly sequential PRSs gives a normalizing strategy. (C) 1998-Elsevier Science B.V. All rights reserved.
引用
收藏
页码：87 / 110
页数：24
相关论文
共 50 条
  • [31] EXTENDED TERM REWRITING-SYSTEMS
    KLOP, JW
    DEVRIJER, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 26 - 50
  • [32] TERM REWRITING-SYSTEMS WITH PRIORITIES
    BAETEN, JCM
    BERGSTRA, JA
    KLOP, JW
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 83 - 94
  • [33] IMPLEMENTATIONS OF TERM REWRITING-SYSTEMS
    HERMANN, M
    KIRCHNER, C
    KIRCHNER, H
    COMPUTER JOURNAL, 1991, 34 (01): : 20 - 33
  • [34] Decidable approximations of term rewriting systems
    Jacquemard, F
    REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 362 - 376
  • [35] Determinization of conditional term rewriting systems
    Nagashima, Masanori
    Sakai, Masahiko
    Sakabe, Toshiki
    THEORETICAL COMPUTER SCIENCE, 2012, 464 : 72 - 89
  • [36] A compiler for nondeterministic term rewriting systems
    Vittek, M
    REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 154 - 168
  • [37] FAIRNESS IN TERM REWRITING-SYSTEMS
    PORAT, S
    FRANCEZ, N
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 202 : 287 - 300
  • [38] Term rewriting systems with sort priorities
    Shao, ZQ
    Song, GX
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1995, 56 (3-4) : 151 - 159
  • [39] PROGRAMMING IN EQUATIONAL LOGIC - BEYOND STRONG SEQUENTIALITY
    SEKAR, RC
    RAMAKRISHNAN, IV
    INFORMATION AND COMPUTATION, 1993, 104 (01) : 78 - 109
  • [40] Rewriting Induction for Higher-Order Constrained Term Rewriting Systems
    Hagens, Kasper
    Kop, Cynthia
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2024, 2024, 14919 : 202 - 219
12345