チューリング完全

計算理論においてチューリング完全（チューリングかんぜん、英語: Turing-complete）あるいは計算完備とは、計算モデルが万能チューリングマシンと同じ計算能力をもっていることを指す。チャーチ＝チューリングのテーゼによれば「計算可能関数」は、それを計算しようとする計算モデルがチューリング完全であれば計算できる。