藝術化的
圖靈機
。圖靈機常用在計算的理論模型上
?算理?
（英語：
Theory of computation
）是數學的一個領域，和
?算机
有密切?系。其中的理?是?代
密?
??、?算机??和?多?用?域的基?。??域主要?心三?方面的??：
這三方面的問題可以用一個問題來總括：「電腦的基礎能力及限制到什?程度？」
[1]
計算理論的「
計算
」?非指純粹的算術運算（Calculation），而是指從已知的輸入透過
算法
來取得一個問題的答案（Computation），因此，計算理論屬於
理論計算機科學
和
應用數學
。
?了對計算進行嚴謹的?究，電腦科學家會將計算以數學的方式抽象化，稱?
?算模型
。有幾種目前在使用的?算模型，其中最出名的是
圖靈機
[2]
。電腦科學家?究圖靈機的原因是??容易?述，可以分析，用來證明結果，而且用此模式呈現了許多?而有力的計算模型（參照
邱奇－????
）
[3]
。圖靈機有潛在的，數量無限的記憶能力，這似乎是不可能達到的，不過所有圖靈機解決的
可判定性
問題
[4]
都只需要有限量的記憶能力。因此理論上，任何可以用圖靈機解決的（可判定性）問題都只需要有限量的記憶能力。
歷史
[
??
]
計算理論早在所有
計算機
發明之前便開始了，當時是使用
?理??
，在20世紀此理論和數學分離，成?一個獨立的學科。
?算理?早期的重要貢獻者有
阿隆佐·邱奇
、
??特·哥德?
、
艾?·??
、
斯?芬·科?·克?尼
、
?翰·?·?伊曼
及
克?德·香?
等。
參考資料
[
??
]
參見
[
??
]
外部連結
[
??
]
