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