编译原理复习(有答案).docxVIP

第一章 引论 编译过程的阶段 由词法分析、 语法分析、语义分析、 中间代码生成、代码优化和目标代码生成六个阶段 编译程序的概念 编译程序的结构 例：（ B ） 不是编译程序的组成部分。 A. 词法分析器； B. 设备管理程序 C. 语法分析程序； D. 代码生成程序 遍的概念 对源程序 ( 或其中间形式 )从头至尾扫描一次并进行有关加工处理，生成新的中间形式或最终目标程序， 称为一遍。 编译程序和解释程序的区别 例：解释程序和编译程序是两类程序语言处理程序， 它们的主要区别在于（ D ）。 A. 单用户和多用户的差别 B. 对用户程序的差错能力 C. 机器执行效率 D. 是否生成目标代码 第三章文法和语言文法的概念 字母表、符号串和集合的概念及运算 例： (ab|b) *c 和下面的那些串匹配？（ ACD ） A. ababbc； B. abab； C. c； D. babc； E. aaabc 例： ab* c* (a|b)c 和后面的那些串匹配？（ BC） A.acbbc B.abbcac C.abc D.acc 例： (a|b)a +(ba) * 和后面的那些串匹配 ? （ ADE ） A.ba B.bba C.ababa D.aa E.baa 文法的定义（四元组表示） 文法 G 定义为四元组（ VN，VT， P，S） VN ：非终结符集 VT ： 终 结 符 集P：产生式（规则）集合 S：开始符号（或识别符号） 例：给定文法， A::= bA | cc ，下面哪些符号串可由 其推导出（ ① ② ⑤ ）。 ① cc ②b*cc ③b*cbcc ④ bccbcc ⑤ bbbcc 什么是推导 例：已知文法 G： E-E+T|E-T|T T-T*F|T/F|F F-(E)|i 试给出下述表达式的推导： i*i+i 推导过程： E-E+T -T+T -T*F+T -F*F+T -i*F+T -i*i+T -i*i+F -i*i+i 句型、句子的概念 例：假设 G 一个文法， S 是文法的开始符号，如果 S=*x，则称 x 是 句型 。 例：对于文法 G，仅含终结符号的句型称为 句子 。 语言的形式定义 例：设 r=(a|b|c)(x|y|z) ，则 L(r)中元素为 9 个。 例：文法 G 产生式为 S→AB，A→aAb| ， B→ cBd|cd，则 B ∈ L(G)。 A. ababcd； B. ccdd； C. ab； D. aabb 等价文法 例：如果两个文法描述了同一个语言，则这两个文法是 等价文法 。 文法的类型 型：左边至少有一个非终结符 型：右边长度 =左边长度 型：左边有且仅有一个非终结符 型：形如： A-aB,A-a 各类型文法都是逐级包含关系， 例：文法 S→abC|c ，bC→d是几型文法？ 0 型 例：文法 S→abC，bC→ad 是几型文法？ 1 型 例：文法 G[A]：A→ ，A→aB ，B→Ab，B→a 是几型文法？ 2 型 例：文法 S→a|bC ， C→d 是几型文法？ 3 型 最左（右）推导 规范推导 ：最右推导被称为规范推导 规范句型 ：由规范推导所得的句型称为规范句型规范归约 :左归约为规范归约 二义性 例：如果一个文法存在某个句子对应两棵不同的语法树，则称这个文法是 二义的 。 例：已知文法 G1 ： P-PaP|PbP|cP|Pe|f ， G1 是 （ A ）。 A 二义文法； B 无二义的例：证明下述文法 G[表达式 ]是二义的。 表达式 → a|( 表达式 )| 表达式 运算符 表达式 运算符 → +|-|*|/ 答：可为句子 a+a*a 构造两个不同的最右推导 : 最右推导 1 〈表达式〉 〈表达式〉〈运算符〉〈表达式〉 〈表达式〉〈运算符〉 a 〈表达式〉 * a 〈表达式〉〈运算符〉〈表达式〉 * a 〈表达式〉〈运算符〉 a * a 〈表达式〉 + a * a a + a * a 最右推导 2 〈表达式〉 〈表达式〉〈运算符〉〈表达式〉 〈表达式〉〈运算符〉〈表达式〉〈运算符〉〈表达式〉 〈表达式〉〈运算符〉〈表达式〉〈运算符〉 a 〈表达式〉〈运算符〉〈表达式〉 * a 〈表达式〉〈运算符〉 a * a 〈表达式〉 + a * a a + a * a 短语、句柄、直接短语例：令文法 G[E]为: E-E+T|E-T T-T*F|T/F|F F-(E)|i 证明 E+T*F 是它的一个句型 ,指出这个句型的所有 短语、直接短语和句柄。 例：已知文法 G[S] S→ aB|bA A→ a|aS|bAA B→ aBB|bS|b 句型 aabbAb 的句柄是（ D ） A.a B.ab C.b D.bA