圖靈完全

圖靈完全是指在可計算性理論中，程式語言或任意其他邏輯系統等可以用於通用圖靈機的計算能力。換言之，此系統可與通用圖靈機互相模擬。雖然實際機器會受到存儲能力的物理限制，圖靈完全性通常指具有無限存儲能力的通用物理機器或程式語言。

概述

這個詞源於引入圖靈機概念的數學家阿蘭·圖靈（Alan Turing）。

局限

雖然實際機器會受到存儲能力的物理限制，圖靈完全性通常指具有無限存儲能力的通用物理機器或程式語言。