コルモゴロフ複雑性
このプログラムは KolmogorovComplexity() をサブルーチンとして呼び出す。このプログラムは長さが1から無限大に至るまでのありとあらゆる文字列を調べ、コルモゴロフ複雑性が少なくとも "n" 以上であるような文字列を見つけたらそれを返す。従って、任意の正の整数 "n" について、これはコルモゴロフ複雑性が少なくとも "n" 以上であるような文字列を生成する。このプログラム自身は固定的な長さを持つが、その長さを "U" と書こう。プログラム GenerateComplexString() に対する入力は整数 "n" だが、この大きさは "n" を表すのに必要なビット数で測ることとすると、これは log2("n") である。さて、ここで更に次のようなプログラムを考える：