编译原理第3章语法分析new1.ppt

第3章 语法分析 3.1 文法和语言 3.2 推导与语法树 3.3 自上而下分析方法 3.4 自下而上分析方法 3.5 LR分析法 3.1 文法和语言 文法是程序语言的生成系统，用文法可以精确地定义一个语言；自动机是程序语言的识别系统，依据文法可构造出识别这个语言的自动机。 文法对程序语言和编译程序的构造具有重要意义，如程序语言的词法可用正规文法描述，语法可用上下文无关文法描述，而语义则要借助于上下文有关文法描述。 3.1.1 文法和语言的概念 1．语言 通常我们用Σ表示字母表，不同语言的字母表可能是不同的，程序语言的字母表通常是ASCII字符集。 字母表中的每个元素称为字符或符号。 由字母表Σ中的字符所组成的有穷系列称为Σ上的字符串或字。 字母表Σ上的所有字符串(包括空串)组成的集合用Σ*表示。 对字母表Σ来说，Σ*上的任意一个子集都称为Σ上的一个语言，记为L(L?Σ*)，该语言的每一个字符串称为语言L的一个语句或句子。 文法和语言的形式定义 如何来描述一种语言？ 如果语言是有穷的（只含有有穷多个句子），可以将句子逐一列出来表示。 如果语言是无穷的，找出语言的有穷表示。 语言的有穷表示有两个途经： 生成方式 （文法）：语言中的每个句子可以用严格定义的规则来构造。 识别方式（自动机）：用一个过程，当输入的一任意串属于语言时，该过程经有限次计算后就会停止并回答“是”，若不属于，要么能停止并回答“不是”，要么永远继续下去。 2．文法 文法通常表示成四元组G=(VT，VN，S，ξ)， 其中： (1)VT为终结符号集，这是一个非空有限集，它的每个元素称为终结符号； (2)VN为非终结符集，它也是一个非空有限集，其每个元素称为非终结符号，且有VT∩VN=Φ； (3)S为一文法开始符，是一个特殊的非终结符号，即S∈VN； (4)ξ是产生式的非空有限集，其中每个产生式(或称规则)是一序偶(α，β)，通常写作 α→β或α::=β 读作“α是β”或“α定义为β”。 α为产生式的左部，而β为产生式的右部; α、β是由终结符和非终结符组成的符号串，α∈(VT∪VN)+且至少有一个非终结符，而β∈(VT∪VN)*。 终结符号是指语言不可再分的基本符号，通常是一个语言的字母表；终结符代表了语法的最小元素，是一种个体记号。 非终结符号也称语法变量，它代表语法实体或语法范畴；非终结符代表一个一定的语法概念，因此，一个非终结符是一个类、一个集合。 例如，在程序语言中，可以把变量、常数、“+”、“*”等看作是终结符，而像“算术表达式”这个非终结符则代表着一定算术式组成的类，如i*(i+i)、i+i+i等；即每个非终结符代表着由一些终结符和非终结符且满足一定规则的符号串组成的集合。 文法开始符号是一个特殊的非终结符，它代表文法所定义的语言中我们最终感兴趣的语法实体，即语言的目标，而其它语法实体只是构造语言目标的中间变量；如表达式文法的语言目标是表达式，而程序语言的目标通常为程序。 产生式(也称产生规则或规则)是定义语法实体的一种书写规则。一个语法实体的相关规则可能不止一个。例如，有： P→α1 P→α2 P→αn 为书写方便，可将这些有相同左部的产生式合并为一个，即缩写成 P→α1∣α2∣…∣αn 其中，每个αi(i=1,2,…,n)称为P的一个候选式，直竖“∣”读为“或”，它与“→”一样是用来描述文法的元语言符号(即不属于Σ的字符)。 例3.1试构造产生标识符的文法。 [解答] 首先，标识符是以字母开头的字母数字串，我们用L表示“字母”类非终结符，用D表示“数字”类非终结符，而用T表示“字母或数字”类非终结符，则有： L→a∣b∣…∣z D→0∣1∣…∣9