检查栈自动机的推广：特征和层次
摘要：允许多个输入头和多个堆栈的检查堆栈自动机的不同泛化，并根据双向多头有限自动机和空间受限图灵机来刻画它们的计算能力。对于各种模型，我们获得了计算能力方面的层次结构。我们的刻画和层次结构扩展或收紧了一些先前已知的结果。我们还讨论了一些可决定性问题和模型的空间/时间复杂性。
作者：Oscar H. Ibarra and Ian McQuillan
论文ID：2212.00897
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-12-05