圖靈等價

圖靈完全指在可計算性理論中，編程語言或任意其他的邏輯系統如具有等同於通用圖靈機的計算能力。換言之，此係統可與通用圖靈機互相模擬。這個詞源於引入圖靈機概念的數學家阿蘭·圖靈（Alan Turing）。