一元有限自动机与等差数列

我们指出了 Chrobak 定理证明中的一个细微错误，该定理指出每个一元 NFA 都可以表示为大小至多为二次的等差数列的并集。我们对此提出了修正，并展示了如何相应地使实现 Chrobak 定理的 Martinez 多项式时间算法变得正确。我们还证明了除非 L = NL，否则 Martinez 的算法无法改进为对数空间。