什麼是圖靈完備性

圖靈完備性（Turing completeness）是指一種計算模型或編程語言具有模擬任何其他計算模型或解決所有可計算問題的能力。

圖靈完備性源於圖靈機的概念，圖靈機是一種理論上的計算設備，它能模擬任何現代計算機算法。如果一箇計算系統能夠計算每一箇圖靈可計算函數，那麼這個系統就被稱爲圖靈完備的。圖靈完備性是計算機科學中的一箇重要概念，它不僅適用於過程式、面向對象、函數式等編程語言，也適用於一些邏輯式或深奧的語言。具有圖靈完備性的編程語言能夠執行通用圖靈機所能執行的任何計算任務。