Authors: Naoki Nishida and Yuya Maeda
Paper Information
| Title: | On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions |
| Authors: | Naoki Nishida and Yuya Maeda |
| Proceedings: | WPTE Extended Abstracts |
| Editor: | Joachim Niehren |
| Keywords: | term rewriting, regular tree grammar, narrowing, reachability |
| Abstract: | ABSTRACT. The grammar representation of a narrowing tree for a syntactically deterministic conditional term rewriting system and a pair of terms is a regular tree grammar that generates expressions for substitutions obtained by all possible innermost-narrowing derivations that start with the pair and end with non-narrowable terms. In this paper, under a certain syntactic condition, we show a transformation of the grammar representation of a narrowing tree into a regular tree grammar that generates the ranges of substitutions generated by the grammar representation. In our previous work, such a transformation is restricted to the ranges w.r.t.\ a given single variable, and thus, the usefulness is limited. We extend the previous transformation by considering the range of a substitution as a tuple of terms and by using the notion of coding for finite trees. |
| Pages: | 13 |
| Talk: | Jul 08 14:30 (Session 40R) |
| Paper: | ![]() |
