算法

- { zh - hans:; zh - hant: } - 算法中的指令描述的是一個計算 ， 它時從一個初始狀態和初始輸入 （ 可能爲空 ） 開始 ， 經過一系列有限而清晰定義的狀態最終產生輸出並停止於一個終態 。 一個狀態到另一個狀態的轉移不一定是確定的 。 包括隨機化算法在內的一些算法 ， 都包含了一些隨機輸入 。 早在嘗試解決希爾伯特提出的判定問題時 ， 算法的不完整概念已經初步定型 ； 在其後的正式化階段中人們嘗試去定義 “” 或者 “” 。 這些嘗試包括庫爾特 · 哥德爾 、 雅克 · 埃爾布朗和斯蒂芬 · 科爾 · 克萊尼分別於1930年 、 1934年和1935年提出的遞歸函數 ， 阿隆佐 · 邱奇於1936年提出的λ演算 ， 1936年的Formulation 1和艾倫 · 圖靈1937年提出的圖靈機 。 即使在當下 ， 依然常有符合直覺的想法難以定義爲形式化算法的情況 。