.
定义.设 "P" 是无字首的图灵完备的可计算函数 "F的定义域，常数" Ω 被定义为formula_2 表示的字串p的长度。这是一个无限和， 其中有一个加数对于F的定义域中的每个p。这要求该定义域是无字首的，再配合克拉夫特不等式，确保这个和会收敛到0到1之间的一个实数。如果 "F" 是明确的，则Ω 可以被简单地写为Ω，虽然不同的无字首的图灵完备的可计算函数会有不同的Ω值。
与停机问题的关系.知道 Ω 的（二进制的）前N位数，我们可以计算出每个不超过