最全的编译原理题型总结！！！拯救你的分数！！！

已于 2023-12-21 19:54:16 修改
阅读量982 收藏 45
点赞数 9
分类专栏： 编译原理 文章标签： 汇编
于 2023-12-21 19:45:16 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_72914660/article/details/135138348
版权

编译原理的常见考点总结

写在前面

2023电子科技大学期末编译原理题型（真题）：

  1. 简答题：语法分析的作用；递归下降分析的基本思想；给出正则表达式写出构造文法；给出一个符号串，根据已有文法使用最左推导并写出短语，直接短语和句柄；静态链和动态链的作用；
  2. 语言改为正则表达式
  3. NFA转化为DFA
  4. LL1文法及其预测分析表
  5. SLR（1）分析
  6. 给出C语言写出三地址代码，值传递，地址传递
  7. 给出一段代码，写出优化方法和最终代码
  8. 寄存器分配之线性扫描，图着色

符号表的作用：(定义：符号表是存放有关标识符的信息的数据结构。)

  • 收集符号属性

  • 上下文语义的合法性检查的依据

  • 作为目标代码生成阶段地址分配的依据

LEX源文件结构

LEX的输入是用LEX源语言编写的程序，它是扩展名为.l或.lex的文件。LEX源程序经过LEX系统处理后输出一个C程序文件，此文件再经过C编译器的编译就能产生一个可执行程序。
一般而言，一个LEX源程序由“%%”分隔的三部分组成，其整体格式为：
定义部分
%%
识别规则部分
%%
辅助函数部分

第一章——引论

1.1基本概念

前端：词法分析，语法分析，语义分析，中间代码生成，符号表的建立等

后端：与机器有关的代码优化，目标代码的生成，相关的错误处理以及符号表的访问等

语义翻译：语义分析和中间代码生成被称为语义翻译。

编译可以分为5个阶段：

  1. 词法分析
  2. 语法分析
  3. 语义分析和中间代码生成
  4. 代码优化
  5. 目标代码生成

第二章——简单的语法制导

2.1基本定义

文法的重要性

有限规则描述无穷语言

文法等价：

两个文法的L(G)=L(H)，那么G和H等价

短语：一个句型的语法树中任一子树叶节点所组成的符号串都是该句型的短语。

直接短语:当子树不包含其他更小的子树时(树的高度为2时)，该子树叶节点所组成的字符串就是该句型的直接短语。

句柄：句柄是最左边的直接短语。

素短语：素短语是一个短语，它至少含有一个终结符，而且除他之外不含有其他素短语。

自上而下分析法：从输入串开始，看能否向下推导，推出目标句子

自下而上分析法：从输入串开始，逐步进行规约，直至规约出文法的开始符号。

2.2文法的二义性：

一个文法可能有多棵语法树能够生成同一个给定的终结符号串。

在这里插入图片描述

第三章——词法分析

3.1基本定义

1.词法单元由一个词法单元名和一个可选的属性值组成。

2.模式描述了一个词法单元的词素可能具有的形式。

3.词素是源程序中的一个字符序列。

3.2重点！NFA转换为DFA

上题目！

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

当然也可以用子集构造法来求DFA(更简单)

在这里插入图片描述

第四章——语法分析

4.1重点！递归下降分析（考场上不会让你写出特别长的代码，其实写出伪代码就好）

基本思路：

X -> β11 ... β1i
   | β21 ... β2j
   | β31 ... β3k
   | ...

例题：

给定文法G1
S -> N V N
N -> s
   | t
   | g
   | w
V -> e
   | d

对于这样一个文法，我们编写相对应的递归下降分析程序：

void Parse_S(){
    parse_N();
    parse_V();
    parse_N();
}
void Prse_N(){
    token=tokens[i++];//也可以写成token=nextToken();
    if(token==s||token==t||token==g||token==w){
        return;
    }
    else
        printf("Error");
}
void Parse_V(){
    token=tokens[i++];
    ...//
}

构造词法分析器（注意，下面的代码不是基于递归下降，而是一种特别像递归下降分析的程序）

假设有文法G2
E  -> TE`
E` -> +TE` | -TE` | ε
T  -> FT`
T` -> *FT` | /FT` | ε
F  -> (E)  | i

先求出该文法各个非终结符的first集和follow集

在这里插入图片描述

然后求出select集并画出预测分析表

在这里插入图片描述

这里有个小错误，第一行的)对应的部分应删去，应该在i的部分加入E->TE`

根据这个预测分析表来写代码：（注意这个不是递归下降分析程序，因为真正的递归下降是一种深搜）

#include<iostream>
#include<string>

using namespace std;
const int pos=0;
string s= "i+(((((i*i*i*(i+i+(i/i))+i/i)))))$";

void eat();
void error();
void E();
void Eprime();
void T();
void Tprime();
void F();

void eat(){
    s=s.substr(1);
}
void error(){
    cout<<"failed to match"<<endl;
    exit(1);
}

void E(){
    switch(s[pos]){
        case '$':
            break;
        case '(':
        case 'i':
            
                T();
                Eprime();
                break;
            
        default:
            error();
    }
}//E的部分不涉及pos++因为E是文法的开始符号（注意pos++其实等价于eat函数中的s.substr），每次使用eat()或者pos++其实都是为了吃掉当前的终结符


void Eprime(){
    switch(s[pos]){
        case '$':
            break;
        case '+':
        case '-':
            
                eat();//相当于pos++
                T();
                Eprime();
                break;
            
        case ')':
            break;//匹配空串直接break
        default:
            error();
    }
}

void T(){
    switch(s[pos]){
        case '$':
            break;
        case '(':
        case 'i':
            
                F();
                Tprime();
                break;
            
        default:
            error();
    }
}

void Tprime(){
    switch(s[pos]){
        case '$':
            break;
        case '+':
        case '-':
        case ')':
            break;
        case '*':
        case '/':
            eat();
            F();
            Tprime();
            break;
        default:
            error();
    }
} 

void F(){
    switch(s[pos]){
        case '$':
            break;
        case '(':
            eat();
            E();
            if(s[pos]==')'){eat();break;}
            else {error();}
            break;
        case 'i':
            eat();
            error();
            break;
        default:
            error();
    }
}

int main(){
    E()
        cout<<"finally s is"<<s<<endl
        return 0;
}

4.2语法错误的处理

恐慌模式：语法分析器一旦发现错误就不断丢弃输入中的符号，一次丢弃一个符号，直到找到同步词法单元。（同步词法单元就该程序结构结束的标志）

短语层次的恢复：语法分析器可以在余下的输入上进行局部性纠正。

错误产生式：通过预测可能出现的常见错误，我们可以在当前语言的文法中加入特殊的产生式。

**全局纠正：**选择一个最小的改正序列，得到开销最低的全局性纠正方法。

4.3重点！ LR系列例题分析

在这里插入图片描述

4.3.1 LR(0)文法
给出文法G[S]为：

（1）S->aAcBe

（2）A->Ab

（3）A->b

（4）B->d
1）构造增广文法

2）构造识别活前缀的DFA

3）构造LR（0）分析表

4）对输入串abbcde#进行分析。

在这里插入图片描述

在这里插入图片描述
在这里插入图片描述

4.3.2 SLR(1)文法

SLR（1）就是为了解决冲突而设计的，解决冲突的方法就是向后多看一个字符，这就是SLR（1）。

**简而言之就是为每个非终结符，计算出它们的follow集（即把分析表中的规约动作r修改为对应于follow集的规约动作）。从而可以解决移进与规约、规约与规约的冲突了。在SLR(1)方法中， 如果Ii包含有项目[Ａ → a·],并且当前输入符号a∈ FOLLOW(A)中,则此时用Ａ → a归约。***但是但是！SLR只能解决规约-规约冲突！！！存在规约-规约冲突的不是SLR(1)文法。

我们以上面的LR(0)文法为例做出修改，先计算出每个非终结符的follow集。

FOLLOW(S`)={$}
FOLLOW(S)={$}
FOLLOW(A)={b,c}
FOLLOW(B)={c}

修改后的SLR(1)分析表如下：

在这里插入图片描述

注意SLR(1)文法仍然可能存在一些无效规约。

并且当移进项目的终结符与FOLLOW集有交集，比如说有一个项目集S->L•=R,S->L•但是S的FOLLOW集里有’='符号，存在冲突，那么这个文法不是SLR(1)文法。所以决定LR系列文法的关键因素还是文法本身。

然后我们来看一道题：
在这里插入图片描述

在这里插入图片描述

4.3.3 LR(1)文法

LR(1)文法相较于LR(0)文法的不同在于LR(1)文法处理规约的方式不同。（所有的产生式的展望符继承于之前的符号）
在这里插入图片描述

仍然以之前的文法为例：

在这里插入图片描述

相应的分析表应该也比较简单了，这里就不再画了。

4.3.4 LALR文法

形式上采用LR(1)的形式，大小上是LR(0)的大小

在这里插入图片描述

4.3.5四种文法的判别方法

1.判断LR(0)文法：
看项目中是否有归约-归约和移进-归约冲突。
如果无冲突则是LR(0)文法（如果是LR(0)文法则四种都是）；如果有冲突则不是LR(0)文法。（就要向下判断）

2.判断SLR(1)文法：
a: DFA中存在冲突项目（归约-归约，归约-移进）
b:{a1,a2,…,an},FOLLOW(B1),FOLLOW(B2)两两互不相交，（交集=空集）时是SLR(1)项目。
【也就是说，同时满足两个条件才是SLR（1）文法】（即无冲突）

若不是再向下判断。

3.判断LR(1)文法：
LR(1)分析器中如果无冲突则是LR(1)文法。

4.判断LALR(1)文法：
合并同心集后无冲突（在之前的基础上）
（核相同，向前搜索符不同）

注意：二义性文法也可以使用LR分析技术。

第五章——语法制导的翻译

5.1基本定义

1.语法制导定义（SDD）：是一个上下文无关文法和属性及规则的结合。

2.一个没有副作用的SDD也被称为属性文法。

3_1.综合属性：在分析树结点N上的非终结符号A的综合属性是由N上的产生式所关联的语义规则来定义的。

3_2.继承属性：在分析树结点N上的非终结符号B的继承属性是由N的父结点上的产生式所关联的语义规则来定义的。

4.语法制导翻译（SDT）：在语法分析过程中,将语义规则同语法规则（产生式）联系起来， 根据每个产生式所对应的语义子程序进行翻译的办法叫做语法制导翻译。

5.2 注释语法分析树

树的躯干其实就是语法分析树

还要加上每个节点的值成为带注释的语法分析树

在这里插入图片描述

在这里插入图片描述

再来一题

在这里插入图片描述
在这里插入图片描述

5.3依赖图

依赖图描述了某个语法分析树中属性实例之间的信息流。下面给出上道题的依赖图
在这里插入图片描述

其中数字代表求值顺序。

5.4抽象语法树

抽象语法树写成下面的格式应该就可以了

在这里插入图片描述

第六章——中间代码生成

6.1 根据C语言代码写出三地址代码

我们选择无脑写（不管语法分析树是怎么构建的，其实归根结底都一个写法），上题！

在这里插入图片描述

这就是这个C语言程序的三地址代码，其中（12）-（19）是数组寻址的过程。（32）为空

在这里插入图片描述

四元式翻译规则：

在这里插入图片描述

这道题翻译出的四元式如图：

在这里插入图片描述

第七章——运行时刻环境

7.1活动树（会画即可）

7.2活动记录

过程调用和过程返回通常由一个成为控制栈的运行时刻栈进行管理。每个活跃的活动都有一个位于这个控制栈中的活动记录。

一个概况性的活动记录包括：

  • 临时值
  • 对应于这个活动记录过程中的局部数据
  • 保存的机器状态
  • 一个访问链
  • 一个控制链
  • 当被调用函数有返回值时，要有一个存放返回值的空间
  • 调用过程中使用的实在参数

7.3静态链，动态链

静态链也被称为访问链，是一种物理结构

动态链被称为控制链，是一种嵌套关系

在这里插入图片描述

函数A率先进栈，调用D，D进栈，并且D的动态链接指向A的返回地址，D的静态链接也指向A的返回地址

随后D调用B，B进栈，因为A和B是直接嵌套关系，所以B的动态链接虽然指向D，但是静态链接是指向A的

随后栈种的B调用C，C进栈，动态链接指向B的返回地址，静态链接也指向B的返回地址。

以此类推…

第八章——代码生成

8.1基本块、流图的优化

1.基本块的划分规则：

  • 第一个三地址指令是一个首指令
  • 任意一个条件或无条件指令的目标指令是一个首指令
  • 紧跟在一个条件或者无条件转移指令之后的指令是一个首指令

2.流图的画法：

  • 若基本块B的结尾跳转到C的开头，那么B到C有一条边

  • 若B的结尾紧跟着D，那么B到D有一条边

3.看这样一道题：

在这里插入图片描述

首先划分基本块，按照上述规则，标黄的就是一个基本块的开始语句

在这里插入图片描述

划分之后：

在这里插入图片描述

接下来画出流图：

在这里插入图片描述

注意所有流图的goto语句的标号要变成基本块的标号！！！

接下来确定回边和循环

​ 回边是建立在支配节点的概念上的，首先d是n的支配节点，如果存在一条从n指向d的边，那么这条边被称为回边。很显然，B2，B3指向自己的边是回边，B5指向B2的边也是回边。

​ 循环也很简单，只需要找闭环就可以了，每一个回边就会构成一个循环，比如{B2},{B3},{B2,B3,B4,B5}就是上述流图的三个循环。

接下来开始代码优化

  • 公共子表达式

在这里插入图片描述

可以看到，t1,t2,t4是公共子表达式（其实在这里是全局子公共子表达式），并且在过程中未对他们进行改动，所以可以在下面替换。替换后如下

在这里插入图片描述

  • 复写传播

接下来就可以进行复写传播优化，比如说，在B5中凡是引用t6的地方，完全可以用t2代替，这样就消除了t6。其他同理。

第一轮结束后：

在这里插入图片描述

但是会发现，出现了新的公共子表达式（新的风暴已经出现），也就是a[t2]和a[t4]，这样的话我们需要消去新的公共子表达式（因为从B2出口到B5入口没有对这两个值进行改动所以可以消去）。但是比如说a[t1]就不是公共子表达式，因为a[t1]可能在B5中发生了改变。

第二轮消除：

在这里插入图片描述

第二轮复写传播：

在这里插入图片描述

这里直接显示了删除死代码后的片段，为什么B6中的x不删除呢？因为我们无法保证后续的代码不再使用x，所以这个x要保留。

循环优化

  • 循环不变量外提（就是找常量和不变量）
  • 变量强度削弱
  • 归纳变量消去

这道题没有用到循环变量外提，主要使用了归纳变量削弱

在这里插入图片描述

因为其实本质上i和j就是为了给t2和t4赋值，所以在下面的条件语句中将i和j换成t2和t4就可以。至此这道题优化完毕。

8.2 DAG的优化

其实和8.1的优化本质是相同的，只不过我们需要掌握这种优化方式。

首先明确最常用的DAG优化的方法：

  • 消除局部公共子表达式
  • 消除死代码（无用赋值）
  • 合并常量，强度消减

8.3 活跃变量分析及寄存器分配

在这里插入图片描述

在这里插入图片描述
在这里插入图片描述

时光诺言
关注
  • 9
    点赞
  • 踩
  • 45
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 5
    评论
专栏目录
编译原理刷题（个人向）
pjm616的博客
10-13 1224
编译原理刷题
编译原理复习题
qq_46813387的博客
06-22 3183
编译原理复习题
编译原理试题汇总+编译原理期末试题(8套含答案+大题集)
01-24
编译原理试题汇总+编译原理期末试题(8套含答案+大题集)
编译原理要背的简答题
sandalphon4869的博客
01-02 6686
文章目录一、第一章：引言1.简述编译器与解释器的主要共同点以及工作方式的差异。二、第二章：词法分析器1.说明 DFA 与 NFA 的主要差异三、第三章：语法分析1.说明消除文法二义性的方法有哪些四、语法制导1.简要说明在编译过程中引入中间代码的好处，以及中间代码应具有的特点。 一、第一章：引言 1.简述编译器与解释器的主要共同点以及工作方式的差异。 共同点： 均完成对源程序的翻译； 差异：编译...
编译原理-各章典型题型+思路求解
最新发布
weixin_60536621的博客
06-21 750
这节的主要内容为给定文法，对它进行一系列的操作。（以下为粗略的总结，仅仅作为复习，详细细节还需要找到对应定义）
编译原理复习题(含试卷)
03-22
编译原理复习题，特别适合急需复习编译原理，却无从下手的同学。
编译原理复习题库
热门推荐
qq_44111805的博客
11-10 1万+
编译原理复习题（含答案）
06-14
编译原理第三版复习题（含部分答案），是老师给的复习题，对学习编译原理绝对有帮助
编译原理答案！！！！！！！！！！！
01-02
《编译原理》一书是计算机科学领域的重要教材，主要探讨了如何将高级程序设计语言转化为机器可执行的指令。本题涉及的知识点包括编译器的构造过程，特别是词法分析和语法分析两个阶段。 1. **词法分析**： - 词法...
CentOS 6.2编译安装LAMP最详细教程！
04-30
CentOS 6.2编译安装LAMP最详细教程！
编译原理复习试卷
12-20
里面共有4套编译原理试卷，希望能对大家考试有帮助！
2021年编译原理复习题考试.pdf
10-29
2021年编译原理复习题考试.pdf
编译原理题目练习_含答案
06-26
编译原理练习题，附带答案。题目为英文，答案在文件附带的图片中。
编译原理考试试题及答案
05-07
一、问答题(共2小题，每小题10分) （题分 20分） 1．设G=(VN，VT，P，S)是上下文无关文法，产生式集合P中任意一个产生式应具有什么样的形式？若G是正则文法呢？ 2．何谓二义性文法？试举一例说明。 二、名词解释题(共5小题，每小题4分) （题分 20分） 得分 1．语法分析 2．自顶向下的分析方法 3．句柄 4．LR分析 5．上下文无关文法 三、应用题(共2小题，每小题10分) （题分 20分） 得分 1． 构造下列正则表达式的确定性的有限状态自动机。 aba(a|b)*a 2．写出下列表达式的三地址形式的中间表示： 5+6  (a + b)
编译原理课件!!!!!!!!!!!!!
11-04
《编译原理》是计算机科学领域的一门重要课程，它主要研究如何将高级程序设计语言转化为机器可执行的指令。这门课程的核心是编译器的设计与实现，涉及到词法分析、语法分析、语义分析、优化以及目标代码生成等多个...
编译原理总结，看这一篇就够了！.txt
05-16
编译原理总结，看这一篇就够了！编译原理总结，看这一篇就够了！编译原理总结，看这一篇就够了！编译原理总结，看这一篇就够了！编译原理总结，看这一篇就够了！编译原理总结，看这一篇就够了！编译原理总结，看这一...
编译原理期末考试编译原理总结，看这一篇就够了！
05-14
编译原理期末考试编译原理总结，看这一篇就够了！
F!中间语言设计与安全编译应用探索
6. **PCC和TAL**：PCC（Purely Computational Concepts）和TAL（Typed Assembly Language）是两种用于表示安全条件的技术，它们在编译过程中维护类型信息，确保编译器的正确性。 7. **FLINT和TILT**：FLINT和TILT是...
评论 5
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

时光诺言

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值