Narrowing-based simulation of term rewriting systems with extra variables

  title={Narrowing-based simulation of term rewriting systems with extra variables},
  author={Naoki Nishida and Masahiko Sakai and Toshiki Sakabe},
  journal={Electr. Notes Theor. Comput. Sci.},
Term rewriting systems (TRSs) extended by allowing to contain extra variables in their rewrite rules are called EV-TRSs. They are ill-natured since every one-step reduction by their rules with extra variables is infinitely branching and they are not terminating. To solve these problems, this paper shows that narrowing can simulate reduction sequences of EV-TRSs as narrowing sequences starting from ground terms. We prove the soundness of ground narrowing sequences for the reduction sequences. We… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS
11 Citations
16 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 16 references

Generation of inverse term rewriting systems for pure treeless

  • N. Nishida, M. Sakai, T. Sakabe
  • Proceedings of Rewriting in Proof and Computation…
  • 2001
1 Excerpt

NVNF-sequentiality of left-linear term rewriting systems, Technical Report

  • T. Nagaya, M. Sakai, Y. Toyama
  • RIMS
  • 1995
1 Excerpt

Similar Papers

Loading similar papers…