拟递减性的一个刻画
A Characterization of Quasi-Decreasingness
摘要：
在2010年，Schernhammer和Gramlich证明了DCTRS R的拟递减性等价于其上下文敏感的解Ucs（R）在原始项上的μ-终止。虽然R的拟递减性直接表明了Ucs（R）在原始项上的μ-终止的方向;相反-便于使用上下文敏感的终止工具，如MU-TERM和VMTL -使用R的上下文敏感的拟约化的附加概念。本文给出了Ucs（R）在原项上的μ-终止蕴涵R的拟减性的直接证明。此外，我们报告了我们的实验结果DCTRSs从合流问题数据库（警察），扩展Schernhammer和Gramlich的实验。
英文摘要：
In 2010 Schernhammer and Gramlich showed that quasi-decreasingness of a DCTRS R is equivalent to μ-termination of its context-sensitive unraveling Ucs(R) on original terms. While the direction that quasi-decreasingness of R implies μ-termination of Ucs(R) on original terms is shown directly; the converse - facilitating the use of context-sensitive termination tools like MU-TERM and VMTL - employs the additional notion of context-sensitive quasi-reductivity of R. In the following, we give a direct proof of the fact that μ-termination of Ucs(R) on original terms implies quasi-decreasingness of R. Moreover, we report our experimental findings on DCTRSs from the confluence problems database (Cops), extending the experiments of Schernhammer and Gramlich.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
