圖靈完全

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

概述

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

局限

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

相關詞條

相關搜尋

熱門詞條

聯絡我們