Nonterminal

Definition / 释义

nonterminal（名词）：在形式语法（如上下文无关文法）中，非终结符是用于推导（展开）其他符号的类别符号，本身不会直接出现在最终生成的字符串中；通常用大写字母或尖括号表示，如 **S、NP、VP、<expr>**。（在某些领域也可作形容词表示“非终端的”，但最常见用法是语法学/编译原理中的名词。）

Pronunciation / 发音

/ˌnɑːnˈtɝːmɪnəl/

Examples / 例句

The symbol S is a nonterminal in this grammar.
符号 S 在这个语法中是一个非终结符。

By applying production rules, the parser expands each nonterminal into smaller parts until only terminals remain.
通过应用产生式规则，解析器会把每个非终结符逐步展开成更小的部分，直到只剩下终结符为止。

Etymology / 词源

由 **non-**（表示“非、不”）+ terminal（“终端的、终结的”）构成。这里的 terminal 源自拉丁语 terminus（“界限、终点”）。因此 nonterminal 字面意思是“不是终点的”，在语法里引申为“不会直接出现在最终结果中的符号”。

Related Words / 相关词

• Terminal
• Grammar
• Production
• Parser
• Syntax
• Derivation
• Backus–Naur Form
• Context-Free

Literary Works / 文学与著作示例

• Compilers: Principles, Techniques, and Tools（Aho, Lam, Sethi, Ullman，“龙书”）——在语法与语法分析章节中大量使用 nonterminal。
• Introduction to Automata Theory, Languages, and Computation（Hopcroft, Motwani, Ullman）——形式语言与文法定义中使用 nonterminal。
• Speech and Language Processing（Jurafsky & Martin）——句法分析与上下文无关文法相关内容中使用 nonterminal。