| 程序设计语言的语法常采用上下文无关文法描述。文法不仅规定了单词如何组成句子，而且刻画了句子的组成结构。形式文法是一个规则（或称产生式）系统，它规定了单词在句子中的位置和顺序，也描述了句子的层次结构。
|
|
|
| 下面以一个简单算术表达式的文法为例进行说明，其中，E代表算术表达式。
|
|
|
|
|
|
|
|
|
| D→0|1|2|3|4|5|6|7|3|4|5|6（4）
|
|
|
|
|
| “→”读作“定义为”，上述产生式规定简单算术表达式的运算符号为“加（+）”“乘（*）”，运算符号写在运算对象的中间，运算对象是非负整数，“乘”运算的优先级高于“加”运算，表达式或运算对象可加括号。
|
|
|
| 有了以上文法，对于算术表达式2+3*4，其结构可从上面的文法推导得出，如下图（a）所示（分析树），简化的语法树如下图（b）所示。
|
|
|
|
|
|
|
| 有关语法分析以及编译过程后续阶段的工作较为复杂，兹不赘述。
|
|
|
