在可計算理論中,當一組數據操作的規則(一組指令集,編程語言,或者元胞自動機)滿足任意數據按照一定的順序可以計算出結果,被稱為圖靈完備(turing complete)。一個有圖靈完備指令集的設備被定義為通用計算機。如果是圖靈完備的,它(計算機設備)有能力執行條件跳轉(“if” 和 “goto”語句)以及改變內存數據。 如果某個東西展現出了圖靈完備,它就有能力表現出可以模擬原始計算機,而即使最簡單的計算機也能模擬出最復雜的計算機。所有的通用編程語言和現代計算機的指令集都是圖靈完備的(C++ template就是圖靈完備的),都能解決內存有限的問題。圖靈完備的機器都被定義有無限內存,但是機器指令集卻通常定義為只工作在特定的,有限數量的RAM上。
版權申明:本內容來自于互聯網,屬第三方匯集推薦平臺。本文的版權歸原作者所有,文章言論不代表鏈門戶的觀點,鏈門戶不承擔任何法律責任。如有侵權請聯系QQ:3341927519進行反饋。