编译原理MOOC笔记

悠悠 2021-09-24 01:10 1476阅读 0赞

### 编译原理笔记 ###

*  正规文法和正规式
 *  词法分析
 *   *  前端
     *  词法分析器的任务
     *  词法分析器的实现方法
     *  正则表达式
     *  有限状态自动机
     *  正则表达式到非确定有限状态自动机
 *  语法分析
 *   *  自上而下的语法分析
     *   *  直接左递归的消除
         *  间接左递归的消除
         *  消除回溯
         *  递归下降子程序
         *  预测分析程序
     *  自下而上分析
     *   *  过程：
         *  基本思想：
         *  短语和直接短语
         *  （算符文法）算符优先分析方法：
         *   *  构造优先关系表的算法——FIRSTVT和LASTVT集合
         *  句柄和规范归约(LR分析法)
         *   *  活前缀
             *  识别活前缀
             *  通过计算项目集规范族构造识别活前缀的DFA
             *  (从DFA)构造LR(0)分析表
             *  一个非LR(0)文法
             *  SLR(1)分析法
             *  SLR(1)分析表的构造
             *  一个非SLR(1)文法
             *  LR(1)分析表的构造
 *  语义分析与中间代码生成器
 *   *  属性文法
     *  属性依赖（带注释的语法树）
     *  带注释的语法树
     *  依赖图
     *  树遍历
     *  一遍扫描
     *  S属性文法
     *  L属性文法
     *  翻译模式
     *  语义动作执行时机统一
     *  消除翻译模式中的左递归
     *  递归下降翻译器的设计
 *  语音分析和中间代码生成
 *   *  中间语言的特点与运用
     *  赋值语句的翻译
     *   *  简单算术表达式及赋值语句
         *  赋值语句的翻译模式：
         *  数组元素的引用
         *  产生有关类型转换的指令
     *  布尔表达式及其计算
     *   *  带优化的翻译法

# 正规文法和正规式 #

正规式即正则表达式

正规文法为左线性或右线性文法

[正规式和正规文法的定义][Link 1]

[正规式转换为正规文法][Link 2]

[正规文法转换为正规式][Link 3]

# 词法分析 #

源程序 -> 前端 -> 中间表示 -> 后端 -> 目标程序

## 前端 ##

源程序 -> **词法分析器 -> 记号 -> 语法分析器 -> 抽象语法树 -> 语义分析器** \-> 中间表示

## 词法分析器的任务 ##

任务：字符流到记号流

字符流：和被编译的语言密切相关（ASCII，Unicode，or…）  
记号流：编译器内部定义的数据结构，编码所识别出的词法单元

## 词法分析器的实现方法 ##

1.  手工编码实现法  
    相对复杂、且容易出错，但是是非常流行的实现方法（现在的编译器如GCC和LLVM就是手工编码）
2.  词法分析器的生成器  
    快速、代码量少，但是难以控制细节

## 正则表达式 ##

给定字符集  ∑ = c 1 , c 2 , . . . , c n \\sum=\{c\_1,c\_2,...,c\_n\} ∑=c1,c2,...,cn  
归纳定义：  
1. 空串  ϵ \\epsilon ϵ 是正则表达式  
2. 对于任意  c ∈ ∑ c\\in\\sum c∈∑, c是正则表达式  
3. 如果M和N是正则表达式，则以下也是正则表达式  
选择  M ∣ N = \{ M , N \} M | N= \\\{M, N\\\} M∣N=\{ M,N\}  
连接  M N = \{ m n ∣ m ∈ M , n ∈ N \} MN = \\\{mn | m\\in M,n \\in N \\\} MN=\{ mn∣m∈M,n∈N\}  
闭包  M ∗ = \{ ϵ , M , M M , M M M , . . . \} M\*=\\\{\\epsilon , M , MM, MMM, ...\\\} M∗=\{ ϵ,M,MM,MMM,...\}

## 有限状态自动机 ##

自动机=\{待补充\}

字符串分为 可被自动机接受的字符串 和 不可被自动机接受的字符串

可被自动机接受：可达到结束状态  
不可被自动机接受：不可达到结束状态

确定的有限状态自动机：对任意字符，最多有一个状态可以转移  
不确定的有限状态自动机：对任意的字符，有多于一个状态可以转移

## 正则表达式到非确定有限状态自动机 ##

词法分析器自动生成的过程：

R E （ 正 则 表 达 式 ） → T h o m p s o n 算 法 N F A → 子 集 构 造 算 法 D F A → H o p c r o f t 最 小 化 算 法 词 法 分 析 器 代 码 RE（正则表达式） \\xrightarrow\[\]\{Thompson算法\} NFA \\xrightarrow\[\]\{子集构造算法\} DFA \\xrightarrow\[\]\{Hopcroft最小化算法\} 词法分析器代码 RE（正则表达式）Thompson算法NFA子集构造算法DFAHopcroft最小化算法词法分析器代码

*  RE -> NFA （正则表达式到非有限状态的自动机）: Thompson 算法  
    基于对RE的结构做归纳  
    – 对基本的RE直接构造  
    – 对符合的RE递归构造

转换的方法如下：  
![RE2NFA][]

*  NFA -> DFA：子集构造算法  
    ![子集构造算法][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70]  
    上面的D\[q,c\]表示在状态q下，经过字符c能达到的状态
    
    时间复杂度：最坏 O ( 2 N ) O(2^N) O(2N)，N为结点个数  
    假如有N个结点，那么状态集合Q最多有  2 N 2^N 2N 个状态
 *  DFA -> 词法分析器代码：Hopcroft算法（最小化DFA）、DFA的代码表示  
    ![Hopcroft算法][Hopcroft]  
    Hopcroft算法可以最小化DFA  
    上面算法中的N,A分别代表非终止节点和终止节点。  
    判断一个字符能否划分等价类，就是看这个字符是否能把一个等价类中的节点转换到该等价类之外的节点（但是如果该字符把该集合内所有节点都转化到该等价类之外的相同节点，那么就停止划分）  
    例子：  
    ![Hopcraft算法例子][Hopcraft]
 *  DFA的代码表示  
    – 转移表（类似于邻接矩阵）  
    – 哈希表  
    – 跳转表

![转移表的实现][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 1]

![跳转表][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 2]

# 语法分析 #

**上下文无关文法**可以用来描述语法规则

语法分析的任务：分析一个文法的句子结构

语法分析器的**功能**：  
按照文法的产生式（语言的语法规则），识别输入符号串是否为一个句子 （合式程序）

语法分析的方法：**自上而下**、**自下而上**

## 自上而下的语法分析 ##

构造**不带回溯**的自上而下分析的文法**条件**  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 3]

构造不带回溯的自上而下分析算法的**步骤**：

1.  消除文法的左递归
2.  提取左公共因子，克服回溯

LL(1)文法的条件： 需计算FIRST，FOLLOW集合

### 直接左递归的消除 ###

![直接左递归的消除][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 4]

### 间接左递归的消除 ###

间接左递归的情况：  
![间接左递归的消除][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 5]  
一个文法消除左递归的条件：  
![文法消除左递归的条件][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 6]  
消除间接左递归的算法：  
![消除间接左递归][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 7]  
例子:  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 8]

### 消除回溯 ###

FIRST集合及其构造：  
![FIRST集合][FIRST]  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 9]  
FOLLOW集合：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 10]

使得所有非终结符的候选首符集两两不相交的做法：提取左公共因子  
![提取左公共因子][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 11]  
LL1分析法：  
![LL1分析法][LL1]

### 递归下降子程序 ###

![递归下降子程序][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 12]

### 预测分析程序 ###

预测分析程序的三个组成部分：

1.  总控程序：根据现行栈顶符号和当前输入符号，执行动作
2.  分析表  M \[ A , a \] M\[A,a\] M\[A,a\] 矩阵， A ∈ V N A \\in V\_N A∈VN,  a ∈ V T a \\in V\_T a∈VT是终结符或 ‘\#’
3.  分析栈STACK用于存放文法符号  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 13]

分析开始时分析栈中只有文法的开始符号S  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 14]  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 15]

构造预测分析表：![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 16]

**注意**：

1.  如果G是左递归或**二义的**，那么， **M至少含有一个多重定义入口**。因此，消除左递归和提取左因子将有助于获得无多重定义的分析表M。
2.  y一个文法G的预测分析表M不含多重定义入口，当且仅当该文法为LL(1)的。

LL(1)文法不是二义的

## 自下而上分析 ##

### 过程： ###

*  从输入串开始，逐步进行归约，直到文法的开始符号
 *  归约：根据文法的产生式规则，把串中出现的产生式的右部替换成左部符号
 *  从树叶节点开始，构造语法树
 *  算符优先分析法、LR分析法（这两个是自下而上的分析方法）

### 基本思想： ###

*  采用**移进-归约**的思想进行自下而上分析  
    （这里的移进指的是移进栈里）
 *  用一个寄存符号的先进后出栈，把输入符号一个一个地移进到栈里，当栈顶形成某个产生式地候选式时，即把栈顶地这一部分替换成（归约为）该产生式的左部符号

核心问题：

*  识别可归约串  
    （可归约串是短语）

### 短语和直接短语 ###

**短语**的定义：  
令G是一个文法，S是文法的开始符号，假定 α β δ \\alpha\\beta\\delta αβδ是文法G的一个句型，如果有  
 S ⇒ ∗ α A δ ， 且 A ⇒ + β S \\stackrel\{\*\}\{\\Rightarrow\}\\alpha A \\delta ，且 A\\stackrel\{+\}\{\\Rightarrow\}\\beta S⇒∗αAδ，且A⇒\+β  
则称  β \\beta β 是句型  α β δ \\alpha\\beta\\delta αβδ 相对于非终结符A的短语  
如果有 A ⇒ β A\\Rightarrow\\beta A⇒β，则称 β \\beta β是句型 α β δ \\alpha \\beta \\delta αβδ 相对于规则  A ⇒ β A \\Rightarrow \\beta A⇒β的直接短语

**判断短语和直接短语**的例子：  
![短语和直接短语][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 17]

### （算符文法）算符优先分析方法： ###

**算符优先分析法：**

*  按照算符的优先关系和结合性质进行语法分析
 *  适合分析表达式

任何两个可能相继出现的终结符a与b可能**三种优先关系**

1.   a ⋖ b a \\lessdot b a⋖b a的优先级低于b
2.   a ≖ b a \\eqcirc b a≖b a的优先级低于b
3.   a ⋗ b a \\gtrdot b a⋗b a的优先级高于b  
    注意：算符优先关系与数学上的<、>、=不同  
    例如：  
     a ⋖ b a \\lessdot b a⋖b 并不意味着  b ⋗ a b \\gtrdot a b⋗a

**算符文法：**  
一个文法，如果它的任一产生式的右部都不含两个相继（并列）的非终结符，即不含…QR…形式的产生式右部，则我们称该文法为算符文法

**算法优先文法：**  
![算符文法的定义][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 18]

#### 构造优先关系表的算法——FIRSTVT和LASTVT集合 ####

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 19]  
构造FIRSTVT§的算法：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 20]  
算法的实现：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 21]  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 22]

对应的，我们有构造LASTVT§的算法：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 23]  
**构造优先关系表：**  
![构造优先关系表的算法][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 24]  
算符优先分析算法：  
一个文法G的句型的**素短语**是指这样一个短语，它至少包含一个终结符，并且，除它自身之外不再含任何更小的素短语  
**最左素短语**是指处于句型最左边的那个素短语

最左素短语和素短语的识别：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 25]

最左素短语定理：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 26]

算符优先分析算法的结果不一定是语法树

算符优先分析法  
缺点：可能错误接受非法句子  
优点：简单、快速

### 句柄和规范归约(LR分析法) ###

规范归约：**句柄作为可归约串**  
L：从左到右扫描输入串  
R：自下而上进行归约

句柄的定义：一个句型的最左直接短语  
句型：推导过程中产生的产生式  
句子：只有终结符的句型为句子  
[句子和句型的区别][Link 4]  
![句柄][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 27]  
用句柄进行归约：  
![句柄归约][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 28]  
规范归约的定义：（即使用句柄进行归约）  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 29]

**规范句型**：

*  规范归约是最左归约
 *  规范归约的逆过程就是最右推导  
     S ⇒ a A c B e ⇒ a A c d e ⇒ a A b c d e ⇒ a b b c d e S\\Rightarrow aAcBe \\Rightarrow aAcde \\Rightarrow aAbcde \\Rightarrow abbcde S⇒aAcBe⇒aAcde⇒aAbcde⇒abbcde
 *  最右推导也称为规范推导
 *  由规范推导推出的句型称为规范句型

规范归约的**关键**：寻找句柄

LR分析法的核心：**LR分析表**  
LR分析表包含：

*   A C T I O N \[ s , a \] ACTION\[s,a\] ACTION\[s,a\] 和  G O T O \[ s , X \] GOTO\[s, X\] GOTO\[s,X\]
 *   G O T O \[ s , X \] GOTO\[s,X\] GOTO\[s,X\] 是在归约之后使用的  
    ![在LR分析表][LR]

LR分析表包含四个动作：**移进**和**归约**和**接受**和**报错**  
![移进][20200531124941847.png]  
![归约][20200531124956906.png]

![接受][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 30]  
![报错][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 31]

**LR文法**的定义：  
对于一个文法，如果能够构造一张分析表，使得它的每个入口均是唯一确定的，则这个文法就称为**LR文法**

**LR(k)** 文法的定义：  
一个文法，如果能用一个每步顶多向前检查k个输入符号的LR分析器进行分析，则这个文法就称为**LR(k)** 文法

规范归约过程中：

*  栈内符号串和扫描剩下的输入符号串构成了一个规范句型
 *  栈内的如果出现句柄，句柄一定在栈的顶部
 *  栈内永远不会出现句柄之后的符号

#### 活前缀 ####

字的前缀、活前缀：

*  **字的前缀**：是指字的任意首部，如字abc的前缀有  ϵ , a , a b , a b c \\epsilon, a, ab, abc ϵ,a,ab,abc
 *  **活前缀**：**是指规范句型的一个前缀**， 这种前缀不含句柄之后的任何符号。即，对于规范句型 α β δ \\alpha \\beta \\delta αβδ， β \\beta β 为句柄，如果 α β = u 1 u 2 . . . u r \\alpha \\beta = u\_1u\_2...u\_r αβ=u1u2...ur，则符号串 u 1 u 2 . . . u i ( 1 < = i < = r u\_1u\_2...u\_i (1<=i <=r u1u2...ui(1<=i<=r是 α β δ \\alpha \\beta \\delta αβδ的或前缀 （ δ \\delta δ必为终结符串）
 *  规范归约过程中，保证分析栈中总是活前缀，就说明分析采取的移进/归约动作是正确的

#### 识别活前缀 ####

拓广文法：  
![拓广文法][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 32]

**LR(0)项目：**  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 33]

构造识别文法所有活前缀的DFA  
（项目 -> NFA -> DFA）

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 34]  
![识别活前缀的NFA][NFA]  
![识别活前缀的DFA][DFA]

LR(0)项目集（项目集就是状态的意思）规范族：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 35]

#### 通过计算项目集规范族构造识别活前缀的DFA ####

有效项目  
![有效项目][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 36]  
有效项目的性质  
![有效项目的性质][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 37]

**项目集的闭包**CLOSURE：  
假定I是文法 G ′ G' G′的任一项目集，定义和构造I的闭包CLOSURE(I)如下：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 38]

项目集的转移函数

项目集的转移函数的计算：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 39]

LR(0)项目集规范族的构造算法  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 40]

相中构造识别活前缀的DFA的方法：

1.  项目 -> NFA -> DFA
2.  closure -> GO -> DFA

#### (从DFA)构造LR(0)分析表 ####

**LR(0)文法**：  
![LR(0)分析表的构造][LR_0]

LR(0)分析表的ACTION和GOTO子表构造  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 41]  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 42]

在规范归约过程中，只要保证分析栈中总是活前缀，就说明分析采取的移进/归约动作是正确的

#### 一个非LR(0)文法 ####

一个非LR(0)文法：例如含有“移进-归约”冲突的项目

#### SLR(1)分析法 ####

SLR(1)冲突解决办法  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 43]

SLR（1）里的1指最多向前看1个单词

#### SLR(1)分析表的构造 ####

构造SLR(1)分析表的方法：  
![构造SLR1分析表的方法][SLR1]

SLR(1) 和 LR(0) 分析表构造方法的对比(![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 44]

按上述方法构造出的ACTION与GOTO表如果不含多重入口，则称该文法为**SLR(1)文法**  
使用SLR表的分析器叫做**SLR分析器**  
每隔SLR（1）文法都是无二义的。但也存在许多无二义文法不是SLR（1）的。  
 L R ( 0 ) ⊂ S L R ( 1 ) ⊂ 无 二 义 文 法 LR(0) \\subset SLR(1) \\subset 无二义文法 LR(0)⊂SLR(1)⊂无二义文法

#### 一个非SLR(1)文法 ####

SLR冲突消解存在的问题  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 45]

#### LR(1)分析表的构造 ####

![构造LR(1)分析表的方法][LR_1]

LR(k)项目：  
![LR(k)项目][LR_k]  
有效项目的定义因此可以这样写：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 46]

有效项目的性质：  
![有效项目的性质][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 47]  
构造LR(1)项目集规范族包含两部分：

*  闭包函数CLOSURE
 *  转换函数GO

项目集的闭包CLOSURE的计算  
![项目集的闭包CLOSURE的计算][CLOSURE]  
项目集的转换函数GO  
![转换函数][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 48]  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 49]  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 50]  
LR(1)和SLR(1)分析表构造方法的对比  
![LR(1)和SLR(1)分析表构造方法的对比][LR_1_SLR_1]

LR(1)分析表的构造  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 51]

# 语义分析与中间代码生成器 #

## 属性文法 ##

**属性文法**：也称属性翻译文法  
以上下文无关文法为基础

*  为每个文法符号（终结符或非终结符）配备若干相关的“值”（称为属性），代表与文法符号相关信息，如类型、值、代码序列、符号表内容等
 *  对于文法的每个产生式都配备了一组属性的语义规则，对属性进行计算和传递

**综合属性**  
自下而上传递信息  
语法规则：根据右部候选式中的符号的属性计算左部被定义符号的综合属性  
语法树：根据子节点的属性和父结点自身的属性计算父结点的综合属性

**继承属性**：  
自上而下传递信息  
语法规则：根据右部候选式中的符号的属性和左部被定义符号的属性计算右部候选式中的符号的继承属性  
语法树：根据父结点和兄弟节点的属性计算子节点的继承属性

## 属性依赖（带注释的语法树） ##

对应于每个产生式  A − > α A->\\alpha A−>α 都有一套与之相关联的语义规则，每条规则的形式为（f是一个函数）：  
 b : = f ( c 1 , c 2 , . . . , c k ) b:=f(c\_1, c\_2, ..., c\_k) b:=f(c1,c2,...,ck)

属性b**依赖**于属性  c 1 , c 2 , . . . , c k c\_1, c\_2, ..., c\_k c1,c2,...,ck

*  b是综合属性如果b是A的属性
 *  b是继承属性，如果b是产生式右边某个文法符号的属性

终结符只有综合属性，由词法分析器提供

非终结符即可有**综合属性**也可有**继承属性**，文法开始符号的所有继承属性作为属性计算前的初始值

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 52]  
出现在**产生式左边的继承属性**和**出现在产生式右边的综合属性**不由所给的产生式的属性计算规则进行计算，由其它产生式的属性规则计算或者由属性计算器的参数提供，

翻译一下上面这段话的意思是：左边文法符号只能算综合属性，不能算继承属性，右边的文法符号只能算继承属性不能算综合属性

## 带注释的语法树 ##

在语法树中，一个节点的综合属性的值由其子结点和它本身的属性值确定

使用自底向上的方法在每一个结点处使用语义规则计算综合属性的值

仅使用综合属性的属性文法称**S - 属性文法**

语法制导翻译法：由源程序的语法结构所驱动的处理办法就是语法制导翻译法

输 入 串 − > 语 法 树 − > 按 照 语 义 规 则 计 算 属 性 输入串 -> 语法树 -> 按照语义规则计算属性 输入串−>语法树−>按照语义规则计算属性

基于属性文法的处理方法包括：

*  依赖图
 *  树遍历
 *  一遍扫描

## 依赖图 ##

在一颗语法树中的节点的继承属性和综合属性之间的相互依赖关系可以由**依赖图**（有向图）来描述

为每一个包含过程调用的语义规则引入一个**虚综合属性b**，这样把每一个语义规则都写成  
 b : = f ( c 1 , c 2 , c . . . , c k ) b:=f(c\_1, c\_2, c..., c\_k) b:=f(c1,c2,c...,ck)  
的形式

依赖图中**为每一个属性设置一个结点**，如果属性b依赖于属性c，则从属性c的结点有一条有向边连接到属性b的节点

依赖图的示例：  
![良定义的属性文法][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 53]  
良定义的属性文法：  
如果一属性文法不存在属性之间的循环依赖关系，则称该文法为**良定义的**  
一个依赖图的任何拓扑排序都给出一个语法树中结点的语义规则计算的有效顺序

属性的计算次序：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 54]

## 树遍历 ##

![树遍历][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 55]  
![树遍历][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 56]

## 一遍扫描 ##

在语法分析的同时计算属性值

语义规则被计算的时机：

*  对于自上而下分析，是在一个产生式匹配输入串成功时
 *  对于自下而上分析，是在一个产生式被用于进行归约时

抽象语法树：  
在语法树中去掉那些对翻译不必要的信息，从而获得更有效的源程序中间表示

## S属性文法 ##

S-属性文法：只含有**综合属性**

在自下而上的分析器分析输入符号串的同时计算**综合属性**

分析栈中保存语法符号和有关的综合属性值

每当进行归约时，新的语法符号的属性值就由栈中正在归约的产生式右边符号的属性值来计算  
![S-属性文法的自下而上的计算][S-]

## L属性文法 ##

与LL(1)自上而下分析方法结合

*  深度优先建立语法树
 *  按照语义规则计算属性

L-属性文法的定义：  
![L-属性文法][L-]

## 翻译模式 ##

翻译模式：给出使用语义规则进行计算的次序，把实现细节表示出来

在翻译模式中，和文法符号相关的属性和语义规则（也称语义动作），用花括号\{\}括起来，插入到产生式右部的合是位置上

设计翻译模式时，必须保证当某个动作引用一个属性时它必须是有定义的  
L-属性文法本身就能确保每个动作不会引用尚未计算出来的属性

当只需要综合属性时，为每一个语义规则建立一个包含赋值的动作，并把这个动作放在相应的产生式右边的末尾，如下所示：  
![只包含综合属性][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 57]  
建立翻译模式：  
如果既有综合属性又有继承属性，在建立翻译模式时就必须保证：  
![建立翻译模式][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 58]

## 语义动作执行时机统一 ##

把所有的语义动作都放在产生式的末尾  
![建立翻译模式][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 59]

## 消除翻译模式中的左递归 ##

![消除翻译模式中的左递归][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 60]

一般化的左递归消除：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 61]

## 递归下降翻译器的设计 ##

分析程序由一组递归子程序（函数）组成，每个非终结符对应一个子程序（函数）  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 62]  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 63]

递归下降翻译器的设计  
![递归下降翻译器的设计][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 64]

# 语音分析和中间代码生成 #

## 中间语言的特点与运用 ##

![中间语言][20200616225911121.png]  
引入中间语言的优点：

*  使编译程序的结构在逻辑上更为简单明确
 *  便于进行与机器无关的代码优化工作
 *  易于移植

常用的中间语言：

*  后缀式
 *  图表示：抽象语法树（AST）、有向无环图
 *  三地址代码：三元式、四元式、间接三元式

后缀式：  
所有操作符置于操作数后面

图表示法：  
抽象语法数（AST）  
有向无环图（DAG）

三地址代码  
![三元式][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 65]  
缺点：不易于优化，因为当需要改变式子的位置的时候，下标也要变

于是引入了方便优化的三元式

间接三元式：  
三元式表 + 间接码表  
间接码表：一张指示器表，按运算的先后次序列出有关三元式在三元式表中的位置  
![三元式表][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 66]

## 赋值语句的翻译 ##

### 简单算术表达式及赋值语句 ###

![赋值语句的形式和意义][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 67]  
  
  
赋值语句生成三地址代码的S-属性文法  
![赋值语句生成三地址代码的S-属性文法][S- 1]

![赋值语句生成三地址代码的S-属性文法][S- 2]  
发现规律：都是先制造E.place，然后制造 E.code

### 赋值语句的翻译模式： ###

产生赋值语句三地址代码的翻译模式  
![三地址代码的翻译模式][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 68]  
![三地址代码的翻译模式][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 69]  
发现规律：只对E.place进行操作，如果需要进行运算，则需要进行newtemp

### 数组元素的引用 ###

![数组元素地址计算][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 70]

![数组元素的地址计算][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 71]  
![数组元素地址计算][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 72]

### 产生有关类型转换的指令 ###

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 73]  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 74]  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 75]

## 布尔表达式及其计算 ##

### 带优化的翻译法 ###

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 76]

[Link 1]: https://blog.csdn.net/ScottWei_007/article/details/88843492
[Link 2]: https://blog.csdn.net/starter_____/article/details/89742599
[Link 3]: https://blog.csdn.net/starter_____/article/details/89740002
[RE2NFA]: /images/20210923/f0aaa9d8f8954219b1c574fa4808f49d.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70]: /images/20210923/179c3130c31b45fc9acae1c1e8bf67c8.png
[Hopcroft]: /images/20210923/aa908126f1df41399db12daccf2c7e41.png
[Hopcraft]: /images/20210923/8da96eaac34745f8aa2db55a92ff5cd2.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 1]: /images/20210923/08463b4dbd0540ccb76e02e7576bed63.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 2]: /images/20210923/c8832a95f147450aa85874fbf0a14236.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 3]: /images/20210923/31c92ae234014bc1bdfe45ea94054225.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 4]: /images/20210923/91292b241f684349b025fb9c18410e68.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 5]: /images/20210923/8f853529a8c94e3eaed77f1ddd8bf895.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 6]: /images/20210923/d94683ccefc9407da8a6b53d9d1f9029.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 7]: /images/20210923/9190474767ba4fefa0c4e8634dd203e6.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 8]: /images/20210923/4b506fd2d34e4ace8296db57d81f34f5.png
[FIRST]: /images/20210923/143c6252639c407eae59c626431b5f3c.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 9]: /images/20210923/5be365353d2e42e6a977b222745830c5.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 10]: /images/20210923/0deabf51cd3441fb8365a2d7c915aa08.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 11]: /images/20210923/78c4ffb561e64fcfadd17c2fa6b67e71.png
[LL1]: /images/20210923/c31442b451694f908121f59ff562c26b.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 12]: /images/20210923/ef283e8421294173b34ab531cacd7b9c.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 13]: /images/20210923/e5582e0d103943b295bfaf08472ae1a8.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 14]: /images/20210923/96a61ae51a0a4c39965d33324a094bc1.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 15]: /images/20210923/a7ac1dcff7ad41cfa3f8548bb66b3c8f.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 16]: /images/20210923/dcb16182dc8a4276afd78d8b99c7795f.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 17]: /images/20210923/e6ed818c2afd4d6f8bb1f362ee41b0aa.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 18]: /images/20210923/2772aa22e58141579b63e2b5f132bf49.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 19]: /images/20210923/c9ccd3e230c5418b85d33ca7e2dc1203.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 20]: /images/20210923/dd0af395e01b498c90e488e3eed1f9bd.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 21]: /images/20210923/0e8b919bdd9d4514b81964fb61953cab.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 22]: /images/20210923/5e5e77b09faa4613bf00eb5eae6a1bf8.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 23]: /images/20210923/e743985f8c594e75a69217785841284e.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 24]: /images/20210923/d80f3dfc7fe84b88b3e763bee0ae1e98.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 25]: /images/20210923/423248b95ef34b1c8542e2bb8539ac7c.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 26]: /images/20210923/40d68fc4da7347afbfac978fa439fd02.png
[Link 4]: http://blog.sina.com.cn/s/blog_7013fd8c0100mv5c.html
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 27]: /images/20210923/f926cf80db924bae8dfbeebd15226b59.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 28]: /images/20210923/f38ebac3a0cb426fa1b41f1f33e18e1c.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 29]: /images/20210923/153572f8c02d40fe848b628492baf1b3.png
[LR]: /images/20210923/fc813dc2eb8b4aaab3d7c39c2529289e.png
[20200531124941847.png]: /images/20210923/785ca14120514c0fb87abc60c1f69c16.png
[20200531124956906.png]: /images/20210923/88e7cd43a9ef470dacc45c1f340a51d2.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 30]: /images/20210923/46622b0cd93d4b1e9bf6c335d79c3ee8.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 31]: /images/20210923/533fb69388054508825f74c510936e9f.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 32]: /images/20210923/99adad91ce394a8b84074c68cf6c2ae7.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 33]: /images/20210923/5205a024251b4aacb044fb8d7066b4d8.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 34]: /images/20210923/2f283f9cfbab44439e81b1a35dd6c550.png
[NFA]: /images/20210923/d1ae1c4d5bdc46cabe42c55963064015.png
[DFA]: /images/20210923/7aaec40dd11f4161b2889e0aef30b662.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 35]: /images/20210923/4e75fe73d50e46a5817be3319dd9da37.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 36]: /images/20210923/168c3be817c74f33afbce7db0dcfe47e.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 37]: /images/20210923/d105c8afc89a4e00ad58e917172d6a9d.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 38]: /images/20210923/a956688d8d09419b88dad85482e68823.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 39]: /images/20210923/63ed554beeaf42c5a8c22a921c3f57a5.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 40]: /images/20210923/8702fd6637e74ec1945242b37bc10d6d.png
[LR_0]: /images/20210923/3581bdb6f4de49baa38fb94ddebb9817.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 41]: /images/20210923/a47d569f1bdd4ebe9928d1bb3495e106.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 42]: /images/20210923/e4a6f7637d4c41138c65690fd14aa8eb.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 43]: /images/20210923/b21c4d64e0914829998e5876332d2231.png
[SLR1]: /images/20210923/d26313987c5545bfb4bb0ba7a1d79bd4.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 44]: /images/20210923/312b8d60866443ceac004f6a9223433c.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 45]: /images/20210923/86001e4b7ec648a286b9c469647ea112.png
[LR_1]: /images/20210923/0cffd528a5d2436487cb4f19b2919fd8.png
[LR_k]: /images/20210923/ba68647b37f1442b90299b4a8653a3be.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 46]: /images/20210923/e23b92e36c654ea6b92fc3da4a2961bf.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 47]: /images/20210923/eda4036a94b748c19e9853b8a7491efb.png
[CLOSURE]: /images/20210923/c695d6fdf708441d966f9861baf71803.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 48]: /images/20210923/baf14cec325a4c57bb821e99b6b83f03.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 49]: /images/20210923/d949a5a2a6354a7d8aa8241ae881bd1c.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 50]: /images/20210923/e1896c84829849ea9f0e2fb7b4e6a63b.png
[LR_1_SLR_1]: /images/20210923/5a36248c5b3844c8a6c6b24be82faf9f.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 51]: /images/20210923/fad538aac96849ab96bbb518ee771b65.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 52]: /images/20210923/4229900a189448bdb94bee9454f25246.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 53]: /images/20210923/9dd1fa25bb3140218dd9fcfa5fa15429.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 54]: /images/20210923/5be7e0fea3ed4225a6545c31900897ae.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 55]: /images/20210923/d158bfe244a242b5871b1e9ef25269c6.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 56]: /images/20210923/a1dd2ec8226b4bcfb54660882381547b.png
[S-]: /images/20210923/d5027917469e46ad8dcdf7f748dd3fc8.png
[L-]: /images/20210923/b2c6c1ebc14c4c4c87f426dc36621d48.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 57]: /images/20210923/23b71723a30d438bb7d511155333e4ec.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 58]: /images/20210923/8b8b8bf49a4443c09195a7ee19391f8f.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 59]: /images/20210923/93287dc9622d46a58de8aca5e74bd13d.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 60]: /images/20210923/73537a60eee94faea8b70b70c49a44f3.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 61]: /images/20210923/03a04d292fa2481d95b38a27a0b1f6b2.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 62]: /images/20210923/9d957209c0ca43fd92eaa766f182278c.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 63]: /images/20210923/0f8c377d97fd4886b6e5421c9c42c7e0.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 64]: /images/20210923/8218e9e633494fa2a530aaca0ac87a12.png
[20200616225911121.png]: /images/20210923/1755219a21174150aa8463a4974ced5e.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 65]: /images/20210923/9c5a0349e5dc4de59b12535e1445015a.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 66]: /images/20210923/a596797ba9204880aff81335768ddb9b.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 67]: /images/20210923/02d239b296504c1e91051cc35bb40dc8.png
[S- 1]: /images/20210923/a2669b05df194033b49980199659a3ad.png
[S- 2]: /images/20210923/b4764dc953644ee89cf64d10cdf6a13d.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 68]: /images/20210923/d5000149f00c45ffa86a3d6cf24406a3.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 69]: /images/20210923/13ea251b836748afabc7c7f3606eb4fa.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 70]: /images/20210923/dd373480dbaf44099f3e61d51eaa746e.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 71]: /images/20210923/49ec08d2dc494535a91810da6b410e27.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 72]: /images/20210923/d6b3b168a5924564ae9d1c186a3a0930.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 73]: /images/20210923/ed9952d035924a21a37fd7689048373a.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 74]: /images/20210923/b2ec6543e03448f7935f6df94e35c01e.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 75]: /images/20210923/27a02bc895fc44ad9afa37be7424cbc6.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NyYWJzdGV3_size_16_color_FFFFFF_t_70 76]: /images/20210923/2847fe529cad496da4a2b2c7c6245515.png