## Rational Term Rewriting (1998)

Citations: | 21 - 12 self |

### BibTeX

@MISC{Corradini98rationalterm,

author = {A. Corradini and F. Gadducci},

title = {Rational Term Rewriting},

year = {1998}

}

### Years of Citing Articles

### OpenURL

### Abstract

. Rational terms (possibly infinite terms with finitely many subterms) can be represented in a finite way via -terms, that is, terms over a signature extended with self-instantiation operators. For example, f ! = f(f(f(: : :))) can be represented as x :f(x) (or also as x :f(f(x)), f(x :f(x)), . . . ). Now, if we reduce a -term t to s via a rewriting rule using standard notions of the theory of Term Rewriting Systems, how are the rational terms corresponding to t and to s related? We answer to this question in a satisfactory way, resorting to the definition of infinite parallel rewriting proposed in [7]. We also provide a simple, algebraic description of -term rewriting through a variation of Meseguer's Rewriting Logic formalism. 1 Introduction Rational terms are possibly infinite terms with a finite set of subterms. They show up in a natural way in Theoretical Computer Science whenever some finite cyclic structures are of concern (for example data flow diagrams, cyclic te...