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 条
12345