Transforming Prefix-constrained or Controlled Rewrite Systems
Nirina Andrianarivelo, Vivien Pelletier, Pierre Réty · EPiC series in computing · 2018
We present two techniques for transforming any prefix-constrained and any controlled term rewrite system into an ordinary rewrite system. We prove that both transformations preserve the rewrite com- putations, and preserve termination. In this way, prefix-constrained rewriting and controlled rewriting can be run, and termination can be checked, using the usual tools for ordinary rewriting.