的一个程序。解释器有以下属性：然后，设 "L" 中的程序 P 是 "s" 的最小描述，则 codice_1(P) 将会返回字符串 "s"。而 "s" 的描述长度，是以下两项之和：以上证明了所需的上界。
历史与背景.算法信息论是计算机科学中的一个领域，研究柯氏复杂性和其他对于字符串（或者其他数据结构）的复杂性度量。柯氏复杂性的理论和概念基于的一些关键性理论。1960年，所罗门诺夫发表了《归纳推理的通用性理论导论》，作为他所创立的的一部分。在1964年发表的《信息与控制》