单计数器网的确定化
摘要：单计数器网络（OCNs）是带有一个计数器的有限状态自动机，该计数器不允许为负，但没有零测试。它们的简单性和与其他不同模型（例如，VASS、计数器机器和推动自动机）的密切联系，使它们成为研究经典决策问题可判定性边界的有吸引力的模型。 OCNs的确定性片段（DOCNs）通常允许更容易处理的决策问题，尽管这些问题和DOCNs的表达能力已经得到研究，但确定性问题，即决定OCN是否存在等价的DOCN，还没有受到关注。 我们介绍了四种OCN可确定性的概念，这是由模型中的复杂性以及初始计数器值的解释所带来的。我们证明，在一般情况下，根据大多数概念确定性是不可判定的，但在单一字母表上（即一维VASS）一个定义变得可判定，其余的定义变得平凡，即总是存在一个等价的DOCN。
作者：Shaull Almagor, Asaf Yeshurun
论文ID：2112.13716
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-12-28