Index Reduction of Overlapping Strongly Sequential Systems
NAGAYA, Takashi, Masahiko Sakai, Yoshihito Toyama · Institutional Repositories DataBase (IRDB) · 1998
Huet and Levy showed that index reduction is a normalizing strategy for every orthogonal strongly sequential term rewriting system. Toyama extended this result to root balanced joinable strongly sequential systems. In this paper, we present a class including all root balanced joinable strongly sequential systems and show that index reduction is normalizing for this class. We also propose a class of left-linear (possibly overlapping) NV-sequential systems having a normalizing strategy.