Date: 02 Jun 2005

Semantics and strong sequentially of priority term rewriting systems

* 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.