编译原理学习（二）--终结符和非终结符

### 编译原理中终结符与非终结符的概念 在编译原理领域内，文法由一系列符号及其组合规则构成。这些符号分为两类：终结符和非终结符。 #### 终结符的特点 终结符代表的是最基础、不可再分割的语言单位[^1]。这类符号通常对应于编程语言中的具体字符或词素，比如数字`1`, `2`, `3`... 或者运算符`+`, `-`. 它们不再进一步展开成其他形式，在解析过程中一旦遇到即视为定型不变的部分。 #### 非终结符的作用 相比之下，非终结符则指那些能够被替换为更详细的结构描述的抽象标记[^3]。它们充当着一种占位角色，用于表达尚未最终确定的具体成分；例如 `<整数>` 可能会被解释为任意合法的整数值序列。通过定义一组特定的转换规则——称为产生式——可以从初始状态逐步演变为完整的语句模式。 #### 区别与联系 两者之间存在严格的界限划分，彼此间不会重叠交叉[^2]。这意味着每一个给定时刻下的输入字符串仅包含有固定形态的终结符或是等待细化处理的非终结符之一种情况。这种区分有助于构建清晰有序的形式化体系，使得计算机程序设计语言得以精确无误地被机器理解和执行。 ```python # Python示例展示如何利用终结符和非终结符进行简单算术表达式的解析 def parse_expression(expression): tokens = expression.split() def evaluate(): value = None while tokens: token = tokens.pop(0) if token.isdigit(): # 如果是数字（终结符） yield int(token) elif token in ('+', '-'): # 运算符也是终结符的一种特殊情形 operator = token operand1 = next(evaluate()) operand2 = next(evaluate()) if operator == '+': yield (operand1 + operand2) elif operator == '-': yield (operand1 - operand2) else: # 假设这里遇到了像<expression>这样的非终结符标签 for result in evaluate(): yield result return list(evaluate())[0] print(parse_expression('3 + 4')) # 输出7 ```