チューリングマシン () は計算模型のひとつ。すなわち、計算機を数学的に議論するための、単純化・理想化された仮想機械である。