WEKO3
アイテム
Undecidable Properties on Length-Two String Rewriting Systems
http://hdl.handle.net/2237/21173
http://hdl.handle.net/2237/21173a9dc8fcc-d492-4a4f-913d-ff77eaf2aa95
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
1-s2_0-S1571066108001588-main.pdf (363.4 kB)
|
|
| アイテムタイプ | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2015-02-02 | |||||
| タイトル | ||||||
| タイトル | Undecidable Properties on Length-Two String Rewriting Systems | |||||
| 言語 | en | |||||
| 著者 |
Sakai, Masahiko
× Sakai, Masahiko× Wang, Yi |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 権利 | ||||||
| 権利情報 | © 2008 Elsevier B.V. Open access under CC BY-NC-ND license. | |||||
| 言語 | en | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | Rewriting system | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | confluence | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | left-most termination | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | right-most termination | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | length-two string rewriting system | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | Length-two string rewriting systems are length-preserving string rewriting systems that consist of length-two rules. This paper shows that confluence, termination, left-most termination and right-most termination are undecidable properties for length-two string rewriting systems. These results mean that these properties are undecidable for the class of linear term rewriting systems in which depth-two variables are allowed in both sides of rules. | |||||
| 言語 | en | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007) | |||||
| 言語 | en | |||||
| 出版者 | ||||||
| 出版者 | Elsevier | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプresource | http://purl.org/coar/resource_type/c_6501 | |||||
| タイプ | journal article | |||||
| 出版タイプ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| DOI | ||||||
| 関連タイプ | isVersionOf | |||||
| 識別子タイプ | DOI | |||||
| 関連識別子 | https://doi.org/10.1016/j.entcs.2008.03.053 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | EISSN | |||||
| 収録物識別子 | 1571-0661 | |||||
| 書誌情報 |
en : Electronic Notes in Theoretical Computer Science 巻 204, p. 53-69, 発行日 2008-04 |
|||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| URI | ||||||
| 識別子 | http://dx.doi.org/10.1016/j.entcs.2008.03.053 | |||||
| 識別子タイプ | DOI | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/21173 | |||||
| 識別子タイプ | HDL | |||||
