待验证50% 置信事实精确时间
DSL表达式具有指称语义基础，每个合法DSL表达式可被映射到一个数学对象，这种映射是单射的
1
来源数
50%
置信度
长期有效
时效性
2026/7/16
首次发现
来源
相关事实
待验证DSL的语法可用BNF（巴科斯-诺尔范式）或其扩展形式EBNF来形式化描述，并据此自动生成解析器进行确定性语法验证68% 相似待验证Martin Fowler 在其著作《领域专用语言》中将 DSL 定义为针对特定领域的有限表达性编程语言，并提出四个核心特征67% 相似待验证DSL因语法规则严格、领域语义明确，成为大语言模型生成代码质量最高的场景之一63% 相似待验证DSL可充当中间表示层，构成自然语言层→DSL层→执行层的三层架构，与编译器领域的IR设计思想一脉相承62% 相似待验证大多数DSL属于上下文无关语言，可被下推自动机识别，上下文无关文法存在多项式时间的解析算法如Earley算法、CYK算法62% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/536166API
curl https://kongchang.com/api/v1/knowledge/claims/536166MCP
get_claim(id=536166)