Finite State Machine
有限状態機械は、有限個の状態と遷移でシステムの振る舞いを記述し、イベントによって状態間を遷移する。プロトコル解析や UI 状態に使われる。
目的
離散状態のシステムをモデル化し、複雑な状態ロジックを簡潔にする。
メカニズム
5 つ組 (Q, Σ, δ, q0, F)：状態集合、入力記号、遷移関数、初期状態、受理状態。DFA は入力ごとに 1 つの決定的遷移、NFA は複数を許す。Mealy/Moore は出力のタイミングで異なる。XState ライブラリが FSM を実装する。
ユースケース
- ステート管理
- プロトコル実装
- 正規表現エンジン