探索Kolmogorov-Chaitin复杂度的稳定定义

尽管信息内容在相差一个可加常数的意义下是不变的，但适用于编程语言的可能可加常数范围如此之大，以至于在实际评估字符串s的Kolmogorov-Chaitin复杂度K(s)时，它起着主要作用。为了得到一个足够稳定的框架以具体定义K，使其独立于任何编程语言下的常数，人们已经通过诉诸相关语言的“自然性”进行了一些尝试。本文的目的是提出一种克服该问题的方法，通过考察一组在输出概率分布上收敛的计算模型，从而可以推断出“自然性”，进而为在收敛计算模型集下稳定定义K提供一个框架。