チューリングマシン
Turing Machine
チューリングさんが考えた計算機械のモデル
無限に長い一本のテープとヘッドと
有限オートマトン
でできている
テープに書かれている記号列と有限オートマトンに基づいてヘッドがシークしながらテープに読み書きする