计算理り论

藝術げいじゅつ化か的てき圖ず靈れい機き。圖ず靈れい機き常用じょうよう在ざい計算けいさん的てき理論りろん模型もけい上じょう

计算理り论（英語えいご：Theory of computation）是ぜ數學すうがく的てき一いち個こ領域りょういき，和わ计算机つくえ有ゆう密みつ切きり关系。其中的てき理り论是现代密みつ码协议、计算机つくえ设计和わ许多应用领域的てき基もと础。该领域いき主要しゅよう关心三さん个方面ほうめん的てき问题：

• 采さい用よう什么计算模型もけい（即そく形式けいしき语言、自じ动机）
• 解かい决哪些是可か计算的てき、哪些是ぜ不可ふか计算的てき（即そく可か计算性せい理り论及演算えんざん法ほう）
• 要用ようよう多少たしょう时间、要用ようよう多少たしょう存そん储（即そく計算けいさん複雜ふくざつ性せい理論りろん）

這三方面的問題可以用一個問題來總括：「電腦でんのう的てき基礎きそ能力のうりょく及限制せい到いた什麼いんも程度ていど？」

計算けいさん理論りろん的てき「計算けいさん」並なみ非ひ指ゆび純粹じゅんすい的てき算術さんじゅつ運算うんざん（Calculation），而是指ゆび從したがえ已やめ知的ちてき輸入ゆにゅう透過とうか算法さんぽう來らい取得しゅとく一いち個こ問題もんだい的てき答案とうあん（Computation），因いん此，計算けいさん理論りろん屬ぞく於理論りろん計算けいさん機き科學かがく和わ應用おうよう數學すうがく。

為ため了りょう對たい計算けいさん進行しんこう嚴げん謹的研究けんきゅう，電腦でんのう科學かがく家か會かい將はた計算けいさん以數學がく的てき方式ほうしき抽象ちゅうしょう化か，稱たたえ為ため计算模型もけい。有ゆう幾いく種目しゅもく前ぜん在ざい使用しよう的てき计算模型もけい，其中最さい出だし名めい的てき是ぜ圖ず靈れい機き。電腦でんのう科學かがく家か研究けんきゅう圖ず靈れい機き的てき原因げんいん是ぜ它很容易ようい敘述，可か以分析ぶんせき，用よう來らい證明しょうめい結果けっか，而且用よう此模式しき呈てい現げん了りょう許多きょた強きょう而有力りょく的てき計算けいさん模型もけい（參照さんしょう邱奇－图灵论题）。圖ず靈れい機き有ゆう潛在せんざい的てき，數量すうりょう無限むげん的てき記憶きおく能力のうりょく，這似乎是不可能ふかのう達たち到いた的てき，不ふ過か所有しょゆう圖ず靈れい機き解決かいけつ的てき可か判定はんてい性せい問題もんだい都と只ただ需要じゅよう有限ゆうげん量的りょうてき記憶きおく能力のうりょく。因よし此理論ろん上じょう，任にん何なん可か以用圖ず靈れい機き解決かいけつ的てき（可か判定はんてい性せい）問題もんだい都と只ただ需要じゅよう有限ゆうげん量的りょうてき記憶きおく能力のうりょく。

歷史れきし

計算けいさん理論りろん早はや在ざい所有しょゆう計算けいさん機き發明はつめい之の前便ぜんびん開始かいし了りょう，當時とうじ是ぜ使用しよう数理すうり逻辑，在ざい20世紀せいき此理論ろん和わ數學すうがく分離ぶんり，成なり為ため一いち個こ獨立どくりつ的てき學科がっか。

计算理り论早期き的てき重要じゅうよう貢獻こうけん者しゃ有ゆう阿おもね隆りゅう佐たすく·邱奇、库尔特とく·哥德尔、艾もぐさ伦·图灵、斯蒂芬·科か尔·克かつ莱尼、约翰·冯·诺伊曼及克かつ劳德·香が农等ひとし。

參まいり見み

• 計算けいさん複雜ふくざつ性せい理論りろん
• 可か计算性せい理り论
• 圖ず靈れい機き
• 最さい佳けい化か問題もんだい

外部がいぶ連結れんけつ

• Theory of Computation（页面存そん档备份，存そん于互联网档案あん馆） at MIT
• Theory of Computation（页面存そん档备份，存そん于互联网档案あん馆） at Harvard
• Computability Logic - A theory of interactive computation. The main web source on this subject.