文法的形式化定义
G=(VT,VN,P,S),其中VT是终结符集合
,VN是非终结符集合
(表示语法成分的符号)
- VT∩VN=Ø
- VT∪VN=文法符号集
- P是产生式集合,包含了将终结符和非终结符连接成串的方法
产生式的一般形式:
α→β(α定义为β)
①α∈(VT∪VN)+且α中至少包含VT中的一个元素,称为产生式的“头”或“左部”
②β∈(VT∪VN)*,称为产生式的“体”或“右部” - S是开始符号,S∈VN,开始符号是一个文法中最大的语法成分
产生式的简写
对一组有相同左部的产生式而言,
α→β1,α→β2,α→β3,……,α→βn
可简写为:
α→β1|β2|β3|……|βn(α定义为β1或β2或……或βn,其中β1β2……βn称为α的候选式)
符号约定
终结符:
非终结符:
总结
字母表中排在前面的小写字母a,b,c | 终结符 |
---|---|
字母表中排在前面的大写字母A,B,C | 非终结符 |
字母表中排在后面的大写字母X,Y,Z | 文法符号(既可以是终结符,也可以是非终结符) |
字母表中排在后面的小写字母u,v,……,z | 终结符号串 |
小写的希腊字母α,β,γ | 文法符号串 |