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