编译原理-第三章

总结：

单词的表示形式
   用二元式来表示  <单词种别，单词符号的属性值>
单词符号的属性：指单词符号的特性或特征。
单词符号的属性值：反映单词特性或特征的值。
4 状态转换图法
(1)状态转换图：一张有限方向图
(2)状态转换图的功能
 识别（接受）一定的符号串（单词）

正规式与正规集

 我们可以把具有相同特征的字放在一起组成一个集合，即所谓的正规集
 然后使用一种形式化的方法来表示正规集，即所谓的正规式。
注意：
 正规式是描述单词结构的一种形式；
 正规集是该类单词的全集。
1.确定的有限自动机
1.定义：一个确定有限自动机（DFA）M是一个五元式：
M = (S, ∑, f, s0, F)，其中
1.S是一个有限的状态集合，它的每个元素我们称为一个状态
2.∑是一个有穷的输入符号的字母表，它的每个元素我们称为一个输入字符
3.f是从 S×∑ →S的单值部分映射
4.s0是S的一个元素，为初始状态，它是唯一的
5.状态集合F是终止状态的集合，它是S的子集(可空)
2.非确定的有限自动机
1.定义:一个非确定有限自动机（NFA）M是一个五元式
M = (S, ∑, f, S0, F)，其中
1.S是一个有限的状态集合，它的每个元素我们称为一个状态
2.∑是一个有限的输入符号的字母表，它的每个元素我们称为一个输入字符
3.f是从S×∑*→2S 的部分映射，其中，2S表示S的幂集合（所有S的子集组成的集合）（f是非单值的M是非确定）
4.状态集合S0是初始状态集合，它是S的子集
5.状态集合F是终止状态的集合，它是S的子集
3.正规式与有限自动机的等价性
定理1：对于任何∑上NFA M都可构造一个∑上的正规式V，使得  L(V) = L(M) 
其中，L(M)是∑上NFA M所能识别的字的全体L(V)是∑上的正规集

习题：

感受：

这一章学习了词法分析器的设计，如何画状态转化图，DFA,NFA。正规式和有限自动机的等价性，DFA的化简。其中，DFA的化简最让我深刻。通过这一章的学习，我对这门课程有了更深的理解。相比上一章，难度又增加了不少。