整数向量加法系统与状态
摘要：整数向量加法系统（ZVASS）及其扩展和限制的可达性、可覆盖性和包含性问题的研究。ZVASS包括一个有限状态控制器和一组整数范围计数器。虽然众所周知，在ZVASS中可达性是NP完全的，但从复杂性角度来看，这个类在文献中鲜有涉及。我们通过对上述决策问题的计算复杂性进行深入分析来填补这一空白。有趣的是，尽管向普通VASS中添加重置操作会导致可达性和可覆盖性的不可判定性和Ackermann难度，但它们可以添加到ZVASS中，同时保留可覆盖性和可达性的NP完全性。
作者：Christoph Haase and Simon Halfon
论文ID：1406.2590
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-10-01