Regular Papers

Rewriting Techniques and Applications

Volume 1103 of the series Lecture Notes in Computer Science pp 377-391

Date:

Semantics and strong sequentially of priority term rewriting systems

  • Masahiko SakaiAffiliated withJapan Advanced Institute of Science and Technology
  • , Yoshihito ToyamaAffiliated withJapan Advanced Institute of Science and Technology

* Final gross prices may vary according to local VAT.

Get Access

Abstract

This paper gives an operational semantics of priority term rewriting systems (PRS) by using conditional systems, whose reduction is decidable and stable under substitution. We also define the class of strong sequential PRSs and show that this class is decidable. Moreover, we show that the index rewriting of strong sequential PRSs gives a normalizing strategy.