Turing Machine: Universal Machine

何を探索できるか

Turing Machine: Universal Machineを、3Dモデル、問い、操作パネルを通じて探索する導入ページです。

操作できる要素

構造、変化、注目点を切り替えながら、見える形と背景にあるしくみをつなげます。

機械記述の確認 / 入力テープとの分離 / 停止性問題への接続

検索キーワード

Turing Machine: Universal Machine、プログラム領域、入力領域、解釈状態、停止境界

機械を記号列にする

チューリングマシンのルール表は、記号列としてテープへ書けます。つまり、機械そのものを別の機械が読むデータにできます。

万能機械の発想

万能チューリングマシンは、機械の記述と入力を受け取り、その機械のふるまいを模倣します。現代のプログラム実行の考え方にもつながります。

停止性問題へ

任意の機械が任意の入力でいつ止まるかを、常に正しく判定する万能な手順は存在しません。計算には原理的な限界があります。

このページと体験本体の違いは？

このページは検索と導入のための言語別ページです。3D操作は無印の体験URLで開きます。

公式監修の言語は？

教材本文は日本語と英語を公式監修版として扱います。

他の言語はどう扱われますか？

英語原文からの機械翻訳として表示し、原文へのリンクを添えます。

エニグマ暗号機のしくみ

キー入力がプラグボード、ローター、反射板を通って別の文字になる過程を、3Dモデルと信号トレースで追体験します。

Turing-Welchman Bombe: Historical Prelude

Bletchley ParkでEnigma暗号解読を支えたTuring-Welchman Bombeを、抽象的な計算モデルへ入る前の歴史的Preludeとして観察します。

Turing Machine: Concept Machine

実機再現ではなく Concept Machine として、テープ、読み書きヘッド、状態遷移ルールだけで1命令が進むしくみを体験します。