待验证70% 置信事实精确时间
约束解码的底层实现依赖有限状态机（FSM）或上下文无关文法（CFG）
2
来源数
70%
置信度
长期有效
时效性
2026/7/15
首次发现
来源
相关事实
待验证结构化输出通过 constrained decoding 对模型 token 采样施加约束，通常基于有限状态自动机（FSA）或上下文无关文法（CFG）79% 相似待验证约束解码依赖有限状态机（FSM）或下推自动机来表达合法输出的全集，将 schema 预编译为状态转移图77% 相似待验证Outlines 在推理前将约束预编译为 FSM，并将分词器完整词表与 FSM 每个状态离线映射生成状态到合法token集合的索引表72% 相似待验证CFG 约束可以描述括号匹配、嵌套结构等编程语言语法，但相比正则约束其编译和推理成本会有所上升70% 相似待验证Outlines 在推理前将约束预编译为 FSM，并将分词器词表与 FSM 每个状态做离线映射，推理时通过将非法 token 的 logits 设为负无穷（logits mask）实现硬约束68% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/520744API
curl https://kongchang.com/api/v1/knowledge/claims/520744MCP
get_claim(id=520744)