星号自由语言的句法复杂性。
摘要:正则语言的句法复杂性是其句法半群的基数。正则语言子类的句法复杂性是该子类中语言的最大句法复杂性,作为这些语言状态复杂性的函数。我们研究了无星正则语言的句法复杂性,即可以通过使用并集、补集和串联从有限语言构建的语言。我们对由单调和部分单调自动机接受的语言的句法复杂性给出了严格的上界。我们引入了“准单调”自动机,它们接受无星语言,并找到了这类自动机接受的语言的句法复杂度的严格上界。我们猜测这个上界也是无星语言句法复杂性的一个上界。
作者:Janusz Brzozowski, Baiyu Li
论文ID:1109.3381
分类:Formal Languages and Automata Theory
分类简称:cs.FL
提交时间:2011-09-16