待验证50% 置信事实精确时间
Excel公式语言（如VLOOKUP、INDIRECT、数组公式、SPILL等）构成了一套独立的领域特定语言（DSL）
1
来源数
50%
置信度
长期有效
时效性
2026/7/15
首次发现
来源
相关事实
待验证DSL表达式具有指称语义基础，每个合法DSL表达式可被映射到一个数学对象，这种映射是单射的61% 相似待验证大多数DSL属于上下文无关语言，可被下推自动机识别，上下文无关文法存在多项式时间的解析算法如Earley算法、CYK算法61% 相似待验证Martin Fowler 在其著作《领域专用语言》中将 DSL 定义为针对特定领域的有限表达性编程语言，并提出四个核心特征57% 相似待验证DSL 因语法规则严格、领域语义明确，成为大语言模型生成代码质量最高的场景之一，GPT-4 生成 SQL 或 HCL 的准确率高于生成通用业务逻辑代码56% 相似待验证DSL因语法规则严格、领域语义明确，成为大语言模型生成代码质量最高的场景之一56% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/517435API
curl https://kongchang.com/api/v1/knowledge/claims/517435MCP
get_claim(id=517435)