チューリング

2012/06/23 はチューリングの生誕 100 周年
グーグルのロゴが変っていた
cf. http://ict.pken.com/wordpress/wp-content/uploads/2012/06/googlelogo.png
アラン・チューリング（Alan Mathison Turing)
イギリスの数学者(計算学者)
チューリング・マシンを考えた
チューリング・マシン(TM)って ?
「計算のモデル」の一つ .. といってもわかんないだろうな..
TM の構成要素
テープ : 左右に無限続くテープで複数マスに分かれており記号を記録
ヘッド : 有限の状態をもち、今みている位置のテープの記号によって行動をする
ヘッドの行動 : 状態とテープ記号から、次の状態、読取位置、テープの書き換えをする
TM の能力
なにかを計算したいならば、その計算をする TM が作れる
TM を動かすと、その計算をしてくれる