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: |