编译原理：期末总复习

Continue丶

已于 2022-07-18 11:04:42 修改

阅读量2.4w

收藏 1.1k

点赞数 146

分类专栏：经验总结文章标签：前端

于 2021-07-05 01:31:27 首次发布

本文链接：https://blog.csdn.net/qq_43522998/article/details/118466344

版权

经验总结专栏收录该内容

5 篇文章 4 订阅

订阅专栏

本文深入探讨了编译程序的结构与过程，包括词法分析的任务、语法分析的类型以及文法的形式定义。重点介绍了上下文无关文法、正规式和有穷自动机的概念，同时讲解了自顶向下和自底向上的语法分析方法，如LL(1)和算符优先分析。此外，还涉及了文法的实际应用限制和转换技巧。

摘要由CSDN通过智能技术生成

🔍文中如有不对，欢迎讨论

第1章：引论

1.1 什么是编译程序

一个编译程序就是一个语言翻译程序

判断题：编译程序就是解释程序（❌）

编译程序与解释程序的异同
相同点：都是进行翻译
不同点：
编译程序进行整体翻译
解释程序进行逐条翻译

1.2 编译过程和编译程序的结构

1.2.1 编译过程概述

在这里插入图片描述
1.词法分析
任务：从左到右一个字符一个字符地读入源程序，对构成源程序的字符流进行扫描和分解，从而识别出一个个单词。

2.语法分析
任务:在词法分析的基础上将单词序列分解成各类语法短语

1.2.2 编译程序的结构

在这里插入图片描述

❌出错处理主要的三个错误
词法错误
语法错误
语义错误

表格管理程序
负责收集记录查询编译当中所缺的信息，像常量表、符号表、数组信息表。

1.2.3 编译阶段的组合

有时把编译的过程分为前端和后端

	阶段
前端	词法分析、语法分析、语义分析、中间代码生成阶段
后端	目标代码生成、相关出错处理、符号表操作

第2章：文法和语言

2.2 符号和字符串

🟩选择题、填空题
1）符号串的头尾，固有头和固有尾
如果z=xy是一符号串，那么x是z的头，y是z的尾，如果x是非空的，那么y是固有尾，如果y是非空的，那么x是固有头

2）符号串的连接：设x和y是字符串，它们的连接xy是把y的符号写在x的符号之后得到的符号串
如：X=ST,y=abu，则xy=STabu

3）符号串的方幂
设x是符号串，把x自身连接n次得到符号串z，即z=xx…xx，称为符号串x的方幂

4）符号串集合
若集合A中的一切元素都是以某字母表上的符号串，则称A为该字母表上的符号串集合。形成语言或正规式的形式

2.3 文法和语言的形式定义

🟢必考点名词解释：1.文法的概念
文法G定义为四元组（VN,VT,P,S）

🟢2.直接推导、推导的定义
直接推导：从字符串A到B只使用了一次规则，A=>B即直接推导
推导： 存在一个直接推导序列，即A=>B=>C=>D=>…=>Z，则A=>+Z表示从A出发，经过1步或若干步直接推导可推出Z。

🟢3.句型、句子的定义
句型： G[S]是一个文法，如果符号串x是从识别符号推导出来的，即S=>x，则称x是文法G[S]的句型。
句子： 若x仅由终结符号组成，则成为G[S]的句子

4.文法描述的语言是该文法一切句子的集合

5.文法的等价性
观察两个文法所描述的语言是否相同
若L(G1)=L(G2)，则称文法G1和G2等价

2.4文法的类型

🟨选择题：如0型文法又叫什么文法？
0型文法，也称短语文法

设G为一个文法，如果它的每个产生式a->b，满足a、b是非终结符VN和终结符VT的闭包集合（包含空串），且a中至少有一个非终结符，则称G是一个0型文法

做限制条件：
1.使产生式右边长度大于等于左边，除了空字外
得到1型文法，又叫上下文有关的

2.a是一个非终结符
得到2型文法，又叫上下文无关的

3.产生式的形式都是A->aB或A->a，其中A，B都是非终结符
得到3型文法，又叫正规文法

2.5 上下文无关文法及语法树

🌲语法树：描述上下文无关文法（2型文法）的句型推导的直观工具，也叫推导树

🎈最左(右)推导：在推导任何一步a=>b，其中a，b是句型，都是对a中的最左（右）非终结符进行替换
注：
最右推导常被称为规范推导
规范推导的逆过程,称为最左归约,也称为规范归约

💊二义性：一个文法存在某个句子对应两颗不同的语法树，或者说，一个文法中存在某个句子，它有两个不同的最左（右）推导

2.6 句型的分析

2.6.1 自顶向下的分析方法（推导过程）

如：
LL(1)分析法
递归下降分析法

2.6.2 自底向上的分析方法（规约过程）

简单优先分析法
算符优先分析法
优先函数
LR分析法

2.6.3 句型分析的有关问题

回溯：从各种可能的选择随机挑选一种，如果发现它是错误的，必须退回去重新选择

🟢必考点（名词解释或综合题）：短语、直接短语、句柄
名词解释

在这里插入图片描述
综合题案例

(1)串abbaa最左推导:
S=>ABS=>aBS=>aSBBS=>aBBS=>abBS=>abbS=>abbAa=>abbaa
最右推导：
S=>ABS=>ABAa=>ABaa=>ASBBaa=>ASBbaa=>ASbbaa=>Abbaa=>abbaa
(2)产生式有：
S→ABS|Aa|ε
A→a
B→SBB|b
可能元素有：εaa ab abbaa aaabbaa……
(3)该句子的短语有：
a是相对A的短语
b是相对B的短语
bb是相对B的短语
aa是相对S的短语
abbaa是相对S的短语
直接短语有：a b
句柄是：a