文献

J-GLOBAL ID：201902233060873521   整理番号：19A1760663

最近接項書き換えシステムの合流性のための条件【JST・京大機械翻訳】

Conditions for confluence of innermost terminating term rewriting systems

著者 (4件)： Ishizuki Sayaka (Graduate School of Information Science, Nagoya University, Nagoya, Japan) ,  Ishizuki Sayaka (KDDI Corporation, Tokyo, Japan) ,  Oyamaguchi Michio (Graduate School of Informatics, Nagoya University, Nagoya, Japan) ,  Sakai Masahiko (Graduate School of Informatics, Nagoya University, Nagoya, Japan)
資料名： Applicable Algebra in Engineering, Communication and Computing  (Applicable Algebra in Engineering, Communication and Computing)
巻： 30  号： 4  ページ： 349-360  発行年： 2019年 
JST資料番号： W4041A  ISSN： 0938-1279  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 本論文では,すべての臨界対の最近傍の結合性が,最先端の終端項書換えシステムの合流を保証するかどうかについて,開かれた予測のための反例を示した。次に,臨界対のすべての正規化されたインスタンスの最近傍結合性が必要十分条件であることを示した。この条件を用いて,最先端終端システムの合流に対する決定可能な十分条件を与えた。最後に,著者らは,左安定規則の概念を導入することによって条件を豊かにした。コロールとして,左弱浅いTRSsの最先端終端の合流が決定可能であることを示した。Copyright 2019 Springer-Verlag GmbH Germany, part of Springer Nature Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *合流 ,  *項書換え系 ,  連結性 ,  正規化 ,  臨界 ,  十分条件 ,  *合流性
準シソーラス用語： 必要十分条件 , 【Automatic Indexing@JST】

著者キーワード (4件)： 合流 ,  最先端の停止 ,  項書き換えシステム ,  決定可能性

分類 (1件)： 計算理論  (JB02000A)

物質索引 (1件)： コロール

タイトルに関連する用語 (2件)： 項書き換えシステム ,  合流性