構造の模式(物理の部品ではない)
⑦ 状態機械チップ
「状態を記憶して遷移する」型をチップにしたら、という模式です。端子は 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" で止まる印