規則右辺に照合外変数を含む条件付き項書換え系における階層合流性のモジュラ性

服部, 哲; 岡野, 浩三; 東野, 輝夫 他

電子情報通信学会技術研究報告. COMP, コンピュテーション, 1997, 97(125), 33-40

Number of Access:612（2025-08-31 12:57 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/27432

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
itr097_125_033 pdf None 686 KB 78 2014.04.11  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
規則右辺に照合外変数を含む条件付き項書換え系における階層合流性のモジュラ性
Modularity of Level-Confluence for Conditional Term Rewriting Systems with Extra Variables in Right-Hand Sides
キソク　ウヘン　ニ　ショウゴウガイ　ヘンスウ　ヲ　フクム　ジョウケンツキ　コウ　カキカエケイ　ニ　オケル　カイソウ　ゴウリュウセイ　ノ　モジュラセイ
Creator
NRID
1000030314529 1000030314529
CreatorName
服部, 哲 ; ハットリ, サトシ ; Hattori, Satoshi
NRID
1000070252632 1000070252632
CreatorName
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000080173144 1000080173144
researchmap permalink
teruo.higashino teruo.higashino
Scopus Author ID
7005648670 7005648670
CreatorName
東野, 輝夫 ; ヒガシノ, テルオ ; Higashino, Teruo
NRID
1000000029513 1000000029513
CreatorName
谷口, 健一 ; タニグチ, ケンイチ ; Taniguchi, Kenichi
Subject
条件付き項書換え系
照合外変数
階層合流性
モジュラ性
conditional term rewriting system
extra variable
level-confluence
modularity
Abstract
条件付き項書換え系は, 条件付き書換え規則における, 規則左辺に出現しない変数 (extra variable, 照合外変数と訳した) の分布の状況によって, いくつかのクラスに分類される. 本論文では,「規則右辺の変数は, 規則左辺に出現する変数か, 条件に出現する照合外変数でなければならない」というクラス (3-CTRSs) に対し, 階層合流性 (level-confluence) を満たすCTRSの直和 (disjoint union) は階層合流性を満たすことを示す.
It has been proved that every disjoint union of level-confluent conditional term rewriting systems (CTRSs) with extra variables in the conditions of the rewrite rules is also level-confluent. In this paper, we show that this statement is also valid for CTRSs with extra variables in the right-hand sides of the rewrite rules.
Publisher
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
Source Title
電子情報通信学会技術研究報告. COMP, コンピュテーション
Volume (Issue)
97(125)
Page
33-40
Date of Issued
1997-06-20
Language
Japanese
Handle URL
https://hdl.handle.net/11094/27432
NCID
AN10013152
Access Rights
open access
CopyRight
Copyright © 1997 IEICE
本文データはCiNiiから複製したものである
oaire:version
Version of Record
Category
学術雑誌論文 Journal Article