上下文无关的组成部分:

• 终结符号
• 非终结符号
• 一个开始符号
• 一组产生式

例如，下面数学表达式:

$$ 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 $$

1. 终结符号(词法单元)是组成串的基本符号，例如上面的 +,-。
2. 非终结符号是表示串的集合的语法变量,例如上面的term和factor。非终结符号表示的串集合用于定义由文法生成的语言。