一维推动式向量加法系统中的覆盖性是不可判定的。
摘要：推动向量加法系统带复位的模型可参考。这些系统由具备访问推入栈并能够复位计数器的向量加法系统及指令组成。针对该模型，我们研究了覆盖性问题。在无复位的情况下，已知该问题对于一维推入栈向量加法系统是可判定的，但一般推入栈向量加法系统的可判定性尚不明确。此外，已知在无推入栈的条件下，覆盖性问题对于具备复位的向量加法系统是可判定的。我们在本文中展示一维推入栈向量加法系统带复位的问题是不可判定的。
作者：Sylvain Schmitz and Georg Zetzsche
论文ID：1906.07069
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-05-12