規範推導英文解釋翻譯、規範推導的近義詞、反義詞、例句

英語翻譯：

【計】 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$。