宏树的线性高度和线性尺寸与高度增加的决策
摘要：宏树转换器 (MTT) 的研究：线性高度增加（"LHI") 和线性输入大小对输出高度（"LSHI"）的约束。为了决定宏树转换器 (MTT) 是否具有 LHI 或 LSHI，我们定义了一个深度适当性的概念：如果对于每个状态，它都不限制它放置参数树的深度，那么 MTT 就是深度适当的。我们展示了如何有效地使 MTT 成为深度适当的形式。对于深度适当形式的 MTT，我们将 LSH 属性特征化为有限嵌套属性，并且将 LHI 属性特征化为新的嵌套类型的有限性，我们将其称为多叶嵌套（ML-嵌套）。与常规嵌套不同，我们观察应用于不是彼此祖先的节点上的状态的嵌套。我们利用这种特征化给出了 LSHI 和 LHI 属性的决策过程。最后，我们考虑了 LSOI（线性输入大小对不同输出子树数量的增加）属性的决策问题。一个长期存在的开放问题是 LSOI MTT 是否与属性树转换器 (ATT) 一样具有表达能力，本文展示了决定 MTT 是否是 LSOI 的难度与决定 ATT 的等价性一样困难。
作者：Paul Gallot, Sebastian Maneth, Keisuke Nakano, Charles Peyrat
论文ID：2307.16500
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-08-09