圖靈完全

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