On the Church - Rosser Property of Non -E- overlapping and Strongly Depth - preserving Term Rewriting Systems

• Item type: Journal(1)
• 公開日: 1996-12-15
• タイトル: On the Church - Rosser Property of Non -E- overlapping and Strongly Depth - preserving Term Rewriting Systems
• タイトル / 言語: en
• タイトル: On the Church - Rosser Property of Non -E- overlapping and Strongly Depth - preserving Term Rewriting Systems
• 言語: eng
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: 基礎理論
• 著者所属: Faculty of Engineering Mie University/Oki TechnoSystems Laboratory Inc.
• 著者所属: Faculty of Engineering Mie University
• 著者所属: Faculty of Engineering Mie University
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Mie University/Oki TechnoSystems Laboratory, Inc.
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Mie University
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Mie University
• 著者名: Hiroshi, Gomi; Michio, Oyamaguchi; Yoshikatsu, Ohta
• 著者名(英): Hiroshi, Gomi; Michio, Oyamaguchi; Yoshikatsu, Ohta
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: A term rewriting system (TRS) is said to be depth-preserving if for any rewrite rule and any variable appearing in the both sides the maximal depth of the variable occurrences in the left-hand-side is greater than or equal to that of the variable occurrences in the right-hand-side and to be strongly depth-preserving if it is depth-preserving and for any rewrite rule and any variable appearing in the left-hand-side all the depths of the variable occurrences in the left-hand-side are the same. This paper shows that there exit non-E-overlapping and depth-preserving TRS's which are not Church-Rosser but all the non-E-overlapping and strongly depth-preserving TRS's are Church-Rosser.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A term rewriting system (TRS) is said to be depth-preserving if for any rewrite rule and any variable appearing in the both sides, the maximal depth of the variable occurrences in the left-hand-side is greater than or equal to that of the variable occurrences in the right-hand-side, and to be strongly depth-preserving if it is depth-preserving and for any rewrite rule and any variable appearing in the left-hand-side, all the depths of the variable occurrences in the left-hand-side are the same. This paper shows that there exit non-E-overlapping and depth-preserving TRS's which are not Church-Rosser, but all the non-E-overlapping and strongly depth-preserving TRS's are Church-Rosser.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 37, 号 12, p. 2147-2160, 発行日 1996-12-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764