理想语言和闭合语言的句法复杂性

摘要:正则语言的状态复杂度是接受该语言的最小确定性自动机中的状态数。正则语言的句法复杂度是其句法半群的基数。正则语言子类的句法复杂度是取该类语言的状态复杂度n作为函数的最坏情况句法复杂度。我们研究了正则理想语言及其补集闭包语言的句法复杂度。我们证明了右理想和前缀闭包语言的复杂度的上界为$n^{n-1}$,并且存在左理想和后缀闭包语言的句法复杂度为$n^{n-1}+n-1$,以及双侧理想和因子闭包语言的句法复杂度为$n^{n-2}+(n-2)2^{n-2}+1$。

作者:Janusz Brzozowski and Yuli Ye

论文ID:1010.3263

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2010-10-19

PDF 下载: 英文版 中文版pdf翻译中