大题题型:

词法分析:

  • DFA化简
  • NFA->DFA
  • 正则表达式<--->自动机

编译原理复习笔记

image-20250513134720348

绪论

编译程序也叫编译器,是一种具有翻译功能的程序,其作用是将某种高级语言编写的程序翻译成语义等价的低级语言程序。

image-20250513135934992

解释程序: 其作用是将源程序逐条语句地翻译成目标指令序列,并且是边翻译边执行,当翻译完成时,目标程序的执行也随之完成。可见,解释程序不会生成目标程序

转换方式: 编译程序的开发代价是很昂贵的。 在已有A语言的编译程序的前提下,若想为B语言开发编译程序,可首先考虑能否利用A语言的编译程序。即首先将B语言程序转换成等价的A语言程序,然后再利用A语言的编译程序将其翻译成目标程序。

image-20250513140318774

高级语言的翻译程序称为编译程序(Compiler)或解释程序(Interpreter),对应的实现方式分别为编译方式或解释方式。偶尔还会采用转换方式。

image-20250513140144243

编译程序的逻辑结构

image-20250513140412414

词法分析识别由字符组成的高级语言程序中的单词,并将其转化成一种内部表示(Token)的形式,同时检查是否存在词法错误。

image-20250513140919335

语法分析:根据语言定义的语法规则来检验程序中是否存在语法错误

image-20250513141041210

语义分析:检查源程序有无语义错误,为代码生成阶段收集类型信息。

image-20250513141136272

中间代码生成: 将源程序转换成一种称为中间代码的内部表示形式,便于优化和移植。

不是编译程序的必经阶段!不考虑优化和移植时,可以不生成中间代码直接生成目标代码

image-20250513141223712

中间代码优化:变换或改造中间代码,使生成的目标代码更为高效,即节省时间和空间。程序算法的高效无关,更多的是针对于程序具体运行时的内部优化,尤其针对有特殊要求的编译器。

不是编译程序的必经阶段,当对目标代码的运行效率要求较高时,才考虑进行中间代码的优化,优化要付出代价,优化时要考虑性价比。

image-20250513141341634

目标代码生成:中间代码变换为特定机器上的机器指令代码汇编指令代码

image-20250513141417130

此外,编译过程还有两部分工作贯穿始终:

错误处理:当编译阶段有错误出现时,由相应的错误处理模块给出解决方案,使得编译器能够继续进行下去。

表格管理:为了合理的管理(构造、查找、更新……)表格(符号表、类型信息表……),设立一些专门子程序称为表格管理程序。

image-20250513141520236

编译程序的开发

  1. 用机器语言编写编译程序

  2. 自展法

    image-20250513141722453
  3. 移植法

    image-20250513141739991
  4. 转换法(预处理法):C++

  5. 自动生成(工具法):利用Flex, Yacc,LLGen, Bison等工具自动生成词法分析器、语法分析器,从而减少编译程序开发的工作量

编译程序的分遍

所谓“遍”就是对源程序或源程序的中间表示形式从头到尾扫描一次,并作加工处理,生成新的中间结果或目标程序

分遍就是对源程序或源程序的中间表示形式从头到尾扫描几次

词法分析

词法分析程序,是编译程序的一部分,是整个编译过程的第一步工作。

作用: 分离单词--->生成Token------>检查词法错误

  1. 扫描源程序的字符序列
  2. 按照源语言的词法规则识别出各类单词
  3. 产生用于语法分析的Token序列
  4. 词法错误检查

单词: 是具有独立含义的最小的语义单位.(抽象的)

Token: 单词的具体表示(具体的--数据结构)

  • Token中应包含的信息没有统一的规定,可有不同的设计
  • 通常包含两类信息<单词类别,单词内容> 或者<行号,单词类别,单词内容>
image-20250513143223927

工作过程

在词法分析之前,编译器要进行编译预处理工作:宏替换,文件包含,条件编译

image-20250513143316944

单词类型

image-20250513143344232

保留字: 保留字一般是由语言系统自身定义的,通常是由字母组成的字符串。如C语言中的int, if, for, do等等。保留字在语言中具有特定的意义,是编译程序识别各类语法成分的依据

标识符: 用来标识程序中各个对象的名称.通常它们由用户定义,用来表示变量名、常量名、数组名、函数名和结构体域名等

常量: 主要包括整型常量、实型常量、字符常量、字符串常量、布尔类型常量等。

特殊符号: 包括运算符、界限符和控制符(格式符)。

image-20250513143943479

单词的描述与识别

  • 正则表达式(描述单词)
  • 自动机 (识别、描述单词)

正则表达式

基本概念

  • 字母表:字母表是元素的非空有穷集合,字母表中的一个元素称为该字母表的一个字母(letter) ,也可叫做符号(symbol)或者字符(character)。
    • 字母表有时也称为符号表,通常用∑ 表示。
    • image-20250513144608593
  • 符号串:由字母表中的符号组成的任何有穷序列称为字母表上的符号串。一般用\(\alpha, \beta,...,x,y,z\)表示
    • \(\epsilon\)表示空串。 对任一字母表∑ ,都有\(\epsilon\)是∑ 上的符号串
  • 符号串连接:设\(\alpha\)\(\beta\)均是字母表∑ 上的符号串, \(\alpha\)\(\beta\)的连接是\(\beta\)的所有符号顺次地接在\(\alpha\)的所有符号之后所得到的符号串。记为: \(\alpha \cdot \beta\)\(\cdot\)可省略,即\(\alpha \beta\)
  • 符号串的方幂:设\(\alpha\)是字母表∑ 上的符号串,\(\alpha\)自身连接n次得到的符号串\(\alpha\alpha\alpha \cdots \alpha\) (n个\(\alpha\)) ,称作符号串\(\alpha\)的n次幂,记作 \(\alpha ^{n}\) 。 特别的:\(\alpha ^{0} = \epsilon\)
  • 符号串集合:若集合A中的所有元素都是某字母表∑ 上的符号串,则称A为该字母表上的符号串集合。一般用A,B,C表示。
    • 注意:空集∅不等于空串集\(\{\epsilon \}\)
  • 符号串集的乘积: 设A、 B 是两个符号串集合, AB表示A与B的乘积,具体定义为:AB = { xy | ( x∈A ) ∧ ( y∈B )}
    • AB!=BA
    • ∅A = A∅ = ∅, 其中∅表示空集
    • \(\{\epsilon \}\)A = A\(\{\epsilon \}\) = A
  • 符号串集合的方幂:设A为符号串的集合, 则称\(A^{i}\)为符号串集A的方幂。 具体定义如下:
    • \(A^{0}=\{\epsilon\}\)
    • \(A^{1}=A\)
    • \(A^{2}=AA\)
    • \(A^{n}=AAAA\cdots A\)(n个)
  • 符号串集合的正闭包\(A^{+}\):设A是符号串集合,则称\(A^{+}\)是符号串集合A的正闭包 $A{+}=A1∪A2∪A3 …∪A^n… $
  • 符号串集合的星闭包\(A^*\):设A是符号串集合,则称A*是符号串集合A的星闭包 A*$=A0∪A1∪A2∪A3 …∪A^n… $
    • A* = \(A^0\)\(A^+\)

正则表达式的定义

image-20250514101814150
  • 正则表达式的语义函数:给正则表达式赋予一种语义解释的函数。
  • 不同的语义解释会使得正则表达式具有不同的语义,其操作结果也会不同。
  • 在词法分析中,为了用正则表达式描述单词,我们用语义函数为正则表达式和字符串集合建立一种映射关系,使得正则表达式的语义被解释成字符串集合。
  • 在词法分析中,正则表达式e根据语义函数解释所得到的符号串集合称为正则表达式e的正则集。
image-20250514102612669
image-20250514102646979
image-20250514102843482

局限性

image-20250514103003382

DFA确定有限自动机

image-20250514103305251

确定性的体现

  1. 初始状态唯一
  2. 状态转换函数f是一个单值函数,也就是说,对任何状态S和输入符号a,f(S,a)唯一地确定了下一个状态,即至多确定一个状态
  3. 转换边上不能标\(\epsilon\)不接受没有任何输入就进行状态转换的情况
image-20250514103530831

DFA的表示——状态转换矩阵

image-20250514103601807
image-20250514103628721

DFA的表示——状态转换图

用有向图表示自动机

image-20250514103728940
image-20250514103738424
image-20250514103754671
image-20250514103840361

DFA接受的串

image-20250514104506827
image-20250514104617857

自动机的实现

  • 直接转换法 :每个状态对应一个带标号的switch语句,转向边对应goto语句。
  • 状态转换矩阵 :自动机存储在矩阵中,状态比较多,每次都去查表,跳转
image-20250514104714771
image-20250514104725603
image-20250514105024072

自动机等价

对于两个DFA \(M_1\)\(M_2\),若有L(M1)=L(M2)则称M1和M2等价

image-20250514105216221

NFA