Church–Turing thesis
ここでは例として、計算可能性がチューリングマシンと同等な計算モデル（「チャーチ＝チューリングのテーゼ」の記事を参照）のいくつかを示す。