柴廷常數

在計算機科學中的算法信息論 ， 柴廷常數 （ 柴廷歐米茄數 ） 或停機的概率是一個實數 ， 非正式地來講 ， 所表示的是隨機的程式將會停止的概率 。 這些數字是從一個格雷戈裏 · 柴廷製作的構造 。 儘管有無窮多個停止的概率 （ 每個方法的程式編碼都各有一個 ） ， 使用字母 Ω 代表他們是很普通的 。 因爲 Ω 取決於程序編碼使用的程式 ， 這有時被稱爲柴廷構造 ， 而不是柴廷常數當沒有參考任何特定的編碼的時候 。 每個停止的概率是一個正規數和超越數的實數 ， 而不是可計算數 ， 這意味着 ， 沒有演算法計算他的位數 。 事實上 ， 每個停止的概率是馬丁 - 洛夫隨機的 ， 意味着甚至沒有任何的演算法是可以可靠地猜測他的位數的 。