版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、第三章正则表达式与正则语言13.1 正则表达式(Regular expression,RE) 两个语言L和M的连接,记作 ,定义为 则明显地, 两个语言L和M的并,记作 ,为集合并 语言类的运算:设L,M 为 上的语言,则 2语言L的Kleene闭包,记作 定义为 其中 归纳定义为 例如: 为 的Kleene闭包。 3.1 正则表达式(Regular expression,RE)3正则表达式(递归定义):(1) 是 上的正则表达式,它表示语言 ,即 。(2) 是 上的正则表达式,它表示语言 ,即 。 3.1 正则表达式(Regular expression,RE)的语言 :定义 设是一个字母表
2、,上的正则表达式E与所代表(3) ,是 正则表达式,它表示语言 。 4(4)如果E和F分别是 上的正则表达式,则表示的语言为L(E) 和L(F),E和F的“和”(E+F)是 上的正则表达式且 L(E+F)=L(E)L(F)。E和F的“乘积”(EF)是 上的正则表达式且L(EF)=L(E)L(F)。E的克林闭包 是 上的正则表达式且 。(5)只有满足(1)(4)的表达式才是 上的正则表达式。3.1 正则表达式(Regular expression,RE)5例1.设 0是正则表达式,表示语言 。1是正则表达式,表示语言 。(0+1)是正则表达式,表示语言 。(01)是正则表达式,表示语言 。 是正
3、则表达式,表示所有以01结尾的字符串组成的语言。3.1 正则表达式(Regular expression,RE)6例2.写一个表达式,它表示了交替0和1的串的集合。例如:1010101,010101 等等3.1 正则表达式(Regular expression,RE)7正则表达式的运算优先级规定如下:1)星运算符有最高优先级;2)下一个运算级是连接运算符(乘积);3)并(和)是最低级。例如:3.1 正则表达式(Regular expression,RE)83.2 有穷自动机和正则表达式 已证明DFA,NFA, 识别的语言类是一致的,下面进一步证明它们和正则表达式的语言也是一致的。定理3.4 如
4、果对于某个DFA A, L=L(A),则存在一个正则表达式R,使得L=L(R)。 证明 设DFA 令 93.2 有穷自动机和正则表达式 即 是所有那些将DFA从给定状态 引导到状态 ,并且“途中”不经过(进入并离开)下标大于k的状态的所有字符串。但i,j不受k的限制。 这样 是所有可以将DFA从状态 引导到状态 的字符串的集合。这时 可递归定义为:103.2 有穷自动机和正则表达式 可证11假设存在从i到j的路径不经过比k高的状态,有类似情形3.2 有穷自动机和正则表达式 123.2 有穷自动机和正则表达式 从而 表示某个正则表达式的语言,因为 是正则表达式且 是由递归定义方法进行定义的。 明
5、显地 有正则表达式 ,递归定义! 从而 可以用正则表达式表示出来。 ,(假设状态1是初始状态)133.2 有穷自动机和正则表达式 例1 给出这个自动机语言的正则表达式,求正则表达式 即可143.2 有穷自动机和正则表达式 而而153.2 有穷自动机和正则表达式 定理3.7 每一个用正则表达式来定义的语言都可以用有穷自动机来定义。证明 根据正则表达式与其表示的语言的定义,我们递归地来证明这个定理。(1) 空语言可以被下面的自动机接受 163.2 有穷自动机和正则表达式 (2) 可以被下面的自动机接受 173.2 有穷自动机和正则表达式 (3) 可以被下面的自动机接受 递归地,设E、F为两个正则表
6、达式,L(E),L(F)可以被自动机 与 接受,下面证明 , 与 也能被有穷自动机接受。 183.2 有穷自动机和正则表达式 . 能被下面的自动机接受 193.2 有穷自动机和正则表达式 . 可以被如下的自动机接受 203.2 有穷自动机和正则表达式 . 可以被如下的自动机接受 213.2 有穷自动机和正则表达式 例2 求表达式 的 0+1:010:1:223.2 有穷自动机和正则表达式 233.2 有穷自动机和正则表达式 24一些讨论: 3.2 有穷自动机和正则表达式 定理3.4把DFA转化成正则表达式的方法总是成立的,但代价太高:对于一个n状态的自动机,不仅要构造大约 个表达式,而且如果不
7、化简表达式,则在n个归纳步骤的每一步,表达式的长度平均增加到4倍。因此,这些表达式本身可能达到 个符号的长度级别。有一种通过消除状态把 DFA 转化为正则表达式的方法,在某些地方避免了重复工作。例如,在定理3.4的构造中,所有带上标 的表达式都利用同一个子表达式 ;因此写这个表达式的工作重复了 次。253.4 正则表达式的代数定律设E,F,G为 上的正则表达式,则 (1)结合律: (2)交换律:E+F=F+E (3)分配律:设E和F为 的两个正则表达式,若 ,则称E和F等价,也记做E=F。 下面讨论正则表达式的一些基本代数定律。263.4 正则表达式的代数定律(4) 幂等律:E+E=E(5) 加法运算零元素:(6) 乘法运算单位元:(7) 乘法运算零元素: (8)(9)(10)273.4 正则表达式的代数定律(11)我们证明(11)即证:也即:设 ,则 ,其中 ,从而 或 ,这样 或 ,因此 283.4 正则表达式的代数定律反之,明显地, 293.4 正则表达式的代数定律证明: , r,s 为正则表达式, 若 ,则 为唯一解。 练习题30本章小结正则表达式 : 这种代数记号恰好与有穷自动机描述相同的语言:正则语言。正则表达式运算符是:并、连接(或“点”)和闭包(或“星”)。正则表达式与有穷自动机的等价性:用归纳构造把 转化成正则表达式,其中构造出一些表达式作为路径标记,这些路
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 饮用水卫生安全巡查工作制度
- 2024-2025学年度咨询工程师考前冲刺练习题附参考答案详解(轻巧夺冠)
- 2024-2025学年度法律职业资格考试预测复习及完整答案详解(全优)
- 2024-2025学年度监理工程师模拟试题【能力提升】附答案详解
- 2024-2025学年度医师定期考核题库检测试题打印完整附答案详解
- 2024-2025学年度法律硕士考试历年机考真题集含完整答案详解【夺冠】
- 2024-2025学年度医疗卫生系统人员题库附答案详解(典型题)
- 2024-2025学年全国统考教师资格考试《教育教学知识与能力(小学)》测试卷及参考答案详解【达标题】
- 2024-2025学年度辅警招聘考试考试综合练习附答案详解(B卷)
- 探讨学习方法的议论文4篇
- 2025年下半年中学教资笔试真题+参考答案(科目一+科目二)
- 工贸企业的安全培训课件
- 青春期男生生理卫生课件
- 水利水电工程设计信息模型分类和编码标准
- 压力管道设计审批人员考核试题及答案1
- 变电运行安全培训课件
- 中山北路第一小学创新课程开发与实施
- 血管外科基础用药
- 商品批次管理办法
- 冷弯薄壁型钢-石膏基砂浆复合墙体技术规程(修订稿)
- 武汉大学奖学金管理办法
评论
0/150
提交评论