编译原理(二)词法-1(正规表达式与有限自动机简介).pptVIP

编译原理(二)词法-1(正规表达式与有限自动机简介).ppt

  1. 1、本文档共38页,可阅读全部内容。
  2. 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
编译原理(二)词法-1(正规表达式与有限自动机简介)

2.3.1:正规表达式与正规集(正规式的运算) 连接运算: 字的连接:设“ab”和“aab”是两个字,则 ab·aab = abaab 正规式的连接:RS?=?{α β | α∈Rβ∈S} 例:A={ab,bc} ,B={ac,cb },则: AB ={abac,abcb,bcac,bccb} 正规式的幂运算:正规式自身的n次连接 并约定: R0 = {ε}。 2.3 正规表达式与优先自动机简介 Rn?=?RR…R    n个 AB≠BA 2.3.1:正规表达式与正规集(正规式的运算) 闭包运算: 集合R的闭包表示为R*,具体定义为: R*?=?R0∪R1∪R2∪R3∪… 集合R的正闭包表示为R+,具体定义为: R+ =?R1∪R2∪R3∪… = RR*? 显然: R*= R0∪R+ 2.3 正规表达式与优先自动机简介 2.3.1:正规表达式与正规集(正规式的运算性质) 对于Σ上的正规式R和S,如果它们的正规集满足L(R)=L(S), 则称R和S等价,记为R=S。正规式的性质有: (1)交换律: R | S = S | R (2)结合律: R | (S | T) = (R | S) | T;R(ST) = (RS)T (3)分配律: R(S | T) = RS | RT;(R | S)T?=?RT | ST (4)同一律: εR = Rε = R 2.3 正规表达式与优先自动机简介 2.3 课堂例题 例2.1 令Σ?=?{a,b},设R?=?a(a | b)* 是Σ上的正规式,试求其表示的正规集。 [解答] L(R)?=?L(a(a | b)*)?=?L(a)L((a | b)*)?=?L(a)(L(a | b))*? =?L(a)(L(a)∪L(b))*   ? =?{a}({a}∪{b})*?=?{a}{a,b}*? =?{a}{ε, a, b, aa, ab, ba, bb, aaa, …}   ? =?{a, aa, ab, aaa, aab, aba, abb, aaaa, …} 2.3 课堂例题 例2.2 令Σ?=?{a,b},根据给出的正规式,试描述其表示的正规集。 正规式 正规集 ba* ∑上所有的以b为首,并且后跟任意多个a 的字,{b, ba,baa,baaa,…} a(a|b)* ∑上所有的以a为首的字 (a|b)* (aa|bb) (a|b)* ∑上所有含有两个连续的a或者b的字 2.3 课堂例题 例2.3 判断下述正规式之间是否等价:   (1) ?(a | b)*与a* | b* (2) (ab)*与a*b* [解答] (1) ? (a | b)* 对应的正规集其a、b可任意交替出现,如abbaaaba…;而 a* | b* 对应的正规集只可出现任意个a或者任意个b;因此两者不等价。  [解答] (2) (ab)*对应的正规集是以任意个ab对出现的,即ababab…;而a*b*对应的正规集则是先出现任意个a后接任意个b,即a…ab…b;因此两者不等价。 2.3 课堂例题 例2.4 证明:设L (a+) = {a} *-{ε}, 则有a+ = aa *    [证明] L(a+) = {a} *-{ε} = {ε, a, a2, a3, …} -{ε} = {a, a2, a3, …} = {a}* {ε, a, a2, …} = {a}* {a} * = L(a) L(a*) = L(aa*) 故 a+ = aa* 2.4 正规表达式到有限自动机的构造 课后 2.4 正规式 (ab) * a 与正规式a (ba) * [解答] 格式参考上页PPT 第 2 讲 西北农林科技大学本科教程 主讲教师:赵建邦 第二章《词法分析》前三节 2.1 词法分析器的设计方法 2.2 一个简单的词法分析器 2.3 正规表达式与有限自动机简介

文档评论(0)

zijingling + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档