INDEX REDUCTION OF OVERLAPPING STRONGLY SEQUENTIAL SYSTEMS

Authors
NAGAYA T SAKAI M TOYAMA Y
Citation
T. Nagaya et al., INDEX REDUCTION OF OVERLAPPING STRONGLY SEQUENTIAL SYSTEMS, IEICE transactions on information and systems, E81D(5), 1998, pp. 419-426
Citations number
18
Categorie Soggetti
Computer Science Information Systems
Journal title
IEICE transactions on information and systems → ACNP
ISSN journal
09168532
Volume
E81D
Issue
5
Year of publication
1998
Pages
419 - 426
Database
ISI
SICI code
0916-8532(1998)E81D:5<419:IROOSS>2.0.ZU;2-5
Abstract
Huet and Levy showed that index reduction is a normalizing strategy fo r every orthogonal strongly sequential term rewriting system. Toyama e xtended this result to root balanced joinable strongly sequential syst ems. In this paper, we present a class including all root balanced joi nable strongly sequential systems and show that index reduction is nor malizing for this class. We also propose a class of left-linear (possi bly overlapping) NV-sequential systems having a normalizing strategy.