
【计】 derivation graph
在汉英词典学视角下,"推导图"(Derivation Graph)指通过可视化手段展示语言单位(如词素、词汇)从基础形式到衍生形式的演变路径及规则关系的结构图示。其核心特征与学术定义如下:
树形层级结构
以树状图呈现词根、词缀的衍生关系,节点表示语言单位,边标注构词规则(如派生、复合)。例如动词"activate"(激活)到名词"activation"(激活作用)的派生过程,需标注后缀"-tion"的添加规则。来源:《牛津计算语言学词典》(Oxford Dictionary of Computational Linguistics)。
形式化符号系统
采用统一的形式语言(如有限状态转换器FST)描述音系、形态规则。汉语示例:"机"(jī)+"器"(qì)→"机器"(jīqì)中需标注声调组合规则。来源:《现代汉语词典》第7版构词法附录。
多路径推理表征
支持歧义推导的可视化,如英语"unlockable"既可解析为"un-lockable"(无法锁定的)或"unlock-able"(可解锁的)。来源:《剑桥英语语法》(Cambridge English Grammar)派生词分析章节。
在机器翻译与语言教学中,推导图用于:
依据语言类型学研究(来源:《语言共性与语言类型》Language Universals and Linguistic Typology),推导图通过揭示以下规律提升词典编纂精度:
该工具已被纳入现代词典编纂标准ISO 1951:2017术语库(来源:国际标准化组织《辞书编纂术语》Terminology for Dictionary Work)。
“推导图”是一个较为专业的术语,在不同领域可能有不同解释。根据常见的应用场景,其含义主要分为以下两类:
在形式语言和语法分析中,推导图(通常称为推导树或解析树)用于展示一个字符串如何通过文法规则从起始符号逐步推导生成。例如在上下文无关文法(CFG)中,每个推导步骤会生成一个树状结构,节点代表非终结符或终结符,边代表产生式规则的应用。
示例:
若文法规则为:
在逻辑证明或数学定理推导中,推导图可能指用图形化方式表示推理过程,展示前提、中间结论和最终结论之间的逻辑关系。例如在自然演绎系统中,用树状图或流程图标注每一步的推理规则(如假言推理、消去律等)。
示例:
证明命题逻辑中的某个定理时,推导图可能包含假设、公理引用、规则应用等节点,箭头表示逻辑依赖关系。
若需更具体的解释,建议提供上下文或领域信息。
补充气体布斯卡伊诺氏试验慈菇属存储转发系统碘解磷定蝶颌缝地震测量断然的抗辩二带喙库蚊负阻概率曲线管状的国富论合法担保加肋管鉴赏力交换子交流盘均等相扩张钳利比利亚六角鼻机头女士漂白本领全软骨炎全天的时间间隔手纹检查法图像倒转