2_第二章高级语言及其语法描述.pptVIP

第2章 高级语言及其语法描述 ;§2.1 编译程序需要重点考虑的程序语言特性;2. 名字的定义;全程变量：主程序中定义。 局部变量：过程/函数/分程序/对象 中定义。;4.语义 ;5.支持的数据类型，类型中允许的运算;7. 存储空间分配方式;§2.2 符号和符号串 ;3.符号串：符号组成的任何有穷序列。不包括任何符号的符号串称为空串（空字），记为ε。 注：符号串中符号的顺序是重要的。;4. 串的长度: 设α是字母表V中的符号串， α的长度=α中符号的个数。记为：|α| 5. 串的联结： 设α、β是字母表V中的符号串，α联结β是指： 将β放在α之后形成的符号串，记为：αβ;6. 符号串集合： 由符号串构成的集合，记为： A={ x | x∈A } 7. 符号串集合的乘积: 若A,B是V上的符号串集合，A,B的乘积定义 为： AB= {αβ| α∈A ,β∈B };8.符号串的方幂： 对任意符号串α， α0 =ε α1 =α α2 =αα … αn =ααn-1 (n0) ;例: V={a,b,c} V0 ={ε} 长度=0 的符号串的集合 V1 ={a,b,c} 长度=1 的符号串的集合 V2 ={aa,ab,ac,ba,bb,bc,ca,cb,cc}长度=2 的符号串的集合 V3 ={aaa,aab,aac,aba,abb,abc…}长度=3 的符号串的集合 V100 长度=100 的符号串的集合 Vn 长度=n 的符号串的集合;10. 集合的闭包： 设V为集合， V+ = V1 ∪ V2 ∪ V3 …∪ Vn ∪… 正闭包 V* = V0 ∪ V1 ∪ V2 ∪ V3 … ∪ Vn ∪ … 闭包 两种闭包之间的关系： V* = V0 ∪ V+ V+ = V V* = V* V —— 两个集合的乘积;§2.3 上下文无关文法;产生式的书写方式称为：BNF范式 若有产生式： A→α1 A→α2 … A→αn 写成：A→α1|α2| … |αn;2. 文法G[S]： 产生式的非空有穷集合，S是一个符号，它至少要在一条产生式中作为左部出现，称为识别符号或开始符号，出现在产生式左部和右部中的所有符号形成字母表 V。;3. 非终结符号： 给定文法G，把作为产生式左部出现的那些符号称为非终结符号，或语法实体，所有非终结符号汇集成：非终结符号集，记为：VN 。;4. 终结符号： 给定文法G，产生式中不属于VN 的那些符号称为终结符号，所有终结符号汇集成：终结符号集，记为：VT 。 由定义知：V = VN ∪ VT ，VN ∩ VT =φ;5. 上下文无关文法的形式定义： 上下文无关文法是一个四元组 G[S] = (VN , VT , P , S ) 其中：VN —— 非终结符号集合 VT —— 终结符号集合 P —— 产生式集合 S —— 文法的识别符号（开始符号）;6. 直接推导、直接归约： 令G为文法，α、β为符号串，若：A→γ是一个产生式，称：αAβ直接推导出αγβ，或αγβ直接归约为αAβ。 记为：αAβ==αγβ;7. 推导、归约：若存在一个直接推导序列 α1 ==〉α2 ==〉α3 ==〉… ==〉αn 称：α1 可以出推导αn ,或αn可归约为α1 记为： α1 αn （推导步骤＞0步，读作：+号推导出）;例: G[E]: E → E + E | E–E | E * E | (E) | i 从 E + E 到 i * i + i 的几种可能推导： E + E =〉E * E + E =〉i * E + E =〉i * i + E =〉i * i + i E + E =〉E + i =〉E * E + i =〉E * i + i =〉i * i + i E + E =〉E * E + E =〉E * E + i =〉E * i + i =〉i * i + i E + E =〉E * E + E =〉E * i + E =〉E * i + i =〉i * i + i;说明：;9. 句型、句子： 令G[S]