基于 Kolmogorov 复杂性的形式语言理论新方法
计算复杂性
2007-05-23 v1
摘要
我们提出了一种使用 Kolmogorov 复杂性的形式语言理论新方法。本文提出的主要成果是泵引理的替代方案、正则语言的一种新刻画，以及分离确定性上下文无关语言与非确定性上下文无关语言的一种新方法。通过许多例子说明了新的“不可压缩性论证”的使用。该方法在 Chomsky 层级的最高端也是成功的，因为可以根据 Kolmogorov 复杂性量化非递归性。（这是初步的未修正版本。最终版本发表于 SIAM J. Comput., 24:2(1995), 398-410。）
引用
@article{arxiv.cs/0110040,
title = {A New Approach to Formal Language Theory by Kolmogorov Complexity},
author = {Ming Li and Paul Vitanyi},
journal= {arXiv preprint arXiv:cs/0110040},
year = {2007}
}