2-2文法的定义

句子的构成

• 尖括号‘ <> ’括起来部分称为语法成分
• 未用尖括号括起来的部分表示语言的基本符号

文法的形式化定义

G = ( V_T , V_N, P , S )

V_T:终结符集合

终结符是文法所定义的语言的基本符号，有时也成为token
例：V_T = {apple,boy,eat,little}

V_N：非终结符集合

非终结符用来表示语法成分的符号有时也称为“语法变量”
例：V_N={<句子>，<名词短语>,<名词>,<动词短语>,...}

V<sub>N</sub>∩V<sub>T</sub> =φ
V<sub>N</sub>∪V<sub>T</sub>:文法符号集

P:产生式集合

产生式描述了将终结符和非终结符组合成串的方法
产生式的一般形式：
α->β
读作α定义为β

• α∈(V_T∪V_N)⁺,且α至少包含V_N中的一个元素，称为产生式的头部或左部
• β∈(V_T∪V_N)^*称为产生式的体或者右部

S：开始符号

S∈V_N ，开始符号表示的是该文法中最大的语法成分
例：S =<句子>

---

产生式的简写

例：

E -> E + E
E -> E * E
E -> (E)
E -> id
以上可简写成： E -> E + E | E * E | (E) | id

符号约定

• 终结符
  
  
• 非终结符
  
  
• 字母表中排在后面的大写字母(X，Y，Z，...)表示文法符号(即终结符或非终结符)
• 字母表中排在后面的小写字母(u,v,w,x,y,...)表示终结符符号串(包括空串)
• 小写希腊字母，表示文法符号串(包括空串)
• 除非特别说明，第一个产生式的左部就是开始符号