構成子を共有する項書き換えシステムの単純停止性のモジュラ性

• Item type: SIG Technical Reports(1)
• 公開日: 1990-09-21
• タイトル: 構成子を共有する項書き換えシステムの単純停止性のモジュラ性
• タイトル / 言語: en
• タイトル: MODULARITY OF SIMPLE TERMINATION OF TERM REWRITING SYSTEMS WITH SHARED CONSTRUCTORS
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 北海道大学工学部
• 著者所属: 北海道大学工学部
• 著者所属(英): en
• 著者所属(英): Department of Information Engineering, Hokkaido University
• 著者所属(英): en
• 著者所属(英): Department of Information Engineering, Hokkaido University
• 著者名: 栗原, 正仁; 大内, 東
• 著者名(英): Masahito, Kurihara; Azuma, Ohuchi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 項書き換えシステムは、その停止性を証明する単純化順序が項の集合上に存在するならば、単純停止性を持つといわれる。R_0とR_1を、構成子(nstructo)を共有し得るが、演算子(fined symbo)を共有しない項書き換えシステムとする。ここで、構成子とは、書き換え規則の左辺の最左位置に生起し得ない関数記号、それ以外の関数記号は演算子である。本論文では、R_0∪R_1が単純停止性を持つのはR_0およびR_1ともに単純停止性を持つとき、かつ、そのときに限ることを示す。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A term rewriting system is said to be simply-terminating if there exists a simplification ordering (on the set of terms) showing its termination. Let R_0 and R_1 be term rewriting systems which may share constructors but do not share defined symbols. Here, a constructor is a function symbol which cannot occur at the leftmost positions of the left-hand sides of rewrite rules; the rest of the function symbols are defined symbols. In this paper, we prove that R_0 ∪ R_1 is simply-terminating if and only if both R_0 and R_1 are so.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1990, 号 76(1990-PRO-036), p. 1-10, 発行日 1990-09-21
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会