计数网的维数最小性与素性
摘要：$k$-Counter网（$k$-CN）是一个有$k$个整数计数器的有限状态自动机，这些计数器不允许变成负数，但不具有明确的零测试。这种语言识别模型可以被认为是带有状态的标记向量加法系统，其中有一些是可接受的。当维度$k$很小的时候，$k$-CN的某些决策问题变得更容易，甚至可以决定。然而，对于维度$k$对于被$k$-CN识别的语言类有什么影响，我们所知甚少。具体来说，如果我们能通过减小给定CN的维数来简化算法推理将会很有用。为此，我们引入了维度灵数的概念，其中一个$k$-CN是素数，如果它识别一个语言，该语言不能分解为被$d$-CN识别的有限交集，对于一些$d 作者：Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun 论文ID：2307.14492 分类：Formal Languages and Automata Theory 分类简称：cs.FL 提交时间：2023-07-28