チューリングマシン

チューリングマシン (英: Turing machine) は、アラン・チューリングが計算可能性に関する議論のために提示した抽象機械である。 == 歴史 == チューリングの「計算可能数について──決定問題への応用」（1936年）において提示された。