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. シミュレータの実行](https://lecture.ecc.u-tokyo.ac.jp/JOHZU/joho/Y2022/Automaton/Automaton/automaton_1.html)

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

## [2. 練習用のオートマトンを作る](https://lecture.ecc.u-tokyo.ac.jp/JOHZU/joho/Y2022/Automaton/Automaton/automaton_2.html)

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

## [3. オートマトンのテストをする](https://lecture.ecc.u-tokyo.ac.jp/JOHZU/joho/Y2022/Automaton/Automaton/automaton_3.html)

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

## [4. 別のオートマトンを作る](https://lecture.ecc.u-tokyo.ac.jp/JOHZU/joho/Y2022/Automaton/Automaton/automaton_4.html)

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

## [5. オートマトン作成練習](https://lecture.ecc.u-tokyo.ac.jp/JOHZU/joho/Y2022/Automaton/Automaton/automaton_5.html)

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

## [(発展) チューリングマシンの作成](https://lecture.ecc.u-tokyo.ac.jp/JOHZU/joho/Y2022/TuringMachine/TuringMachine/index.html)

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