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