Semantics and strong sequentiality of priority term rewriting systems

Masahiko Sakai, Yoshihito Toyama

Research output: Contribution to journalArticle

6 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)87-110
Number of pages24
JournalTheoretical Computer Science
Volume208
Issue number1-2
DOIs
Publication statusPublished - 1998 Nov 28

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Semantics and strong sequentiality of priority term rewriting systems'. Together they form a unique fingerprint.

  • Cite this