语法范式
上下文无关的组成部分:
- 终结符号
- 非终结符号
- 一个开始符号
- 一组产生式
例如,下面数学表达式:
$$ expr \to expr+term $$
$$ expr \to expr-term $$
$$ expr \to term $$
$$ term \to term * factor $$
$$ term \to term/factor $$
$$ term \to factor $$
$$ factor \to (expr) $$
$$ factor \to id $$
- 终结符号(词法单元)是组成串的基本符号,例如上面的
+,-。 - 非终结符号是表示串的集合的语法变量,例如上面的term和factor。非终结符号表示的串集合用于定义由文法生成的语言。




