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