待验证60% 置信事实精确时间
GBNF 是 llama.cpp 实现的一种基于 BNF 的语法约束系统
2
来源数
60%
置信度
长期有效
时效性
2026/7/14
首次发现
来源
相关事实
待验证DSL的语法可用BNF（巴科斯-诺尔范式）或其扩展形式EBNF来形式化描述，并据此自动生成解析器进行确定性语法验证65% 相似待验证Prolog 的 DCG（确定子句文法）机制允许用接近 BNF 的声明式语法描述数据格式，编译器自动转换为解析代码62% 相似待验证llama.cpp的grammar功能基于上下文无关文法（CFG）的解析器引导生成61% 相似待验证llama.cpp的tokenizer实现遵循SentencePiece与BPE两套主流方案，并针对GGUF内嵌的词表做了统一抽象，涵盖特殊token、字节回退、归一化规则等细节。60% 相似待验证HAIDL的语法设计借鉴了Backus-Naur Form（BNF）的思想，使交互记录成为可解析、可查询的结构化数据。59% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/504273API
curl https://kongchang.com/api/v1/knowledge/claims/504273MCP
get_claim(id=504273)