编译原理及实现doc81.docVIP

第1章 编译原理及实现 1.1 程序设计语言 1.2 翻译程序 图1-1 生成机器语言目标程序的编译方式 图1-2 生成汇编语言目标程序的编译方式 图1-3 高级语言的解释方式 1.3 编译程序的组成 图1-4 典型的编译程序模型 1.3.1 词法分析 1.3.2 语法分析 图1-5 句子“猴子吃香蕉”的语法分析树 图1-6 表达式a=10+c*20的语法树 1.3.3 语义分析及中间代码生成 1.3.4 代码优化 1.3.5 目标代码生成 1.3.6 符号表管理 1.3.7 错误处理 1.4 编译程序的结构 1.4.1 单遍编译程序 图1-7 单遍编译程序结构 1.4.2 多遍编译程序 图1-8 典型的多遍编译程序结构 1.4.3 编译程序分遍的优缺点 1.4.4 “端”的概念 1.5 编译程序的前后处理器 图1-9 从框架源程序到可运行程序 1.5.1 预处理器 1.5.2 汇编程序 1.5.3 连接加载程序 1.6 TEST语言与编译器 1.6.1 TEST语言 1.6.2 TEST编译器 1.6.3 TEST机 习题 1. 高级程序设计语言有哪些特点？ 2. 典型的编译程序可划分为几部分？各部分的主要功能是什么？每部分都是必不可少的吗？ 3. 解释方式和编译方式的区别是什么？ 4. 论述多遍扫描编译程序的优缺点。 第2章 文法和语言 2.1 字母表和符号串 2.1.1 字母表 2.1.2 符号串 2.1.3 符号串及其集合的运算 2.2 文法 2.2.1 文法形式定义 2.2.2 文法的EBNF表示 2.3 推导 2.3.1 直接推导定义 2.3.2 推导定义 2.3.3 规范推导 2.4 句型和句子 2.5 语言 2.6 递归规则与递归文法 2.6.1 递归规则 2.6.2 递归文法 2.7 短语、简单短语和句柄 2.8 语法树 图2-1 语法树 2.9 子树与短语 2.10 由树构造推导过程 2.11 文法的二义性 图 2-2(a) 语法树1 图 2-2(b) 语法树2 图 2-3(a) if语句语法树1 图 2-3(b) if语句语法树2 图2-4 语法树 2.12 有关文法的实用限制 2.13 文法和语言分类 1. 0型文法 2. 1型文法 3. 2型文法 4. 3型文法 习题 1 设字母表A={a}，符号串x=aaa，写出下列符号串及其长度：x0，xx,x5以及A+和A*。 2 令Σ={a，b，c}，又令x=abc，y=b，z=aab，写出如下符号串及它们的长度：xy，xyz，(xy)3。 3 设有文法G[S]：S∷=SS*|SS+|a，写出符号串aa+a*规范推导，并构造语法树。 4 已知文法G[Z]：Z∷=U0|V1，U∷=Z1|1，V∷=Z0|0 ，请写出全部由此文法描述的只含有4个符号的句子。 5 已知文法G[S]： S∷=AB A∷=aA︱ε B∷=bBc︱bc 写出该文法描述的语言。 6 已知文法 E∷=T∣E+T∣E-T T∷=F∣T*F∣T/F F∷=(E)∣i 写出该文法的开始符号、终结符号集合Vt、非终结符号集合Vn。 7 对第6题的文法，写出句型T+T*F+i的短语、简单短语以及句柄。 8 设有文法G[S]：S∷=S*S|S+S|(S)|a，该文法是二义性文法吗？ 9 写一文法，使其语言是奇正整数集合。 10 给出语言{anbm|n，m≥1}的文法。 第3章 词法分析 3.1 词法分析的功能 图3-1 词法分析单独作为一遍 图3-2 词法分析作为语法分析子程序 3.2 程序语言的单词符号种类及词法分析输出 图3-3 词法分析程序的 3.3 正则文法及状态图 3.3.1 状态图 图3-4 状态图 3.3.2 状态图的用法 图 3-5 3.4 词法分析程序的设计与实现 3.4.1 TEST语言的词法规则及状态图 图3-6 各条词法规则的状态图 图3-7 单词符号的状态图 3.4.2 TEST语言词法分析程序的构造 图3-8 词法分析程序流程图 3.4.3 TEST语言的词法分析程序实现 1. 输出形式 2. 词法分析程序 3.5 正则表达式 3.5.1 正则表达式定义 3.5.2 正则文法到正则表达式的转换 3.6 有穷自动机 3.6.1 确定的有穷自动机 1. 确定的有穷自动机定义 2. 确定的有穷自动机状态图 3. 确定的有穷自动机状态转换矩阵 图3-9 状态图 图3-10 状态转换矩阵 4. 确定的有穷自动机接受的语言 图 3-11 3.6.2 不确定的有穷自动机 1. 不确定的有穷自动机定义 2.