跳到主要内容
uencoder

Finite State Machine

有限状态机用有限状态与转移描述系统行为,在事件驱动下状态间转移,用于协议解析与 UI 状态。

用途

建模离散状态系统,简化复杂状态逻辑。

机制

五元组 (Q,Σ,δ,q0,F):状态集、输入字母、转移函数、初始状态、接受状态。DFA 每输入确定转移,NFA 可多转移。Mealy/Moore 区别输出时机。XState 库实现 FSM。

用例

  • 状态管理
  • 协议实现
  • 正则引擎

相关工具

参考链接