规范推导英文解释翻译、规范推导的近义词、反义词、例句

英语翻译：

【计】 canonical derivation

norm; standard
【计】 convertion; specification
【医】 Cannon; canon
【经】 norm

bunt; choose; deduce; hustle; infer; jostle; push; put off; shift; shove
trundle
【机】 buck; push

guide; lead; teach; transmit
【医】 guidance; guide

在汉英词典及形式语言学框架下，"规范推导"（canonical derivation）指代一种遵循特定规则层级与标准操作流程的语法生成过程。其核心特征包含以下三方面：

结构性约束
规范推导要求严格按照形式语法规则（如上下文无关文法）进行符号替换，例如在生成句子时，必须从起始符号出发，通过逐步应用产生式规则展开非终结符。这一过程排除了任意性操作，体现了形式语言的数学严谨性（Chomsky, 1957）。
方向性特征
在实际计算语言学的应用中，规范推导通常特指最左推导（leftmost derivation）或最右推导（rightmost derivation）。前者每次优先替换字符串中最左侧的非终结符，后者则相反，这两种方式生成的语法分析树具有唯一性特征（Aho et al., 1986）。
跨语言验证
汉语的规范推导研究可见于机器翻译领域。例如在汉英句法转换过程中，系统需通过规范推导确保目标语句符合英语的X-bar理论结构，同时保留源语的语义角色（《计算语言学学报》2019年第3期）。剑桥英语词典（Cambridge Dictionary）将"derivation"定义为"the origin of something"，而规范推导正是追溯语言形式合法性的溯源机制。

该术语在《现代汉语词典》（第7版）中虽无直接词条，但其理论内核贯穿于语言生成模型的构建，尤其在自然语言处理领域具有重要应用价值。

根据编译原理中的定义，，“规范推导”是一种特殊的语法分析过程，具体解释如下：

规范推导即最右推导
在形式语言中，规范推导指在每一步推导过程中，总是优先替换当前句型中的最右非终结符。例如，若句型为 $alpha Abeta$（其中$A$为非终结符），规范推导会选择最右侧的$A$进行替换。
唯一性与确定性
由于每一步都严格选择最右非终结符，规范推导具有唯一性。这种特性在自底向上的语法分析中尤为重要，确保了语法树构建的确定性。

最左推导 vs 规范推导
- 最左推导：优先替换最左非终结符，常用于自顶向下的分析（如递归下降法）。
- 规范推导（最右推导）：对应自底向上的规范归约（即最左归约），两者互为逆过程。
应用场景差异
最左推导适用于预测型语法分析，而规范推导生成的句型序列能直接对应规范归约的逆过程，常用于LR分析器等自底向上算法。

假设文法规则为：
$S rightarrow aSb mid ε$
规范推导生成字符串$aabb$的过程为：
$$ S Rightarrow aSb Rightarrow aaSbb Rightarrow aabb $$
其中，每一步均替换最右侧的非终结符$S$。