Index reduction of overlapping strongly sequential systems

Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)419-426
Number of pages8
JournalIEICE Transactions on Information and Systems
VolumeE81-D
Issue number5
Publication statusPublished - 1998 Jan 1

Keywords

  • Index reduction
  • Normalizing strategy
  • Strong sequentially
  • Term rewriting system

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Vision and Pattern Recognition
  • Electrical and Electronic Engineering
  • Artificial Intelligence

Cite this