| Presentation | 1994/7/25 On the Church-Rosser property of E-overlapping and simple-right-linear TRS's Michio Oyamaguchi, Yoshihito Toyama, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | A term rewriting system (TRS) is said to be simple-right-linear it 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 red uction sequence δ:M〓^*N of lenght 〓 n such that no E-overlapping sequences occur in δ.Next,some sufficienct conditions for this se quence-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-Oy amaguchi,1993!. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | term-rewriting system / Church-Rosser / E-overlapping / simple- right-linear |
| Paper # | COMP94-29 |
| Date of Issue |
| Conference Information | |
| Committee | COMP |
|---|---|
| Conference Date | 1994/7/25(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Theoretical Foundations of Computing (COMP) |
|---|---|
| Language | ENG |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | On the Church-Rosser property of E-overlapping and simple-right-linear TRS's |
| Sub Title (in English) | |
| Keyword(1) | term-rewriting system |
| Keyword(2) | Church-Rosser |
| Keyword(3) | E-overlapping |
| Keyword(4) | simple- right-linear |
| 1st Author's Name | Michio Oyamaguchi |
| 1st Author's Affiliation | Faculty of Engineering,Mie University() |
| 2nd Author's Name | Yoshihito Toyama |
| 2nd Author's Affiliation | Japan Advanced Institute of Science and Technology,Hokuriku |
| Date | 1994/7/25 |
| Paper # | COMP94-29 |
| Volume (vol) | vol.94 |
| Number (no) | 181 |
| Page | pp.pp.- |
| #Pages | 10 |
| Date of Issue | |