Metadata
Title
オートマトンシミュレータによる計算モデルの理解
Category
general
UUID
5c68d80e97b04f2f81daad5d5bcf67ec
Source URL
https://lecture.ecc.u-tokyo.ac.jp/JOHZU/joho/Y2022/Automaton/Automaton/index.htm...
Parent URL
https://hwb.ecc.u-tokyo.ac.jp/hwb2023/information/coding/graph/
Crawl Time
2026-03-23T10:16:43+00:00
Rendered Raw Markdown

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

Source: https://lecture.ecc.u-tokyo.ac.jp/JOHZU/joho/Y2022/Automaton/Automaton/index.html Parent: https://hwb.ecc.u-tokyo.ac.jp/hwb2023/information/coding/graph/

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

1. シミュレータの実行

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

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

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

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

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

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

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

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

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

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

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