左理想和双边理想的句法复杂性上界
摘要：用方案解决语法复杂性的两个开放问题：我们证明对于具有$n$个左商的（也就是状态复杂度为$n$的）左理想或后缀封闭语言的语法半群的基数最多为$n^{n-1}+n-1$， 对于双边理想或者因子封闭语言的基数最多为$n^{n-2}+(n-2)2^{n-2}+1$。由于已知达到这些上界，该问题得以解决。
作者：Janusz Brzozowski and Marek Szyku{l}a
论文ID：1403.2090
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-07-04