确定性有限状态自动机中正则语言的通信复杂度
摘要:在本论文中,我们研究了常规语言在通信复杂性环境中的位置。特别是,我们对常规语言的非确定性通信复杂性感兴趣。我们证明了一个正规语言的非确定性复杂性要么是O(1),要么是Ω(log n)。我们得到了几个线性下界结果,涵盖了具有线性非确定性复杂性的广泛的正规语言。这些下界结果还暗示了一个半群理论的结果:我们得到了不属于正变量Pol(Com)的充分条件。为了得到我们的结果,我们使用了代数技术。在对正规语言的研究中,Eilenberg \cite{Eil74}开创性地提出的代数观点导致了许多有趣的结果。将半群视为识别语言的计算设备,从半群理论和形式语言的角度来看,都被证明是富有成果的。在本论文中,我们提供了这种相互关系的进一步实例。
作者:Anil Ada
论文ID:0801.4777
分类:Computational Complexity
分类简称:cs.CC
提交时间:2008-02-01