順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について

IR HANDLE Web Site 9 References Open Access

Bibliographic Information

Other Title
  • ジュン ホウコウ ナローイング ニ モトズク ウセンケイ ウシャローコウ カキカエ ケイ ノ ヒテイシセイ ショウメイ ニ ツイテ
  • On non-termination proof of right-linear and right-shallow term rewriting systems based on forward narrowing

Search this article

Abstract

Detecting non-termination of term rewriting systems based on forward narrowing is used in termination tools such as AProVE. However, there is no known class of term rewriting systems for which the detection method is complete, that is, non-termination is always proved by the method. This paper proves that the detection method is complete for the term rewriting systems whose dependency pairs are right-linear and right-shallow.

Journal

References(9)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top