On the longest perpetual reductions in orthogonal expression reduction systems

  • Authors:
  • Zurab Khasidashvili

  • Affiliations:
  • Bar-Ilan University, Ramat-Gan, Israel

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2001

Quantified Score

Hi-index 5.23

Visualization

Abstract

We study perpetual reductions in orthogonal (or conflict-free) fully extended expression reduction systems (OERS). ERS is a formalism for rewriting that subsumes term rewriting systems (TRSs) and the &lgr;-calculus. We design a strategy that, for any given term t in a fully extended OERS, constructs a longest reduction starting from t if t is strongly normalizing and otherwise constructs an infinite reduction. We call this strategy a limit strategy. For a large class of OERSs a limit strategy is computable. The Conservation Theorem for fully extended OERSs follows easily from the properties of the strategy. We develop a method for computing the lengths of longest developments in OERSs. Copyright 2001 Elsevier Science B.V.