第一章语言与语言的翻译

1第一章语言与语言的翻译编译器的基本组成编译器的分析/综合模式(编译器基础架构)扫描遍数编译器的编写2第二章词法的双重含义：词法规则＋词法分析模式、记号与单词形式化描述：正规式与正规集记号的识别：有限自动机NFA：与正规式有对应关系，易于构造，状态数少；DFA：具有确定性，不易构造，状态数可能多；识别方法：模拟DFA、模拟NFA对于正规式r，构造自动机识别字符串x，有结论：自动机空间时间NFAO(|r|)O(|r|*|x|)DFAO(2|r|)O(|x|)3第二章从正规式到词法分析器正规式描述模式由正规式构造NFANFA的确定化（子集法：smove，ε-闭包）DFA的最小化（可区分概念）词法分析器：表驱动与直接编码4第三章程序设计语言与文法正规式与正规文法上下文无关文法CFG=(N,T,P,S)文法分类：0型、1型、2型和3型有关推导的基本概念产生语言的基本方法－推导：句子与句型、直接推导与推导、最左推导与左句型分析树与语法树分析树记录推导过程并反映语言结构语法树仅反映语言结构而忽略推导过程，树中没有非终结符二义性与二义性的消除5第三章自上而下分析分析方法：用推导的方法从上到下构造分析树，谋求与输入序列的匹配，是一种试探的方法；对文法的要求：为避免回朔与无穷递归，要求文法没有公共左因子和左递归；递归下降子程序：每个非终结符是一个子程序预测分析下推自动机工作模式：格局与格局的变换预测分析表：四个动作、分析表中的内容预测分析表的构造：FIRST集合与FOLLOW集合LL(1)文法及其判别方法6自下而上分析分析方法：用归约的方法从叶子到根构造分析树，谋求对输入序列的匹配基本概念：短语、直接短语、句柄、规约、规范规约、剪句柄基本方法:用移进-归约方法实现剪句柄LR文法与LR分析：LR(0),SLR(1),LALR(1),LR(1)SLR(1)分析格局与格局变换、改变格局的四个动作移进－归约分析表：动作表与转移表SLR(1)分析器的构造识别活前缀的DFA：LR(0)项目、项目集、项目集族、子集法识别活前缀：有效项目、可移进项、可规约项、冲突SLR(1)文法：简单向前看一个终结符7第四章重点是程序设计语言的静态语义分析，并且在语法分析的基础上生成中间代码，采用的基本方法是语法制导翻译。语法制导翻译的基本概念语法与语义属性与语义规则语义规则的两种形式中间代码为什么生成中间代码常用形式：树、后缀式、三地址码(三元式、四元式)符号表的组织条目与信息存储(直接/间接)作用域信息保存(线性表、散列表)8第四章声明语句的翻译定义与声明：类型定义与变量声明，过程定义与声明变量声明：填写符号表过程声明左值与右值值调用、引用调用、复写－恢复、换名调用名字的作用域：静态作用域与最近嵌套原则嵌套定义的过程中信息的存储可执行语句的翻译简单算术表达式和赋值句的翻译：类型转换数组元素的引用9*第五章本章介绍程序运行时的空间组织，重点是讨论如何通过对过程的静态分析(包括符号表的使用)建立运行环境，以保证程序的正确执行。过程的动态特性过程、活动、生存期、控制流；活动树、控制栈、活动记录；名字的绑定、环境与状态；运行时的存储空间组织内存划分：可执行代码、静态数据区、栈、堆；活动记录的内容：参数与返回值、控制链、访问链、机器状态、本地数据、临时变量等。10*第战五章不同敢的存携储分电配策但略静态烤分配娃：绑影定是笨静态黎的栈分蒸配：慈基于使控制练栈自配动管灿理内位存堆分宪配：楼根据吓要求洽从堆知数据博区动评态地忘分配承和释见放内冬存栈分举配策识略调用胆序列墙与返指回序坐列；控制莫链与州访问规链：舒控制绑链用籍于活替动记挖录的绑正确颗切换掩，体喘现活察动调历用关