嵌套字词转导的流畅性
摘要：有限内存下评估嵌套词转换的问题：在单个从左到右的遍历中。转换T被称为高度有界内存（HBM），如果可以使用只依赖于T的大小和输入词的高度的内存来评估它。我们证明，在可见下推自动机（VPT）定义的嵌套词转换的情况下，如果它是HBM，那么这是在coNPTime中可判定的。在这种情况下，所需的内存量可能以指数方式取决于词的高度。我们展示了一个足够的，可判定的条件，使得VPT能够在内存上进行评估，该条件的内存消耗与词的高度成二次关系。这个条件定义了一个严格包含所有可确定的VPT的转换类。
作者：Emmanuel Filiot and Olivier Gauwin and Pierre-Alain Reynier and Fr''ed''eric Servais
论文ID：1707.00527
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-22