编译原理2——高级语言及其语法描述

u1s1，这一章真没啥东西，但为了内容完整性，还是发了

2.1 程序语言的定义

2.1.1 语法

1. 字母表
2. 合式
   依照词法规则和语法规则构建的字符串
3. 词法规则
4. 语法规则/产生规则
5. 单词符号
6. 语法范畴/语法单位

2.1.2 语义

1. 语义
2. 语义规则
   一组规则，用于定义一个程序的意义
3. 数据
4. 运算
5. 程序
6. 逻辑
7. 实现

词法规则：有限自动机
语法规则：上下文无关文法
$\star$ 名字是语法概念，标识符是语义概念
$$标识符\stackrel{Binding(绑定)}{\to }名字$$
根据编译器的不同，绑定有时发生在编译阶段，有时发生在运行阶段

程序语言的基本功能

描述数据和对数据的运算

2.2 高级语言的一般特性

2.2.1 高级语言的分类

1. 强制式语言
   FORTRAN、C
2. 应用式语言
   LISP
3. 基于规则的语言
   Prolog
4. 面向对象的语言
   Python、C++
   1. 封装性
   2. 继承性
   3. 多态性

2.2.2 程序结构

略

2.2.3 数据类型与操作

1. 数值数据
2. 逻辑数据
3. 字符数据
4. 指针类型
5. 标识符
6. 值
7. 属性
8. 类型和作用域
9. 数组
   1. 下标
   2. 下标变量
   3. 确定数组
   4. 可变数组
10. 栏

语句与控制结构

1. 单元
2. 值
3. 左值
4. 右值

2.3 程序语言的语法描述

1. 字母表
   $\Sigma$
   有穷
   1. 符号
   2. 符号串
      $\Sigma$上的符号串：由$\Sigma$上符号构成的有穷序列
   3. 空字
      $\epsilon$
      注意，空字是字符串
2. ${\Sigma }^{\ast }$
   $\Sigma$上所有字符串的全体
   $\epsilon \in {\Sigma }^{\ast }$
   1. 空集
      ϕ = { } \phi=\{\} ϕ={}
      $\star$ 注意区分$\epsilon$、 { } \{\} {}和 { ε } \{\varepsilon\} {ε}的区别
3. 连接
   U V = { α β ∣ α ∈ U & β ∈ V } UV=\{\alpha\beta|\alpha\in U\&\beta\in V\} UV={αβ∣α∈U&β∈V}
4. 积
   $V^n=VVV\cdots V$
5. 闭包
   $V^{\ast }=V^0\cup V^1\cup V^2\cup V^3\cup \cdots$
6. 正则闭包
   $V^{+}=V{V}^{\ast }$
   如果$\epsilon \in V$，则$V^{+}=V^{\ast }$

2.3.1 上下文无关文法

1. 文法
2. 形式规则
3. 上下文无关文法
   $G=(V_T,V_N,S,P)$
   1. 终结符号
      $V_T$，非空，终结符集合
   2. 非终结符号
      $V_N$，非空，非终结符集合
      $\star$ $V_T\cap V_N=\varphi$
   3. 开始符号
      $S$，文法开始符号
   4. 产生式
      $P$，产生式
      形式：$P\to \alpha$，其中，$P\in V_N$，$V_N\in (V_T\cup V_N{)}^{\ast }$
      缩写：$P\to {\alpha }_1|{\alpha }_2|{\alpha }_3\cdots$
   5. 左部符号
      $P$
   6. 右部
      $\alpha$
   7. 候选式
      $\alpha$是$P$的候选式
   8. 元语言符号
      $\to$：定义为
      $|$：或
4. 直接推出
   $\alpha A\beta \Rightarrow \alpha \gamma \beta$
   $A\to \gamma$是产生式，$\alpha 、\beta \in (V_T\cup V_N{)}^{\ast }$
   1. 推导
      1. ${\alpha }_1\stackrel{\ast }{\Rightarrow }{\alpha }_n$
         从${\alpha }_1$出发，经0步或若干步可以推导处${\alpha }_n$
      2. ${\alpha }_1\stackrel{+}{\Rightarrow }{\alpha }_n$
         从${\alpha }_1$出发，经1步或若干步可以推导处${\alpha }_n$
5. 句型
   $S\stackrel{\ast }{\Rightarrow }\alpha$，则称$\alpha$是$S$的句型
   1. 句子
      如果$\alpha$仅含终结符，则$\alpha$为句子
      1. 语言
         $L(G)$
         文法G产生的句子的全体
6. 最左推导
   每一步均对最左非终结符进行替换
7. 最右推导
   每一步均对最右非终结符进行替换

2.3.2 语法分析树与二义性

1. 语法分析树/语法树
   语言二义性：所有文法都是二义的，自然语言是二义的
   语法二义性：一个文法存在某个句子对应两棵不同的语法树

2.3.3 形式语言鸟瞰

1. 短语文法
2. 上下文有关文法
3. 上下文无关文法
4. 右线性文法
5. 左线性文法
6. 正规文法