标记；结束的输入确定通过时这个图灵完备的机器决定将停止阅读更多位数。在这里，之间的差别这两个概念的程序中提到的最后一段变得清楚的；一个是很容易地认识到一些文法，而其他需要任意的计算到承认。任何图灵完备的可计算函数的定义域都是递归可枚举集合，但是不是递归集合. 这个定义域是图灵等同于停机问题.
定义.设 "P" 是无字首的图灵完备的可计算函数 "F的定义域，常数" Ω 被定义为formula_2 表示的字串p的长度。这是一个无限和， 其中有一个加数对于F的定义域中的每个p。这