チューリングマシン

    計算モデルの一種で、同時期に提唱されていた他の計算モデルと同等の計算可能性だった。

    そのため、チャーチ=チューリングのテーゼによってこれを計算可能であることの定義としよう、ということが提唱された。