| Presentation | 1994/11/18 Decidability of Indices on NVNF-sequential Term Rewriting Systems Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | It is known that NV-sequential term rewriting systems have a decidable one-step normalizing strategy as index reduction.This paper introduces an extension of NV-sequential systems,called NVNF- sequential systems.In NVNF-sequential systems,indices are defined by the reachability to the normal form concerning the reduction relation generated by the left-hand sides and the non-variable parts of the right-hand sides of rewriting rules.We show that indices of any term are decidable when the system is NVNF- sequential.Moreover,we state that like NV-sequential systems,every orthogonal NVNF-sequential system has a normalizing strategy as index reduction. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | The Rewriting System / Normalizing Strategy / NVNF-sequential System / Index |
| Paper # | COMP94-63 |
| Date of Issue |
| Conference Information | |
| Committee | COMP |
|---|---|
| Conference Date | 1994/11/18(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 | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Decidability of Indices on NVNF-sequential Term Rewriting Systems |
| Sub Title (in English) | |
| Keyword(1) | The Rewriting System |
| Keyword(2) | Normalizing Strategy |
| Keyword(3) | NVNF-sequential System |
| Keyword(4) | Index |
| 1st Author's Name | Takashi Nagaya |
| 1st Author's Affiliation | Japan Advance Institute of Science and Technology,Hokuriku() |
| 2nd Author's Name | Masahiko Sakai |
| 2nd Author's Affiliation | Japan Advance Institute of Science and Technology,Hokuriku |
| 3rd Author's Name | Yoshihito Toyama |
| 3rd Author's Affiliation | Japan Advance Institute of Science and Technology,Hokuriku |
| Date | 1994/11/18 |
| Paper # | COMP94-63 |
| Volume (vol) | vol.94 |
| Number (no) | 354 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |