编译原理第三章

一.

1.词法分析任务：

    从左至右逐个字符的对源程序进行扫描，产生一个个的单词符号，

把作为字符串的源程序改造成为由单词符号串组成的程序。

2.词法分析器的功能和输出形式

   源程序——》词法分析器——》单词符号

    1.单词符号  2.单词种类

3.单词的表示形式

   用二元式来表示  <单词种别，单词符号的属性值>

单词符号的属性：指单词符号的特性或特征。

单词符号的属性值：反映单词特性或特征的值。

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)是∑上的正规集