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

服部, 哲; 岡野, 浩三; 東野, 輝夫; 谷口, 健一

このアイテムのアクセス数:68件（2021-07-24 11:09 集計）

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/27432

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
itr097_125_033	pdf	686 KB	21

論文情報

タイトル	規則右辺に照合外変数を含む条件付き項書換え系における階層合流性のモジュラ性
別タイトル	Modularity of Level-Confluence for Conditional Term Rewriting Systems with Extra Variables in Right-Hand Sides
タイトル (ヨミ)	キソク　ウヘン　ニ　ショウゴウガイ　ヘンスウ　ヲ　フクム　ジョウケンツキ　コウ　カキカエケイ　ニ　オケル　カイソウ　ゴウリュウセイ　ノ　モジュラセイ
著者	服部, 哲服部, 哲
	岡野, 浩三岡野, 浩三
	東野, 輝夫東野, 輝夫
	谷口, 健一谷口, 健一
著者の別表記	Hattori, Satoshi
	Okano, Kozo
	Higashino, Teruo
	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
NCID	AN10013152
URL	http://hdl.handle.net/11094/27432
権利情報	Copyright © 1997 IEICE
権利情報	本文データはCiNiiから複製したものである
言語	日本語
カテゴリ	学術雑誌論文 Journal Article

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. COMP, コンピュテーション.97(125) P.33-P.40
DC.title	規則右辺に照合外変数を含む条件付き項書換え系における階層合流性のモジュラ性
DCTERMS.alternative	Modularity of Level-Confluence for Conditional Term Rewriting Systems with Extra Variables in Right-Hand Sides
DC.creator	服部, 哲
	岡野, 浩三
	東野, 輝夫
	谷口, 健一
DC.creator	Hattori, Satoshi
	Okano, Kozo
	Higashino, Teruo
	Taniguchi, Kenichi
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	日本語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	1997-06-20
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/27432
DC.subject	条件付き項書換え系
	照合外変数
	階層合流性
	モジュラ性
	conditional term rewriting system
	extra variable
	level-confluence
	modularity
DCTERMS.abstract	条件付き項書換え系は, 条件付き書換え規則における, 規則左辺に出現しない変数 (extra variable, 照合外変数と訳した) の分布の状況によって, いくつかのクラスに分類される. 本論文では,「規則右辺の変数は, 規則左辺に出現する変数か, 条件に出現する照合外変数でなければならない」というクラス (3-CTRSs) に対し, 階層合流性 (level-confluence) を満たすCTRSの直和 (disjoint union) は階層合流性を満たすことを示す.
DCTERMS.abstract	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.
DC.rights	Copyright © 1997 IEICE
DC.rights	本文データはCiNiiから複製したものである
citation_title	規則右辺に照合外変数を含む条件付き項書換え系における階層合流性のモジュラ性
citation_author	服部, 哲
	岡野, 浩三
	東野, 輝夫
	谷口, 健一
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	1997-06-20
citation_journal_title	電子情報通信学会技術研究報告. COMP, コンピュテーション
citation_volume	97
citation_issue	125
citation_firstpage	33
citation_lastpage	40
citation_public_url	http://hdl.handle.net/11094/27432
citation_keywords	条件付き項書換え系
	照合外変数
	階層合流性
	モジュラ性
	conditional term rewriting system
	extra variable
	level-confluence
	modularity

閲覧可能ファイル

論文情報

論文詳細を表示