オートマトンシミュレータによる計算モデルの理解

この演習では, シミュレータを利用することで,有限状態機械の1つであるオートマトンを作り, 計算機の基本的な原理の一端を理解します.

1. シミュレータの実行

教科書の例に沿ってシミュレータ上でオートマトンを実行してみます.

2. 練習用のオートマトンを作る

練習用に簡単なオートマトンを作成し,オートマトンを動かしてみます.

3. オートマトンのテストをする

オートマトンの動作を検証するための自動テストを実行します.

4. 別のオートマトンを作る

別のオートマトンを作成し,自動テストで検証します.

5. オートマトン作成練習

各種のオートマトンを作成し,自動テストで検証します.

(発展) チューリングマシンの作成

教科書の6.2節「チューリング機械」をもとにチューリングマシンを作ってみます.