的概率是随机选择的无限的0跟1的序列以F的定义域里的一位字串(的某个有限的长度)开始，由于这个原因， Ω 被称为停机的概率。
性质.每个柴廷常数 Ω 具有以下性质：并不是每个图灵等同于停机问题的集合都是停止的概率。 一个等价关系，索罗维等同，可以用来描绘制止的概率之间的左-c。e.实数 。 我们可以显示：一个在[0,1]里的实数是一个柴廷常数(即停止的概率的某些无字首的图灵完备的的可计算函数)若且唯若如果它是左-c。e. 并且是算法随机。 Ω 是少数几个 可定义的 算法随机数