チューリングマシン
彼が定義したチューリングマシンは次の通り。