rev-rewriting transforms a TRS into a reversible one. The tool is based on injectivization and inversion following the ideas introduced in the following paper:

  • Naoki Nishida, Adrián Palacios, Germán Vidal. Reversible Term Rewriting.
    FSCD, 2016. PDF

It takes a TRS and returns the following TRSs

  • the flattened version of the original system
  • the basic c-DCTRS version of the original system
  • the injectivized TRS
  • the inversion of the injectivized system

Check the web interface in the next tab.

The source code of this tool is publicly available on Github

Please let me know if you have any question or comment to apalacios@dsic.upv.es.

Original TRS
Choose a file:

Reversible TRSs: