待验证50% 置信事实精确时间
组合范畴语法（CCG）的核心优势在于语法与语义的同构性，每个词条在携带句法类型的同时也携带对应的语义函数
1
来源数
50%
置信度
长期有效
时效性
2026/7/20
首次发现
来源
相关事实
待验证CFG 约束可以描述括号匹配、嵌套结构等编程语言语法，但相比正则约束其编译和推理成本会有所上升73% 相似待验证DSL因语法规则严格、领域语义明确，成为大语言模型生成代码质量最高的场景之一69% 相似待验证正则表达式对应乔姆斯基层级中的正则语言，无法表达任意深度递归结构，而 CFG 对应上下文无关语言，可描述括号匹配、嵌套结构等编程语言语法69% 相似待验证代码的语义更多体现在结构关系而非字面文本，一个函数改动的影响范围必须沿调用图遍历而非仅靠语义相似度捕获67% 相似待验证语义切分（Semantic Chunking）依据句子嵌入相似度动态确定切分点，能更好地保留段落完整语义边界66% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/565365API
curl https://kongchang.com/api/v1/knowledge/claims/565365MCP
get_claim(id=565365)