科尔莫哥洛夫复杂性在形式语言理论中的新方法
摘要：用Kolmogorov复杂性提供一个形式语言理论的新方法:抽水引理的一个替代方案,正则语言的一个新特征,以及将确定性上下文无关语言和非确定性上下文无关语言分开的新方法。通过许多示例来说明这种新的“不可压缩性论证”的应用。由于可以用Kolmogorov复杂性来量化非递归的程度,因此这一方法在Chomsky层次结构的高端也取得了成功。(这是一份初步的未校正版本。最终版本发表在SIAM J. Comput., 24:2(1995), 398-410.)
作者：Ming Li (University of Waterloo) and Paul Vitanyi (CWI and University of Amsterdam)
论文ID：cs/0110040
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23