Semantics and strong sequentially of priority term rewriting systems

  • Masahiko Sakai
  • Yoshihito Toyama
Regular Papers

DOI: 10.1007/3-540-61464-8_66

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1103)
Cite this paper as:
Sakai M., Toyama Y. (1996) Semantics and strong sequentially of priority term rewriting systems. In: Ganzinger H. (eds) Rewriting Techniques and Applications. RTA 1996. Lecture Notes in Computer Science, vol 1103. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1996

Authors and Affiliations

  • Masahiko Sakai
    • 1
  • Yoshihito Toyama
    • 1
  1. 1.Japan Advanced Institute of Science and TechnologyIshikawaJapan

Personalised recommendations