rev-rewriting

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: select a file example01.trs example04.trs example06.trs example15.trs example16.trs example29.trs example30.trs example35.trs example37.trs example38.trs ackermann.trs erased.trs unreach.trs clear START

Reversible TRSs: