「チューリングマシン」の版間の差分

編集の要約なし
{{出典の明記|date=2011年12月}}
'''チューリングマシン '''({{lang-en-short|''Turing Machine''}}) は[[計算模型アラン・チューリング]]のひとつで、が「[[計算可能性理論|計算可能性]]を[[数学]]的[[関する議論]]するための単純化・[[理想]]化されに提示した[[仮想抽象機械]]である。
 
== 歴史 ==
[[1936年]]に[[イギリス]]の数学者[[アラン・チューリング|チューリング]]の論文「計算可能数について──[[決定問題]]への応用」で発表(1936年)において提示された。同等なも考え方は同年に[[エミール・ポスト]] (Emil Post) も独に発表している。構想の理由、動機についてはポストの論文が明確だが、仮想機械自体に関する記述はチューリングの論文が詳細である。次いで、同時代に提示された他の[[計算モデル]]も[[計算可能性理論|計算可能性の理論]]からは同等であることが確認され、[[チャーチ=チューリングのテーゼ|チューリング=チャーチのテーゼ]]はそれらを「計算可能」の定義とすることを提唱した
 
== 概要 ==