Turing Machine: Concept Machine

Experience computation through the minimal parts of a tape, read/write head, state, and transition rules.

Concept Machine · 1/7

計算を、5つの最小操作にほどく

Turing Machineは、テープ、ヘッド、状態、ルールだけで計算を定義する抽象機械です。ここではCPUの中身を再現するのではなく、「1命令がどんな読解順で閉じるか」を手で追える形にします。最初の目的は答えを出すことではなく、Tape、Head、State、Rule Tableが同じ瞬間を指していると読めるようになることです。

Turing Machineの基本構成は Stanford Encyclopedia of Philosophy: Turing Machines でも、テープ、ヘッド、状態、命令表の関係として整理されています。

PresetとInputを決めたら、中央のヘッド、現在状態、Rule Tableの強調行を見比べます。Stepはまだ押さず、「この1命令はどこから始まるか」だけを探します。

見る順番は「全体」ではなく「現在セル」です。有限の状態と局所的な記号だけで、長い計算が少しずつ進む、という小さな約束をここで掴みます。

Start With A MachineReady

Concept MachinePresetとInputだけを決め、操作はまだ始めません

PresetInput Tape

二進数の右端へ移動し、繰り上がりを処理して1を足します。

Five Phase Map#0 · Read

Read1セルだけ読む

Rule1行を選ぶ

Write現在セルを更新

Move次セルへ送る

State文脈を切替

まず見るのは「全体」ではなく1命令の入口Tape、Head、State、Rule Tableを同時に見ます。ここではまだStepせず、入力と機械の初期文脈だけを揃えます。現在はHead 0 が 1 を読める位置にあります。

読む準備操作より先に、同じ瞬間を指す4つの表示を揃えるHead、State、Rule Tableの強調行、Tape windowを見比べます。ここでStepを出さないのは、最初の発見を「押す」ではなく「対応を読む」に置くためです。発見チェックに答えると、ReadでHead下の1セルだけへ視野を絞ります。

Rule Tableseek-one

StateReadWriteMoveNext

qSeekEnd00RqSeekEnd

qSeekEnd11RqSeekEnd

qSeekEnd__LqCarry

qCarry10LqCarry

qCarry01SqAccept

qCarry_1SqAccept

発見チェック

この体験で分解して追う1命令の順番はどれでしょう？