WEKO3
アイテム
等式を規則化する変換の停止条件
http://hdl.handle.net/2237/21103
http://hdl.handle.net/2237/21103bfadb34c-8e82-4337-9233-5e4290084241
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
110006782683.pdf (897.7 kB)
|
|
| アイテムタイプ | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2015-01-20 | |||||
| タイトル | ||||||
| タイトル | 等式を規則化する変換の停止条件 | |||||
| 言語 | ja | |||||
| その他のタイトル | ||||||
| その他のタイトル | A Sufficient Condition for Termination of Transformations from Equations to Rewrite Rules | |||||
| 著者 |
水野, 清貴
× 水野, 清貴× 西田, 直樹× 坂部, 俊樹× 酒井, 正彦× 草刈, 圭一朗× MIZUNO, Kiyotaka× NISHIDA, Naoki× SAKABE, Toshiki× SAKAI, Masahiko× KUSAKARI, Keiichirou |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 権利 | ||||||
| 権利情報 | (c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである | |||||
| 言語 | ja | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 項書換え系 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 等式付き書換え | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 等価変換 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | ナローイング | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 項書換え系(TRS)と等式集合から等価なTRSを得る変換手続きが様々な目的で提案されている.これらの手続きを活用するにはその停止性を明らかにすることが必要であるが,これまでに手続きの停止性に関する研究はほとんどなされていない.本稿では,TRSと等式集合の変換手続きに共通する特徴を捉えて,共通して適用できる停止性の十分条件を与える.具体的には,手続きの停止性をナローイング到達可能集合の有限性に帰着させる.そして,等式付き書換え系の等式数削減手続き[10]と正規化手続き[2]について停止性の十分条件を与える. | |||||
| 言語 | ja | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | Several procedures which transform pairs of term rewriting systems (TRSs, for short) and sets of equations into equivalent TRSs have been proposed so far for different purposes. There has been few works on termination of these procedures, while we need some criteria assuring termination in applying them. In this paper, we show a common sufficient condition for the termination of those procedures. We reduce the termination of the procedures to finiteness of sets of narrowing reachable terms. In particular, we discuss sufficient conditions for the termination of the equation elimination procedure [10] and the normalization procedure [2]. | |||||
| 言語 | en | |||||
| 出版者 | ||||||
| 出版者 | 一般社団法人電子情報通信学会 | |||||
| 言語 | ja | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプresource | http://purl.org/coar/resource_type/c_6501 | |||||
| タイプ | journal article | |||||
| 出版タイプ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 関連情報 | ||||||
| 関連タイプ | isVersionOf | |||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://ci.nii.ac.jp/naid/110006782683 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | PISSN | |||||
| 収録物識別子 | 0913-5685 | |||||
| 書誌情報 |
ja : 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 巻 107, 号 505, p. 25-30, 発行日 2008-02 |
|||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| URI | ||||||
| 識別子 | http://ci.nii.ac.jp/naid/110006782683 | |||||
| 識別子タイプ | URI | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/21103 | |||||
| 識別子タイプ | HDL | |||||
