International Conference on Foundations of Software Science and Computation Structures

FoSSaCS 2004: Foundations of Software Science and Computation Structures pp 378-392

On Term Rewriting Systems Having a Rational Derivation

  • Antoine Meyer
Conference paper

DOI: 10.1007/978-3-540-24727-2_27

Volume 2987 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Meyer A. (2004) On Term Rewriting Systems Having a Rational Derivation. In: Walukiewicz I. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 2004. Lecture Notes in Computer Science, vol 2987. Springer, Berlin, Heidelberg

Abstract

Several types of term rewriting systems can be distinguished by the way their rules overlap. In particular, we define the classes of prefix, suffix, bottom-up and top-down systems, which generalize similar classes on words. Our aim is to study the derivation relation of such systems (i.e. the reflexive and transitive closure of their rewriting relation) and, if possible, to provide a finite mechanism characterizing it. Using a notion of rational relations based on finite graph grammars, we show that the derivation of any bottom-up, top-down or suffix systems is rational, while it can be non recursive for prefix systems.

Download to read the full conference paper text

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Antoine Meyer
    • 1
  1. 1.Irisa, campus de Beaulieu, Rennes Liafa, Université de Paris 7