可折叠下推层次的精确性
Strictness of the Collapsible Pushdown Hierarchy
摘要：
我们提出了一个泵引理的可折叠的下推图层次结构的每一个级别的第二作者的泵引理高阶下推图（没有崩溃）。使用这个引理，我们给出了第一个已知的例子，分离可折叠下推图层次结构和可折叠下推树层次结构的级别，即，由高阶递归方案生成的树的层次结构。这证实了一个开放的猜想，即高阶允许生成更多的图和更多的树。
英文摘要：
We present a pumping lemma for each level of the collapsible pushdown graph hierarchy in analogy to the second author's pumping lemma for higher-order pushdown graphs (without collapse). Using this lemma, we give the first known examples that separate the levels of the collapsible pushdown graph hierarchy and of the collapsible pushdown tree hierarchy, i.e., the hierarchy of trees generated by higher-order recursion schemes. This confirms the open conjecture that higher orders allow one to generate more graphs and more trees.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
