FSM
计算机科学中描述系统行为的基础数学模型，由有限状态、初始状态、输入事件及状态转换规则构成。系统在任意时刻只能处于一个确定状态，接收输入后按预设规则迁移。在Agent设计中，将推理过程转化为可枚举、可测试的状态转换序列。
核心事实
时间轴 (近 90 天)
有限状态机（FSM）是计算机科学中描述系统行为的基础数学模型，由一组有限的状态、一个初始状态、一组输入事件以及状态之间的转换规则构成，系统在任意时刻只能处于一个确定的状态。
约束解码通过在每个解码步骤将不合法 token 的 logits 设为负无穷来仅允许符合语法规则的 token 被采样，FSM 适用于正则语言，CFG 可处理 JSON、XML 等嵌套结构
有限状态机（FSM）方案通过动态工具可见性直接不让模型看到不允许调用的工具，作为硬性约束比依赖模型遵从性更有效
全部知识事实 (7)
与有限状态机（FSM）相比，行为树的核心优势在于模块化和可组合性
65%待验证FSM相比直接用if-else堆砌逻辑的优势在于每个状态的行为逻辑完全独立封装，添加新状态不会影响已有状态
90%待验证Godot的节点树天然适合实现有限状态机，每个状态对应一个子节点，父节点负责状态切换逻辑
80%待验证有限状态机（FSM）是游戏AI设计中最经典的架构模式，其核心思想是一个对象在任意时刻只能处于有限个状态之一
60%待验证有限状态机（FSM）是计算机科学中描述系统行为的基础数学模型，由一组有限的状态、一个初始状态、一组输入事件以及状态之间的转换规则构成，系统在任意时刻只能处于一个确定的状态。
50%待验证约束解码通过在每个解码步骤将不合法 token 的 logits 设为负无穷来仅允许符合语法规则的 token 被采样，FSM 适用于正则语言，CFG 可处理 JSON、XML 等嵌套结构
50%待验证有限状态机（FSM）方案通过动态工具可见性直接不让模型看到不允许调用的工具，作为硬性约束比依赖模型遵从性更有效
50%