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

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

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

アクセス数:562件（2025-07-06 10:30 集計）

固定URL: https://hdl.handle.net/11094/27432

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
itr097_125_033 pdf なし 686 KB 73 2014.04.11  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
規則右辺に照合外変数を含む条件付き項書換え系における階層合流性のモジュラ性
Modularity of Level-Confluence for Conditional Term Rewriting Systems with Extra Variables in Right-Hand Sides
キソク　ウヘン　ニ　ショウゴウガイ　ヘンスウ　ヲ　フクム　ジョウケンツキ　コウ　カキカエケイ　ニ　オケル　カイソウ　ゴウリュウセイ　ノ　モジュラセイ
著者
NRID
1000030314529 1000030314529
著者名
服部, 哲 ; ハットリ, サトシ ; Hattori, Satoshi
NRID
1000070252632 1000070252632
著者名
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000080173144 1000080173144
researchmap permalink
teruo.higashino teruo.higashino
Scopus Author ID
7005648670 7005648670
著者名
東野, 輝夫 ; ヒガシノ, テルオ ; Higashino, Teruo
NRID
1000000029513 1000000029513
著者名
谷口, 健一 ; タニグチ, ケンイチ ; Taniguchi, Kenichi
キーワード等
条件付き項書換え系
照合外変数
階層合流性
モジュラ性
conditional term rewriting system
extra variable
level-confluence
modularity
抄録
条件付き項書換え系は, 条件付き書換え規則における, 規則左辺に出現しない変数 (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.
出版者
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名
電子情報通信学会技術研究報告. COMP, コンピュテーション
巻(号)
97(125)
ページ
33-40
刊行年月
1997-06-20
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/27432
NCID
AN10013152
アクセス権
open access
権利情報
Copyright © 1997 IEICE
本文データはCiNiiから複製したものである
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article