编译原理：上下文无关文法

---

前言

学习编译原理的上下文无关文法

---

一、上下文无关文法的组成

上下文无关文法是编译原理中一种句子分析的方式，是在将句子划分为主谓宾，代词、冠词、名词等词性基础上的进一步抽象，方便对句子进行进一步分析，以下是上下文无关文法的组成：

• 终结符集合（VT)：VT代表终结符集合，非空，其中的每个元素称为终结符（Terminal），如英语语法中的She、He、Me，在文法中终究符是不可分割的
• 非终究符集合（VN):VN代表非终结符集合，同样非空，其中的非终结符是可以进行分割的，如英语语法中的句子、主语、谓语等，都是可以分解再定义的；一个字符不是既是非终结符又是终结符
• 开始符号（S）:文法的开始符号，记为S，代表程序最终感兴趣的语法单位，如对于句子来说，最终感兴趣的内容就是句子的主语了
• 有限产生式集合（P）:每个产生式，左边是非终结符P，右边是由终结符和非终结符组成的串，左边是被定义的句法单位，右边是构成这个句法单位的组合
• 文法的有意义的规定，开始符S起码在句子左边出现一次

二、例子

1.分析

简单起见，这里选用只有+号和*号的式子进行描述

G为四元组：
其中i,+,*,()等五个字符组成终结符集合，i为identify的首字母，表示标识符
{E}中的E代表表达式（Expression）
E也代表唯一的非终结符

P包含四个产生式：
1.E->i：一个表达式可以由一个标识符充当
2.E->E+E:一个表达式可以由两个较小的子表达式组合形成
3.E->EE:一个表达式可以由两个较小的子表达式通过连接而成
4.E->(E):一个表达式可以由一个子表达式+括号构成

2.巴特斯范式（BNF）

3.简写

如上文中提及的文法，可先简写为如下形式

总结

上下文无关文法，是描述文法的一种方法，一般描述文法时候，非终结符用大写表示，而终结符用小写字母表示，以方便辨认和区分。