SEMANTICS AND STRONG SEQUENTIALITY OF PRIORITY TERM REWRITING-SYSTEMS

Authors
SAKAI M TOYAMA Y
Citation
M. Sakai et Y. Toyama, SEMANTICS AND STRONG SEQUENTIALITY OF PRIORITY TERM REWRITING-SYSTEMS, Theoretical computer science, 208(1-2), 1998, pp. 87-110
Citations number
18
Categorie Soggetti
Computer Science Theory & Methods","Computer Science Theory & Methods
Journal title
Theoretical computer science → ACNP
ISSN journal
03043975
Volume
208
Issue
1-2
Year of publication
1998
Pages
87 - 110
Database
ISI
SICI code
0304-3975(1998)208:1-2<87:SASSOP>2.0.ZU;2-4
Abstract
This paper gives an operational semantics of priority term rewriting s ystems (PRSs) by using conditional systems, whose reduction relation i s decidable and stable under substitution. We also define the class of strongly sequential PRSs and show that this class is decidable. Moreo ver, we show that the index rewriting of strongly sequential PRSs give s a normalizing strategy. (C) 1998-Elsevier Science B.V. All rights re served.