用途：将应用逻辑建模为显式状态与确定性转移。任一时刻系统只处于一个状态，转移由事件触发，并可由守卫条件约束。它通过让非法组合在结构上不可能存在，来消除不可能状态，而不是用 if/else 链去处理。
主要能力：用穷尽联合类型替代布尔标志组合；用转移表定义合法转移，表外转移一律拒绝；用守卫谓词按上下文允许或阻止转移；用动作在进入、退出或转移时执行副作用；用上下文（扩展状态）携带随状态流转的数据，且只通过转移变更。
适用场景：带 loading/success/error 的异步操作；多步用户流程（引导、结账、表单向导）；有明确规则的业务工作流（订单生命周期、文档审批）；任何布尔标志组合会产生不可能状态的逻辑。不适用：简单开关状态、无状态转移的纯数据转换、无有意义工作流逻辑的服务端 CRUD。
用法要点：状态用联合类型命名；转移表作为合法性的唯一来源；守卫保持条件显式可测；动作与状态定义分离；上下文只经转移更新。复杂度选择：2-4 个状态且无动作可用 useState 加联合类型；5 个以上状态或含动作可考虑 XState 或 reducer 模式；并行区域、需持久化或重水合时用 XState。状态机与 Redux/Zustand 互补：前者定义允许什么，后者负责状态存放。
限制与边界：层级状态避免嵌套超过两层；并行状态应建模为两个独立机器；从存储恢复时须先校验状态值合法，不可信任原始字符串；测试应枚举每条合法与非法转移。资料未提供具体安装命令、收费或平台信息。