编译原理-第三章

总结:


单词的表示形式
   用二元式来表示  <单词种别,单词符号的属性值>
单词符号的属性:指单词符号的特性或特征。
单词符号的属性值:反映单词特性或特征的值。
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的化简最让我深刻。通过这一章的学习,我对这门课程有了更深的理解。相比上一章,难度又增加了不少。


评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值