关于二进制无因子语言并集的状态复杂性
摘要：Brzozowski等人在2011年推测，如果$K$和$L$是一个二元字母表上的无因子正则语言，其状态复杂度分别为$m$和$n$，那么$K \cup L$的状态复杂度最多为$mn-(m+n)+3-min\{m,n\}$。我们通过给出一个下界$mn-(m+n)-2-\lfloor\frac{min\{m,n\}-2}{2}\rfloor$来证明这个推测是错误的，而该下界在$min\{m,n\} \geq 10$时超过了推测的界限。
作者：Szabolcs Ivan
论文ID：1405.1107
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-05-07