On the Church-Rosser Property of Root-E-overlapping and Strogly Depth-preserving Term Rewriting Systems(<特集>Special Issue on Generation Database Technology for Internet, Multimedia and Mobile computing)

スポンサーリンク

概要

• 論文の詳細を見る

• A team rewriting system(TRS)is said to be strongly depth-preserving if for any rewrite rule and any variable appearing in its both sides, the minimal depth of the variable occurrences in the left-hand-side is greater than or equal to the maximal depth of the variable occurrences in the right-hand-side. This paper gives a sufficient condition for the Church-Rosser property of strongly depth-preserving TRS's and shows how to check this condition. By assigning a positive integer(called weight)to each function symbol, the notion of a strongly depth preserving system is naturally extended to that of a strongly weight-preserving system, and a similar sufficient condition for the Church-Rosser property of strongly weight-preserving TRS's is obtained.

• 一般社団法人情報処理学会の論文
• 1998-04-15

著者

• Ohta Y

  Mie Univ. Tsu‐shi Jpn

• Gomi H

  Faculty Of Engineering Mie University:oki Technolosystems Laboratory Inc.

• Gomi Hiroshi

  Faculty Of Engineering Mie University

• OYAMAGUCHI MICHIKO

  Faculty of Engineering, Mie University

• OHTA YOSHIKATU

  Faculty of Engineering, Mie University

• Ohta Yoshikatsu

  Faculty Of Engineering Mie University

• Oyamaguchi Michio

  Faculty Of Engineering Mie University

• Oyamaguchi Michiko

  Faculty Of Engineering Mie University

関連論文

• Passive Depth Acquisition for 3D Image Displays (Special Issue on 3D Image Processing)
• The Joinability and Related Decision Problems for Semi-constructor TRSs(計算理論)
• Some Results on the CR property of non-E-overlapping and depth-preserving TRS's(Theory of Rewriting Systems and Its Applications)
• On the Church-Rosser Property of Root-E-overlapping and Strogly Depth-preserving Term Rewriting Systems(Special Issue on Generation Database Technology for Internet, Multimedia and Mobile computing)
• On the Church-Rosser Property of Non-E-overlapping and Strongly Depth-preserving Term Rewriting Systems
• Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)
• The Reachability and Joinability Problems for Right-Ground Term-Rewriting Systems
• The Reachability Problem for Quasi-Ground Term Rewriting Systems
• On the Open Problems Concerning Church-Rosser of Left-Linear Term Rewriting Systems(Foundations of Computer Science)
• On the Task Scheduling with Communication Delay
• On the Church-Rosser Property of Left-Linear Term Rewriting Systems(Regular Section)
• The Joinability and Related Decision Problems for Semi-constructor TRSs
• The Joinability and Related Decision Problems for Semi-constructor TRSs

もっと見る 閉じる

スポンサーリンク