编译原理期末补漏知识点 ing

七白白吖

已于 2023-12-25 09:06:46 修改

阅读量489

点赞数 6

文章标签：笔记算法

于 2023-12-24 15:48:27 首次发布

本文链接：https://blog.csdn.net/weixin_74804051/article/details/135182706

版权

编译原理期末补漏知识点

LL（1）文法的明显性质——没有公共左因子、不是二义的、不含左递归

第一个L代表从左向右地扫描输入、第二个L表示产生最左推导
LR（k）分析技术，L是指从左向右扫描输入，R是指构造最右推导的逆，k是指在决定分析动作时向前查看的符号个数，k省略时，表示k是1
指令的代价

（1）指令MOV R0，R1 把寄存器R0的内容复写到寄存器R1，这系指令的代价是,1，因为他仅占1个字的内存。
（2）指令MOV RS、M把资存器R5的内容复写到内存单元M。这条指令的代价是2，因为内存单元的地址M存于指令的第二个字中。
（3）指令ADD #I，R3把常数1加到寄存器R3的内容上。这条指令的代价是2.因为常数1出现在指令的第二个字中。
（4）指令SUB 4（RO），*12（RI）把值contents(contens(12+contens(RI)))-contents(4+contents（RO））存入目的地址 *12（R1）。这条指令的代价是3，因为常量4和12存于指令的第二个和第三个字中。

结构等价和名字等价

如果类型表达式仅由类型构型构造符作用于基本类型组成,则两个类型表达式等价的自然想法是结构等价,即两个表达式要么是同样的基本类型,要么是同样的类型构造符作用于结构等价的类型。也就是,两个类型表达式结构等价,当且仅当它们完全相同。

当名字允许出现在类型表达式中时,类型等价的两种不同概念出现了,它们取决于如何看待名字
按结构等价的观点,先把两个类型表达式中所有的类型名字用它们定义的类型表达式代换,完成代换后的两个类型表达式结构等价的话,则认为原来的两个类型表达式结构等价。

按名字等价的观点,不同的类型名看成不同的类型,因此两个类型表达式名字等价当且仅当这两个类型表达式不做名字代换就结构等价。

活前缀的有效项目集，就是当栈内的符号是这个活前缀的时候，可能运用的下一步的最左规约的规则。

一个活前缀可能有多个有效项目
术语状态表示将存储单元映射到它所保存值的函数，赋值改变状态（对）
术语环境表示将名字映射到存储单元的函数，赋值改变环境。（错）
静态单赋值形式（SSA）中部分赋值指令是对相同名字变量赋值（错）

在静态单赋值形式（SSA）中，每个变量在其生命周期内确实只被赋值一次，但这并不意味着每个变量的每个赋值都会对相同的变量名进行。相反，SSA会引入新的变量名或者使用一些特殊的命名规则，以确保每个赋值都有一个唯一的名字，且每个变量名只对应一个定义点。

LL文法预测表的构造

LL（1）分析过程的书写栈

预测翻译器

汇编代码的书写

过程调用时，活动记录被压入运行栈，由栈底至栈顶的内容分别是返回值和参数、控制链和保存的机器状态、临时数据和局部数据
自底向上的语法分析方法的关键问题是如何判定句柄
下面关于基本块的描述

A. 基本块是一个连续的三地址语句序列

B. 控制流从基本块的开始进入

C. 基本块可作为流图的结点

编译器各阶段之间的中间表示需显式构造。 (错)

不同的编译器可能选择在不同的阶段引入中间表示，或者干脆避免使用中间表示。这种选择取决于编译器设计者的偏好、目标和优化策略。因此，强调“必须在各个阶段显式构造中间表示”是不准确的。

词法分析的主要任务是扫描输入词法记号流，产生用于语法分析的字符序列 (错)

词法分析的主要任务是扫描输入的字符流，识别并产生用于语法分析的词法记号流

通过重写文法一定可以消除二义性（错）

通过重写文法，并不一定能够完全消除文法中的二义性。有些文法可能具有固有的二义性，需要采用其他方法来处理。

文法的活前缀是它的左句型的前缀(错)

右句型的前缀，而且其不含句柄之后的任何符号，之前的可以，所以找到句柄是关键。

“枚举类型的元素不能重复”属于类型检查相关的内容。（错）

是属于静态语义分析中的唯一性检查（uniqueness checks），可参考博主“运行环境”文章最后一段

类型检查是语义分析的一个部分
复写传播可能会引起其他的优化机会。（对）

文法的分类

由0型文法生成的语言L(G)称为0型语言，也叫短语结构语言(PSL Phrase Structure Language**)或递归可枚举集**(recursively enumerable set)。它可由图灵机识别。

由1型文法产生的语言L(G)称为1型语言或上下文有关语言CSL(CSL Context Sensitivie Language)。它可由线性限界自动机识别。

由2型文法产生的语言L(G)称为2型语言或上下文无关语言CFL(CSL Context Free Language)。它可由下推自动机识别。

由3型文法产生的语言L(G)称为3型语言或正则语言(RL Regular Language**)或者正规语言**。它可由有限自动机识别。右线性文法和左线性文法属于3型文法的一部分