
【计】 ambiguous grammar
twin; two
【计】 binary-coded decimal; binary-coded decimal character code
binary-to-decimal conversion; binary-to-hexadecimal conversion
【医】 bi-; bis-; di-; duo-
adopted; artificial; justice; meaning; relationship; righteousness
grammar
在计算语言学和形式语言理论中,"二义文法"(Ambiguous Grammar)指存在至少一个句子对应多种不同语法分析树的形式文法。其核心特征在于句子的结构解析不唯一,导致语义理解存在歧义性。以下是汉英对照的关键解释:
汉英定义
来源:形式语言与自动机理论经典定义(参考《Introduction to Automata Theory, Languages, and Computation》)
判定标准
若文法中存在句子满足以下条件即具二义性:
$$S Rightarrow^ alpha quad text{且} quad S Rightarrow^ beta$$
其中 (alpha) 和 (beta) 是同一句子的不同语法推导序列,对应不同的语法树结构。
案例:经典表达式歧义
考虑文法:
(E rightarrow E + E mid E E mid id)
对句子 "id + id id" 可生成两种语法树:
领域 | 问题 | 解决方案 |
---|---|---|
编程语言编译器 | 表达式优先级冲突 | 引入非二义文法(如 (E rightarrow E + T mid T)) |
自然语言处理 | 句子结构歧义(例:"看见男人带着望远镜") | 概率上下文无关文法(PCFG) |
形式语言理论 | 自动机分析复杂度增加 | 转换为乔姆斯基范式(CNF) |
来源:计算复杂性理论(参考Sipser 《Introduction to the Theory of Computation》)
注:因未搜索到可直接引用的公开网页,以上内容综合形式语言理论、编译器设计及计算语言学领域的权威教材定义与经典案例。建议读者查阅相关学术著作获取深度解析。
二义文法(Ambiguous Grammar)是形式语言理论中的一个重要概念,指存在至少一个句子能生成两棵不同语法树或多种不同推导方式的文法。以下是详细解释:
以简单表达式文法为例:
E → E + E | E * E | id
句子 id + id * id
可能被解析为 (id + id) * id
或 id + (id * id)
,对应两棵语法树,说明文法是二义的。
二义文法的核心在于同一句子的多解释性,需通过结构优化或规则补充消除歧义。
安全计划半制成零部件不能转移的串模型存器单眼镜法官的评价法节方位游标分配额分支网络过程区分栈号裹脚颊横裂交战地带结核性支气管炎静电势极限容量基于传感器的系统累积偏差链结镥Lu耦合系数胜诉当事人使沉淀双层衣橱输津管网诉讼程序问题未达法定年龄