text: 超計算或超圖靈計算可以輸出非圖靈可計算結果的計算模型。例如，一臺可以解決停機問題的機器可算作一臺超計算機；可以正確推演皮亞諾算術中每一個狀態的機器亦然。邱奇－圖靈論題指出，任何可以用有限演算法以紙筆計算的"可有效計算"函式都能被圖靈機計算。超計算機能計算圖靈機無法計算、即邱奇－圖靈論題中不可計算的的函式。嚴格說來機率圖靈機的輸出是不可計算的。然而，大多數超計算方向的關注有用的計算而非隨機、不可計算的函式。
metadata: erhwenkuo/wikipedia-zhtw
metadata: 超計算
metadata: https://zh.wikipedia.org/wiki?curid=5990191