文法的形式化定义

G=（V_T,V_N,P,S）,其中V_T是终结符集合，V_N是非终结符集合（表示语法成分的符号）

1. V_T∩V_N=Ø
2. V_T∪V_N=文法符号集
3. P是产生式集合，包含了将终结符和非终结符连接成串的方法
   产生式的一般形式：
   α→β（α定义为β）
   ①α∈（V_T∪V_N）⁺且α中至少包含V_T中的一个元素，称为产生式的“头”或“左部”
   ②β∈（V_T∪V_N）^*，称为产生式的“体”或“右部”
4. S是开始符号，S∈V_N，开始符号是一个文法中最大的语法成分

产生式的简写

对一组有相同左部的产生式而言，
α→β₁，α→β₂，α→β₃，……，α→β_n
可简写为：
α→β₁|β₂|β₃|……|β_n（α定义为β₁或β₂或……或β_n，其中β₁β₂……β_n称为α的候选式）

符号约定

终结符：

非终结符：

总结