チューリングマシン - 幸福の物理@ウィキ

「計算できる」の定義に使用される仮想的な計算機。

チューリングマシンが行える動作を「計算」と定義する。
チューリングマシンを完全に実装している系をチューリングコンプリートと呼ぶ。