構造の模式(物理の部品ではない)

⑦ 状態機械チップ

「状態を記憶して遷移する」型をチップにしたら、という模式です。端子は 4 本:入力(今の入力)、リセット、状態の出力、止まる印(してはいけない/資料では決まらない)。内部はレジスタと、① の遷移表から手で書き起こした表だけ。表は ② 機器・③ 回路の表とは別で、独立に書き起こしています。

構造の模式

端子:入力 ─▶ ┌───────────────────────┐ リセット ─▶ │ 状態機械チップ │ ─▶ 状態の出力(state) │ (レジスタ+表) │ ─▶ 止まる印(halt) └───────────────────────┘ 内部: レジスタ : 今の状態を文字で覚える 表(ROM 相当): (state, input) → (next_state, halt, basis) halt が "none" のときだけ next_state をレジスタに書き戻す halt が "do-not" → してはいけない halt が "undefined" → 資料では決まらない ふるまい: reset() → レジスタを入口の状態に戻す step(input) → 表を引き、halt="none" ならレジスタを書き換え、halt≠"none" で止まる印