WEKO3
アイテム
On the Church-Rosser Property of E-overlapping and Simple-Right-Linear TRS's
http://hdl.handle.net/10076/4030
http://hdl.handle.net/10076/40301441c070-8c30-4647-8546-e893ab96c4da
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
AA008163410200010.PDF (1.3 MB)
|
|
| アイテムタイプ | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2007-07-02 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | On the Church-Rosser Property of E-overlapping and Simple-Right-Linear TRS's | |||||||||||||
| 言語 | en | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | eng | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | term-reweiting system | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | Church-Rosser | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | confluence | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | nonlinear TRS | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | nonterminating TRS | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | E-overlapping | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | simple-right-linear | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||||
| 著者 |
大山口, 通夫
× 大山口, 通夫
× 外山, 芳人
|
|||||||||||||
| 抄録 | ||||||||||||||
| 内容記述タイプ | Abstract | |||||||||||||
| 内容記述 | A term rewriting system (TRS) is said to be simple-right-linear if for any rewrite rule, the right-hand-side term is linear and no variables occuring more than once in the left-hand-side occur in the right-hand-side. This paper shows that a simple-right-linear TRS is Church-ROsser (i.e., confluent) if it satisfies the following condition (called the sequence-normalizing property) : for any reduction sequence γ : M ←→ N of length n, there exists a reduction sequence δ : M ←→ N of length ≤ n such that no E-overlapping sequences occur in δ. Next, some sufficient conditions for this sequence-normalizing property are presented and shown to be a generalization of those for Church-Rosser obtained by two different approaches proposed in [Oyamaguchi, 1992] and [Toyama-Oyamaguchi, 1993]. | |||||||||||||
| 書誌情報 |
Research reports of the Faculty of Engineering, Mie University 巻 20, p. 99-118, 発行日 1995-12-21 |
|||||||||||||
| ISSN | ||||||||||||||
| 収録物識別子タイプ | PISSN | |||||||||||||
| 収録物識別子 | 0385-6208 | |||||||||||||
| 書誌レコードID | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AA00816341 | |||||||||||||
| フォーマット | ||||||||||||||
| 内容記述タイプ | Other | |||||||||||||
| 内容記述 | application/pdf | |||||||||||||
| 著者版フラグ | ||||||||||||||
| 出版タイプ | VoR | |||||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||||
| その他のタイトル | ||||||||||||||
| 言語 | ja | |||||||||||||
| 値 | E重なりのある単純右線形項書き換えシステムの合流性について | |||||||||||||
| 出版者 | ||||||||||||||
| 出版者 | Faculty of Engineering, Mie University | |||||||||||||
| 資源タイプ（三重大） | ||||||||||||||
| 値 | Departmental Bulletin Paper / 紀要論文 | |||||||||||||
