关于非递归权衡的度量
On Measuring Non-Recursive Trade-Offs
摘要：
我们调查的现象，非递归的权衡系统之间的抽象方式。我们的目标是分类非递归权衡其增长率的界限，并展示了如何推导出这样的界限一般。我们还确定了标准，在抽象语言理论的精神，使我们能够推导出非递归权衡有效的封闭属性的语言家庭的一方面，和差异的可判定性状态的基本决策问题的另一方面。我们开发了一个定性分类的非递归权衡，以获得更好的理解这一非常基本的行为的fractional系统。
英文摘要：
We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their growth rate, and show how to deduce such bounds in general. We also identify criteria which, in the spirit of abstract language theory, allow us to deduce non-recursive tradeoffs from effective closure properties of language families on the one hand, and differences in the decidability status of basic decision problems on the other. We develop a qualitative classification of non-recursive trade-offs in order to obtain a better understanding of this very fundamental behaviour of descriptional systems.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
