基于任何计算机语言，例如LISP、Pascal或Java字节码。如果 P 是一个可以输出字符串 "x"的程序，则 P 是 "x"的描述。描述长度就等于程序 P 作为字符串的长度，乘上每个字符的比特数。（例如，对于 ASCII来说是7）我们也可以使用图灵机的编码。每一个图灵机 M 都对应一个字符串 <M>。如果 M 是一个图灵机，给它输入字符串 "w" 它会输出字符串 "x"，那么这段拼合起来的字符串 <M>＋"w" 就是 "x"的描述。这种描述更适合比较严谨的证明，通常是在正式研究中才会使用。在本文的讨