复习—编译原理第2章程序.ppt

计算机学院 编译原理 计算机学院 * 编译原理 * 计算机学院 编 译 原 理 Compiler Principles 任课教师：郑丽萍 2014－2015第2学期 * 编译原理 * 把用一组数学符号和规则来描述语言的方式称为形式描述，而把所用的数学符号和规则称为形式语言。 语言的三种表示方法 枚举（句子有限） 数学表示（句子无限） 制定有限条规则，用来产生所需描述语言中的句子全部，这些规则即文法。 建立一种算法能对于任给的符号串，判别是否为给定语言的合法句子——自动机理论。 * 编译原理 * 文法的一般构成： 一组终结符号：仅出现在产生式右部的符号 VT 一组非终结符号：至少在产生式左部出现过一次的符号VN 一个开始符号：特殊的非终结符，表示了定义语言中最感兴趣的语法范畴。 S 一组规则：P G={VT，VN，S，P} * 编译原理 * 由文法产生句子 1、推导 〈句子〉 ? 〈主语〉〈谓语〉? 〈代词〉〈谓语〉 ?我〈谓语〉 ? …… 过程：文法的开始符号开始，每次把当前串的一个非终结符 号用于之对应的产生式右部来代换，得到一个新符号串，称 一步推导。 2、推导长度 * 编译原理 * 文法的作用就是用有限条规则产生无限多句子。 某一文法产生的全部句子所组成的集合—— 该文法产生的语言。 * 编译原理 * 语言和文法的形式定义 一个上下文无关文法G定义为四元组(VN，VT，P，S ) 其中： VN：非终结符号(或语法实体，或变量)集；VT：终结符号集；P：产生式(也称规则)的集合； A→? 其中， ?∈ (VN ∪ VT )* ， A ∈ VN VN，VT和P是 非空有穷集。 S：称作识别符号或开始符号的一个非终结符，它至少要在一条产生式中作为左部出现。S ∈ VN VN和VT不含公共的元素，即VN ∩ VT = φ 用V表示VN ∪ VT ，称为文法G的字母表或字汇表 一、上下文无关文法 * 编译原理 * 二、推 导 直接推导“?” α→β是文法G的产生式，若有v,w满足：v=γαδ,w= γβδ, 其中γ∈V*,δ∈V* 则称v直接推导到w,记作 v ? w； 也称w直接归约到v 例：G： S→0S1， S→01 0S1 ?00S11 00S11 ?000S111 000S111 S ?0S1 * 编译原理 * 例：G： S→0S1， S→01 S ?0S1 ?00S11 ?000S111 S S 00S11 00S11 S 推导长度为4 若存在v =w0 ?w1 ?... ?wn=w (n ≥ 1) 则记为v w，称作v推导出w，或w归约到v 特别的，若有v=w， 则记为v w (n≥0) 推导的长度（长度为n的推导） * 编译原理 * 三、句型和句子 例：G： S→0S1， S→01 S ?0S1 ?00S11 ?000S111 G的句型 S，0S1，00S11，000S111G的句子 01 句 型 有文法G[S]，若S x， x∈V*，则称x是文法G的句型。 句 子 有文法G[S]，若S x，且x∈VT*，则称x是文法G的句子。 * 编译原理 * 四、语言 由文法G生成的语言记为L(G)，它是文法G的一切句子的集合: 语言中的每个句子可以由上下文无关文法的开始符号产生。 例：G=（{0，1}，{S}，S，P） P: S→0S1， S→01 L(G)={0n1n|n≥1} L(G)={x|S x，S为文法的开始符号，且x ∈VT*} * 编译原理 * G生成的每个串都在L(G)中，L(G)中的每个串确实能被G生成。 文法所产生的语言L(G)是无限语言，原因是所定义的文法中含有递归。 * 编译原理 * 五、文法的递归性 递归、直接递归：如果文法中有形如A→γAδ的产生式，其中γ，δ不同时为ε，则称文法为直接递归文法。 A 称为递归和直接递归的非终结符号 若存在 A ?