第2章 词法分析
突然发现内容好像有点多，挑一些吧
1 词法分析程序输出单词的形式
- 二元式：(单词种别, 单词自身的值)
- 单词种别：单词的种类
- 单词自身的值
（1）标识符自身的值：标识符自身的字符串
（2）常数自身的值：常数本身的二进制数值
（3）可用指向某类表格种一个特定项目的指针来区分同类种的不同单词
2 状态转换图
- 状态转换图：有限的有向图，用于识别单词
- 状态（结点）数有限，必有一初始状态以及若干终止状态
- 状态转换图示例
3 正规表达式
3.1 正规表达式与正规集
- 正规表达式（正规式）：一种形式化的表示法，表示单词符号的结构，精确地定义单词符号集
- 正规集：正规式表示的集合
3.1.1 正规式和正规集的递归定义
- Σ Σ Σ上的一个字：由 Σ Σ Σ中的字符所构成的一个有穷序列
- 空字 ε ε ε：不包含任何字符的序列
- Σ ∗ Σ^* Σ∗： Σ Σ Σ上所有字的全体，包含 ε ε ε
- 空集
Φ
Φ
Φ：不含任何元素的空集{ }
3.1.2 正规式间的运算符及其性质
- 运算符，用括号可以改变运算次序
- 运算解释
- R和S等价：对于 Σ Σ Σ上的正规式R和S，L(R)=L(S)
- 运算性质
4 有限自动机FA
4.1 确定有限自动机（DFA）
4.2 非确定有限自动机（NFA）
5 NFA化简
有空单独开个讲