We report on an inversion tool for a class of oriented conditional constructor term rewriting systems. Four well-behaved rule inverters ranging from trivial to full, partial and semi-inverters are included. Conditional term rewriting systems are theoretically well founded and can model functional and non-functional rewrite relations. We illustrate the inversion by experiments with full and partial inversions of the Ackermann function. The case study demonstrates, among others, that polyvariant inversion and input-output set propagation can reduce the search space of the generated inverse systems.

中文翻译：

---

条件项重写系统的反演工具——阿克曼反演的案例研究

我们报告了用于一类定向条件构造函数项重写系统的反演工具。包括四个表现良好的规则逆变器，范围从普通逆变器到全逆变器、部分逆变器和半逆变器。条件术语重写系统在理论上是有根据的，可以对功能和非功能重写关系进行建模。我们通过阿克曼函数的完全和部分反演实验来说明反演。该案例研究表明，除其他外，多变量反演和输入-输出集传播可以减少生成的逆系统的搜索空间。