编译原理习题课.ppt

3.5上下文无关文法及其语法树 上下文无关文法有足够的能力描述现今多数程序设计语言的语法结构。因此本书主要关心上下文无关文法的句子分析和分析方法的研究，本书中若无特别说明，均指该文法。 常用的描述上下文无关文法的句型推导的直观工具是语法分析树，也称推导树。 语法分析树：用一张图表示一个句型的推导，这种表示称为语法分析树，或简称为语法树。 语法树需满足的4个条件 1)每个节点都有一个标记，此标记是V的一个符号。 2）根的标记是S。 3）若一结点n至少有一个它自己除外的子孙，并且有标记A，则A肯定在VN中。 4）如果结点n的直接子孙，从左到右的次序是结点n1,n2,…nk，其标记分别是A1,A2,…Ak ，那么A→A1,A2,…Ak一定是P中的一个产生式。 举例说明语法树的构造过程 有一句子： He gave me a book 显然这是一个语法上正确的句子，它满足英语中的基本语法规则，则可描述为： 句子?主语 谓语间接宾语直接宾语 ???主语? 代词????????? 谓语? 动词 ???直接宾语? 代词 直接宾语? 冠词 名词 ???代词?He??????? 代词?me ???冠词?a????? 动词?gave ???名词?book????? 有了一组规则以后，按照如下方式用它们导出句子：开始去找?左端的带有句子的规则并把它由?右端的符号串代替，这个动作表示成： 句子?主语谓语间接宾语直接宾语 然后选取主语或谓语,再用相应规则的?右端代替之。这样重复做下去就可以得到最后的结果。 句子?主语谓语间接宾语直接宾语 ????????????? 代词谓语间接宾语直接宾语 ?????????????He谓语间接宾语直接宾语 ? ???????????He 动词间接宾语直接宾语 ??????????? ?He gave 代词直接宾语 ?? ???????? ?He gave me 冠词名词 ??????????? ?He gave me a 名词 ?He gave me a book 可用一种图示化的方法来表示这种推导，其语法分析树如下： 句子 主语 谓语 间接宾语 直接宾语 代词 动词 代词 冠词 名词 He gave me a book 1)上述定义英文句子的规则就是一个上下文无关文法。其中： 句子、主语、谓语、动词等，称为非终结符号； 句子称为开始符号； 直接宾语? 冠词名词称为产生式。 2）从上可知，一个上下文无关文法G包括四个组成部分： 一组终结符号，一组非终结符号，一个开始符号以及一组产生式。 终结符号：组成语言的基本符号，就是单词符号如基本字，算符等。从语法分析的角度来看，终结符号是一个语言的不可再分的基本符号。 非终结符号：也称语法变量，用来代表语法范畴。例如，“算术表达式”、“分程序”、“过程”等。也可以说，每个非终结符号表示一定符号串的集合 开始符号：是一个特殊的非终结符号，它代表所定义的语言中我们最终感兴趣的语法范畴，这个语法范畴，通常称为“句子”。 产生式：是定义语法范畴的一种书写规则。产生式的形式是：A?a其中，箭头左边的A是一个非终结符，称为产生式的左部符号；箭头右边的a是由终结符或/与非终结符组成的一符号串，称为产生式的右部。 3）形式上说，一个上下文无关文法G是一个四元式G=（ VT , VN , S, P），其中: VT是一个非空有限集，它的每个元素称为终结符号； VN是一个非空有限集，它的每个元素称为非终结符号 ，VT∩VN＝Φ S是一个非终结符号，称为开始符号； P是一个产生式集合（有限），每个产生式的形式是 A ? a，其中A ∈(VT∪VN )*。开始符号S至少必须在某个产生式的左部出现一次。 注意，为了书写方便，若干个左部相同的产生式，如P ? a1, P?a2,…P?an可合并为一个，缩写成P? a1| a2|…|an 其中每个ai有时也称为是P的一个候选式 箭头“?”读为“定义为”，直竖“|”读为“或”，它们是元语言符号。 说明：1.一般用大写字母A、B、C…或汉语词组代表非终结符号 2.用小写字母 a、b、c…代表终结符号； 3.用α、β 等代表由终结符和非终结符组成的符号串； 4.为简便起见，当引用具体的文法例子时，仅列出产生式和指出开始符号。 例如：一个上下文无关文法： E ?i|EAE；