栈自动机模型的空间复杂度
摘要：栈自动机变体的空间复杂度的几种度量方法被考察：非抹除栈自动机和检查栈自动机。这些度量方法捕捉到自动机接受每个词所需的最小栈大小（弱度量），在任何接受的词的任何接受计算中使用的最大栈大小（接受度量），以及在任何计算中使用的最大栈大小（强度量）。我们详细描述了检查栈自动机的接受和强空间复杂度的特征。可能发生三种情况之一：复杂度要么被常数限制，行为像线性函数一样，或者无法被任何输入词长度的函数限制（并且可以确定发生的是哪种情况）。然而，这个结果对于非抹除栈自动机并不成立；我们提供了一个例子，其中空间复杂度与输入长度的平方根成比例增长。此外，我们研究了接受给定语言的机器的复杂度界限以及空间复杂度属性的可决定性。
作者：Oscar H. Ibarra, Jozef Jir''asek, Ian McQuillan, and Luca Prigioniero
论文ID：2212.00891
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-12-05