組合せ子の非循環性と関連する性質について

• Item type: Trans(1)
• 公開日: 2009-03-23
• タイトル: 組合せ子の非循環性と関連する性質について
• タイトル / 言語: en
• タイトル: On the Acyclic and Related Properties of Combinators
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 通常論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 島根大学総合理工学部
• 著者所属(英): en
• 著者所属(英): Interdisciplinary Faculty of Science and Engineering, Shimane University
• 著者名: 岩見, 宗弘
• 著者名(英): Munehiro, Iwami
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: Sumllyan は，書き換え規則 Lxy → x (yy) を持つ組合せ子 L と書き換え規則 Oxy → y (xy) を持つ組合せ子 O を提案した．本稿では最初に，Bergstra らの手法を一般化した組合せ子の非循環性に対する十分条件を与える．その十分条件を用いて，組合せ子 L と O の非循環性を示す．次に，組合せ子 O は停止性を持たないことを示す．さらに，Waldmann と同様の手法により組合せ子 O は非基礎ループ性を持つことを示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Sumllyan proposed that combinator L with rewrite rule Lxy→x(yy) and combinator O with rewrite rule Oxy→y(xy). First, we give a sufficient condition for acyclic of combinators using the generalized method of Bergstra et al in this paper. We show that acyclic of combinators L and O using this condition. Next, we show that combinator O is not terminating. Furthermore, we show that combinator O admits no ground loops by similar method of Waldmann.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 2, 号 2, p. 97-104, 発行日 2009-03-23
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会