チューリングマシン

チューリングマシン(Turing Machine)とは、1936年にイギリスの数学者アラン・チューリングが、「計算可能数についての決定問題への応用」で考案した仮想機械。
コンピュータや計算を数学的に議論するための道具であり、単純化・理想化された計算機モデルであると言える。