无界内存自动机中成员和非空问题的复杂性
摘要：关于无限内存自动机的三种模型之间的复杂性关系，我们进行了研究：ν-自动机（ν-A），分层内存自动机（LaMA）和历史寄存器自动机（HRA）。这些都是有限状态自动机在无限字母表上无限内存的扩展。我们证明，对于所有这些自动机，成员关系问题都是NP完全问题，而对于非空问题，它们属于不同的类别。已知对于HRA，非空问题是Ackermann完全问题，我们证明对于ν-A，它是PSPACE完全问题。
作者：Cl''ement Bertrand, Cinzia Di Giusto (C&A), Hanna Klaudel (IBISC), Damien Regnault (IBISC)
论文ID：2307.03561
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-07-10