Automata

構成要素

テープ、ヘッド、状態、遷移規則

実行トレース

テープとヘッドの変化