什麼是圖靈等價

圖靈等價是在可計算性理論中的一箇概念，它指的是一箇編程語言或任意其他的邏輯系統，如果具有等同於通用圖靈機的計算能力，那麼我們就說這個系統和通用圖靈機是圖靈等價的。這意味着這個系統可以與通用圖靈機互相模擬。這個概念源於引入圖靈機概唸的數學家阿蘭·圖靈。雖然實際的物理機器會受到存儲能力的物理限制，圖靈等價性通常是指具有無限存儲能力的通用物理機器或編程語言。