前缀、后缀、双缀和因子自由正则语言的句法复杂性
摘要：正则语言的句法复杂性是其句法半群的基数。正则语言类的子类的句法复杂性是该类中语言的最大句法复杂性，作为这些语言的状态复杂性n的函数。我们研究了前缀自由、后缀自由、双缀自由和因子自由的正则语言的句法复杂性。我们证明了前缀自由正则语言的紧密上界为n^(n-2)。我们给出了后缀自由、双缀自由和因子自由正则语言的句法半群的性质，并猜测它们的大小的紧密上界分别为(n-1)^(n-2)+(n-2)、(n-1)^(n-3)+(n-2)^(n-3)+(n-3)2^(n-3)和(n-1)^(n-3)+(n-3)2^(n-3)+1，并展示了具有这些句法复杂性的语言。
作者：Janusz Brzozowski, Baiyu Li, Yuli Ye
论文ID：1103.2986
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-11-21