文献

J-GLOBAL ID：201002211652986238   整理番号：10A1245897

合流する半構成子TRS(項書換え系)のための単一化問題

The Unification Problem for Confluent Semi-Constructor TRSs

著者 (3件)： MITSUHASHI Ichiro (Mie Univ., Tsu-shi, JPN) ,  OYAMAGUCHI Michio (Mie Univ., Tsu-shi, JPN) ,  MATSUURA Kunihiro (Mie Univ., Tsu-shi, JPN)
資料名： IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers)  (IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers))
巻： E93-D  号： 11  ページ： 2962-2978  発行年： 2010年11月01日 
JST資料番号： L1371A  ISSN： 0916-8532  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 項書換え系(TRS)のための単一化問題は,TRS Rと2つの項sとtに関し,sとtが統一しうるモジュロールRかどうかを決定することの問題であった。著者らは,合流する単純なTRSについてその問題は決定できることを示した。ここで,単純なTRSは,すべての再書込み規則の右手側が基礎項または変数であるところで1を意味した。本稿では,著者らはこの結果を拡張し,そして合流する半構成子TRSのための単一化問題は決定できることを示した。ここで,半構成子TRSは,各再書込み規則の右手側に現れる全ての定義した記号がその基礎サブ項の中に生じるところで,1を意味した。(翻訳著者抄録)

シソーラス用語： *項書換え系 ,  *単一化 ,  数列 ,  データ書込 ,  変数 ,  書換え規則 ,  決定問題
準シソーラス用語： モデュロール

分類 (1件)： 制御方式  (JC02030K)

引用文献 (16件)：

• BAADER, F. Term Rewriting and All That. 1998
• COMON, H. Syntacticness, cycle-syntacticness and shallow theories. Inf. Comput. 1994, 111, 1, 154-191
• DERSHOWITZ, N. Rewrite systems. Handbook of Theoretical Computer Science. 1990, B, 243-320
• GOMI, H. On the church-rosser property of root-E-overlapping and strongly depth-preserving term rewriting systems. Trans. IPS Japan. 1998, 39, 4, 992-1005
• HULLOT, J.-M. Canonical forms and unification. Proc. 5th Conf. on Automated Deduction, 1980. 1980, 318-334

タイトルに関連する用語 (3件)： 合流 ,  項書換え系 ,  単一化