条件项重写系统中的一种求逆工具--以Ackermann求逆为例
An Inversion Tool for Conditional Term Rewriting Systems -- A Case Study of Ackermann Inversion
摘要：
我们报告一类面向条件构造函数项重写系统的反演工具。包括四个行为良好的规则逆变器，从平凡到完全，部分和半逆变器。条件项重写系统在理论上是有根据的，并且可以对函数和非函数重写关系进行建模。我们通过实验说明了阿克曼函数的完全和部分反演的反演。案例研究表明，除其他外，多变量反演和输入输出集传播可以减少生成的逆系统的搜索空间。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
