极小加模型的非歧义性与寄存器最小化
形式语言与自动机理论
2026-04-30 v2
摘要
我们研究了极小加（热带）加权自动机（WFAs）的非歧义性问题，以及与WFAs表达等价的热带代价寄存器自动机（CRAs）的计数器最小化问题。两个问题都询问模型中的非确定性程度是否可以降低。我们证明WFA非歧义性是可判定的，从而解决了这一长期悬而未决的问题。我们的证明通过归约到WFA可确定性，而后者最近已被证明是可判定的。在否定方面，我们证明CRA计数器最小化是不可判定的，即使对于固定数量的寄存器（具体而言，对于7个寄存器就已经如此）。
引用
@article{arxiv.2512.09484,
title = {Unambiguisability and Register Minimisation of Min-Plus Models},
author = {Shaull Almagor and Guy Arbel and Sarai Sheinvald},
journal= {arXiv preprint arXiv:2512.09484},
year = {2026}
}