计算函数的定义域都是递归可枚举集合，但是不是递归集合. 这个定义域是图灵等同于停机问题.
定义.设 "P" 是无字首的图灵完备的可计算函数 "F的定义域，常数" Ω 被定义为formula_2 表示的字串p的长度。这是一个无限和，其中有一个加数对于F的定义域中的每个p。这要求该定义域是无字首的，再配合克拉夫特不等式，确保这个和会收敛到0到1之间的一个实数。如果 "F" 是明确的，则Ω 可以被简单地写为Ω，虽然不同的无字首的图灵完备的可计算函数会有不同的Ω值。Section