文章目录文法的形式化定义产生式的简写符号约定总结 文法的形式化定义 G=(VT,VN,P,S),其中VT是终结符集合,VN是非终结符集合(表示语法成分的符号) VT∩VN=Ø VT∪VN=文法符号集 P是产生式集合,包含了将终结符和非终结符连接成串的方法 产生式的一般形式: α→β(α定义为β) 1α∈(VT∪VN)+且α中至少包含VT中的一个元素,称为产生式的“头”或“左部” 2β∈(VT∪VN)*,称为产生式的“体”或“右部” S是开始符号,S∈VN,开始符号是一个文法中最大的语法成分 产生式的简写 对一组有相同左部的产生式而言, α→β1,α→β2,α→β3,......,α→βn 可简写为: