营销软文网站男女做暖昩视频试看网站

营销软文网站,男女做暖昩视频试看网站,工业和信息化网站备案系统,手机无法打开网页如何解决编译原理考试范围编译程序构成、编译程序与解释程序区别#xff0c;词法分析、语法分折、语义分折及其任务#xff0c;文法#xff0c;语言#xff0c;句型#xff0c;句子#xff0c;短语#xff0c;推导#xff0c;归约#xff0c;句柄#xff0c;文法、语言二义性…编译原理考试范围编译程序构成、编译程序与解释程序区别词法分析、语法分折、语义分折及其任务文法语言句型句子短语推导归约句柄文法、语言二义性文法分类有穷自动机、正则式、正则文法有穷自动机确定化最小化词法描述工具语法分析分类计算first follow select集消除左递归提取左公因子LL1文法判别、构造预测分折表、句子分析LR0文法判别、项目集构造、分析表构造、句子分析SLR1文法冲突LR1文法、LALR1判别、项目集DFA构造、分析表构造、句子分析可归前缀活前缀综合属性继承属性符号表作用静态语义分析任务属性计算带标注的语法分析树S、L属性文法的语义计算S、L翻译模式语义计算中间代码形式赋值语句、布尔表达语句、控制语句翻译拉链与代码回填存储策略分类活动记录DispIay表编译原理考试提纲一、 编译程序概述编译程序构成分析部分前端与源语言相关包括词法分析、语法分析、语义分析。综合部分后端与目标语言相关包括中间代码生成、代码优化、目标代码生成。编译程序与解释程序区别编译器将整个源程序翻译为目标程序后执行。解释器边翻译解释边执行。二、 词法分析任务读入源程序字符流识别单词词素生成词法单元Token。词法描述工具正则表达式正则式。正则文法3型文法。有穷自动机FA。有穷自动机FA非确定有穷自动机NFA定义、表示。确定有穷自动机DFA定义、表示。NFA到DFA的确定化子集构造法。DFA的最小化状态等价与划分。词法分析器实现根据正则表达式/正则文法构造NFA。将NFA确定化为DFA。对DFA进行最小化。使用最小化DFA识别单词。词法错误处理错误类型单词拼写错误、非法字符。恐慌模式恢复从剩余输入中不断删除字符直到发现一个正确的字符为止。三、 语法分析一 概述与分类自顶向下分析从文法开始符号推导出输入串。自底向上分析从输入串归约为文法开始符号。二 自顶向下分析最左推导总是选择每个句型的最左非终结符进行替换。通用形式与问题递归下降分析一组递归过程可能需要回溯。预测分析递归下降的特例向前看固定符号LL(k)无需回溯。文法转换为LL(1)分析做准备消除左递归直接与间接。提取左公因子。LL(1)文法与分析相关集合计算FIRST集文法符号串首终结符集。FOLLOW集非终结符后随终结符集。SELECT集产生式的可选集。LL(1)文法判别条件同一非终结符各产生式的SELECT集互不相交。预测分析表构造。句子分析过程递归预测分析法为每个非终结符编写递归函数。非递归预测分析法表驱动使用分析栈和预测分析表。三 自底向上分析移入-归约分析基本概念句柄句型的最左直接短语。规范归约最左归约每次归约当前句型的句柄。活前缀规范句型的一个前缀该前缀不包含句柄之后的任何符号。可归前缀包含句柄的活前缀。LR分析家族核心构造识别活前缀的DFA——LR自动机LR(0)分析LR(0)项目项右部某位置标有圆点的产生式。项目集规范族DFA构造CLOSURE和GOTO函数。LR(0)分析表构造ACTION与GOTO表。LR(0)文法判别分析表中无冲突。冲突移入-归约冲突、归约-归约冲突。SLR(1)分析在LR(0)基础上用FOLLOW集解决冲突。SLR(1)分析表构造。SLR(1)文法判别。LR(1)分析LR(1)项目带**向前看符号展望符**的项。LR(1)项目集规范族构造。LR(1)分析表构造。LR(1)文法判别。LALR(1)分析核心思想合并LR(1)的同心项目集核心相同展望符不同。LALR(1)分析表构造合并后可能引入新冲突但比SLR强。LALR(1)文法判别。分析能力比较LR(0) SLR(1) LALR(1) LR(1)。二义性文法的LR分析二义性文法都不是LR的。可通过赋予算符优先级和结合性来消解冲突从而用LR分析。四 语法分析中的错误处理错误检测时机栈顶终结符与当前输入符号不匹配。栈顶状态与当前输入符号在分析表对应项为空。错误恢复策略恐慌模式不断丢弃输入符号直到出现“同步词法单元”如FOLLOW集中的符号。短语层次恢复在栈顶进行局部修正如插入/删除/替换符号。四、 语法制导翻译与中间代码生成一 语法制导定义SDD与翻译方案SDT属性综合属性自底向上传递信息子节点 - 父节点。继承属性自顶向下或水平传递信息父节点/兄弟节点 - 当前节点。属性计算依赖图描述分析树中属性间的依赖关系。计算顺序拓扑排序。S属性定义与L属性定义S属性定义只包含综合属性。适合自底向上分析。L属性定义继承属性仅依赖于父节点或左边兄弟节点的属性。适合自顶向下分析。翻译模式SDT语义动作可以嵌入在产生式右部任何位置。实现方式基于预测分析的SDT实现递归下降或非递归。基于LR分析的SDT实现需要消除嵌入动作引入标记非终结符或通过复写规则在栈中模拟继承属性。二 中间代码形式三地址码x y op z 形式。语法结构树 / 抽象语法树AST。后缀表示等。三 各种语句的翻译生成三地址码声明语句的翻译收集标识符属性种属、类型、宽度、存储偏移量并填入符号表。赋值语句的翻译简单变量赋值。数组引用翻译计算数组元素地址行优先存储。布尔表达式的翻译作为条件控制的布尔表达式翻译。拉链与回填技术makelist(i)创建仅包含标号i的列表。merge(p1, p2)合并两个标号列表。backpatch(p, i)将标号i回填到p所指列表的所有指令中。控制流语句的翻译if-then-else, while-do, switch-case等使用继承属性如.next和回填技术生成跳转代码。过程调用语句的翻译参数传递param指令。过程调用call指令。四 类型系统与类型检查类型表达式基本类型、数组、指针、笛卡尔积、函数、记录等构造符。类型等价与类型检查规则。五、 符号表与语义分析符号表的作用收集并维护标识符的属性信息种属、类型、存储位置、作用域、参数信息等。支持各编译阶段对标识符信息的查询。静态语义分析的主要任务收集信息填入符号表。语义检查变量/过程未经声明就使用。重复声明。类型不匹配运算分量、操作符、数组下标、过程参数等。控制流检查。唯一性、关联性检查。六、 运行时存储管理存储策略分类静态存储分配编译时确定如全局变量、静态变量。栈式动态存储分配用于过程/函数活动活动记录。堆式动态存储分配用于动态申请的数据如malloc/new。活动记录Activation Record构成返回值、实参、控制链动态链、访问链静态链、保存的机器状态、局部数据、临时变量等。过程调用/返回时活动记录的压栈/弹栈。非局部数据的访问静态作用域词法作用域内层过程可以访问外层过程中声明的名字。访问链静态链指向定义该过程的外层过程的最新活动记录。Display表一个指针数组指向各嵌套层次过程的最新活动记录。用于高效访问非局部数据。堆管理分配与释放策略如首次适应、最佳适应等。碎片问题。