词法分析习题_第1页
词法分析习题_第2页
词法分析习题_第3页
词法分析习题_第4页
词法分析习题_第5页
全文预览已结束

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

词法分析补充习题1. 构造与正规式(a|ba)*等价的状态最少的DFA。2. 构造与正规式(a|b)*a(a|b)等价的状态最少的DFA。3. 构造与正规式(a|b)* aa等价的状态最少的DFA。1. 解答:(1)构造NFA如图1所示:aZASbaB图1(aba)*的NFA(2)NFA确定化为DFA的过程如下表所示:IIaIbS, A, ZA, ZBA, ZA, ZBBA, Z 为重新标注的状态号。画出相应的状态图如图2所示。a2aba1b3图2(aba)*的DFA(3)DFA最小化首先得到两个子集K1 = 3 和 K2 = 1,2。考察K2,由于1,2a = 2 K2,1,2b = 3 K1,所以K2不可再分。用1来代表K2并删除3,得到最小化DFA的状态图,图3所示.b31aa图3 正规式(ab a)*的最小化DFA2. 解答(1)构造NFA,见图1 aaZCaBSAbb图1 正规式(a|b)*a (a|b)的NFA(2)NFA确定化为DFA的过程表和相应DFA的状态图,见图2 IIaIbS, A, BA, B, CA, BA, B, CA, B, C, ZA, B, ZA, BA, B, CA, BA, B, C, ZA, B, C, ZA, B, ZA, B, ZA, B, C A, B 为重新标注的状态号。画出相应的状态图如图2所示。a4a2aa1bab5bb3b图2 正规式(a|b)*a (a|b)的DFA(3)将DFA最小化并得到最小化的状态图,见图3首先进行初始划分得到两个子集:K1 = 1,2,3 和 K2 = 4,5考察K1:因1,2,3a=2,4 K1,也 K2,所以1,2,3可被重新划分。由于状态1和状态3输入a都到达状态2,输入b都到达状态3,而状态2输入a到达状态4,输入b到达状态5,所以将K1分割成:K11 = 1,3 和 K12 = 2目前划分得到的子集为:K11 = 1,3 , K12 = 2, K2 = 4,5考察K11:1,3a=2 K1,1,3b=3 K1,所以1,3无需重新划分。考察K2:因4,5 a=4,2 K11, K12, K2,所以K2可被重新划分。将K2分割成:K21=4,K22=5。目前划分得到的子集为:K11=1,3,K12 = 2,K21=4,K22=5最后,令状态1代表K11,并删除3,最小化DFA的状态图如下所示:2aaaba41bbb5图3 正规式(a|b)*a (a|b)的最小化DFA注(思考):本题图1中的可省去,便可简化DFA的构建过程,见题3。3. 解答:(1)构造NFA如图1所示:aaaZBASb图1(ab)*aa的(NFA虚框内去掉)(2)NFA确定化为DFA的过程如下表所示:IIaIbS, A A, BAA, BA,B,ZAAA, BAA,B,ZA,B,ZA相应的状态图如图2所示。aaa142bbba3b图2(ab)*aa的DFA(3)DFA最小化首先得到两个子集K1 = 1,2,3 和 K2 = 4。考察K1:由于1,2,3a = 1,2,4 K1,也 K2,所以K1可需要被分割。又因为1,3a = 2,1,3b = 3,所以将原状态集合分割成以下子集:K11=2,K12=1,3。目前划分得到的子集为:K11=2,K12=1,3,K2 = 4。考察K12:1,3a = 2 K1,1,3b = 3 K1,

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论