壹切可計算的問題都能計算，這樣的虛擬機或者編程語言就叫圖靈完備的。壹個能計算出每個圖靈可計算函數（Turing-computable function）的計算系統被稱為圖靈完備的。壹個語言是圖靈完備的，意味著該語言的計算能力與壹個通用圖靈機 （Universal Turing Machine）相當，這也是現代計算機語言所能擁有的最高能力。圖靈完備是什麽意思呢？在可計算理論中，當壹組數據操作的規則（壹組指令集，編程語言，或者元胞自動機）滿足任意數據按照壹定的順序可以計算出結果，被稱為圖靈完備（turing complete）。壹個有圖靈完備指令集的設備被定義為通用計算機。如果是圖靈完備的，它（計算機設備）有能力執行條件跳轉（“if” 和 “goto”語句）以及改變內存數據。 如果某個東西展現出了圖靈完備，它就有能力表現出可以模擬原始計算機，而即使最簡單的計算機也能模擬出最復雜的計算機。所有的通用編程語言和現代計算機的指令集都是圖靈完備的（C++ template就是圖靈完備的），都能解決內存有限的問題。圖靈完備的機器都被定義有無限內存，但是機器指令集卻通常定義為只工作在特定的，有限數量的RAM上。
上一篇:保時捷卡宴車尾字母下一篇:Ug編程碗