少状态的极值二进制PFA
摘要：二进制偏斜有限状态自动机的重置阈值的最大值严格大于$(n-1)^2$ if and only if $n \geq 6$。对于这个家庭的PFA，我们派生了重置阈值的显式公式。实际上，在该家族中找到的PFA的重置阈值是多项式阶的。我们证明了对于$n \geq 41$，该家族中的PFA不是极值型的。我们通过改进Martyugin的二进制PFA的素数构造来证明这一点。
作者：Stijn Cambie, Michiel de Bondt, and Henk Don
论文ID：2108.13927
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-04-18