チューリングマシン
#理論計算機科学
とは
1936年にアラン・チューリングが発表した論文の中で「計算する」ことを定義した仮想的な計算機。
構造は単純で、この計算機で計算をして、機械がデータを出力できるならば計算できる、データの出力が不可能ならば計算できないと定義されている
りく.iconNP問題のところで出てきたのでとりあえずメモ