有限/余有限语言、确定语言和反确定语言的句法复杂度
摘要：有限/余限、确定和逆确定语言的句法复杂性研究。语言类的句法复杂性定义为类中语言的句法半群的最大大小，作为语言的状态复杂性n的函数。我们证明了(n-1)!是有限/余限语言的紧密上界，并且只有在字母表大小大于或等于(n-1)!-(n-2)!时才能达到。我们证明了该上界对于逆确定语言也是(n-1)!，但最小的字母表大小为(n-1)!-2(n-2)!。我们证明了lfloor ecdot (n-1)!floor是确定语言句法复杂性的下界，并猜测这也是一个上界，并且满足该上界所需的字母表大小为floor{e cdot (n-1)!} - floor{e cdot (n-2)!}。我们证明了当nle 4时的猜测。
作者：Janusz Brzozowski, David Liu
论文ID：1203.2873
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-06-22