利用子集法构造DFA.doc

  1. 1、本文档共19页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
实验一:利用子集法构造DFA 一.实验目的 掌握将非确定有限自动机确定化的方法和过程。 二.实验要求、内容及步骤 实验要求: 1.输入一个NFA,输出一个接受同一正规集的DFA; 2.采用C++语言,实现该算法; 3.编制测试程序; 4.调试程序。 实验步骤: 1.输入一个NFA关系图; 2.通过一个转换算法将NFA转换为DFA; 3.显示DFA关系图。 三.实验设备 计算机、Windows 操作系统、Visual C++ 程序集成环境。 四.实验原理 1.NFA-DFA转换原理: 从NFA的矩阵表示中可以看出,表项通常是一状态的集合,而在DFA的矩阵表示中,表项是一个状态,NFA到相应的DFA的构造的基本思路是:DFA的每一个状态对应NFA的一组状态。 DFA使用它的状态去记录在NFA读入一个输入符号后可能到达的所有状态。 输入:一个NFA N 输出:一个接受同样语言的DFA D 方法:为D构造转换表Dtran,DFA的每个状态是NFA的状态集。D的状态集合用Dstates表示。D的开始状态为ε-closure(s0),s0是N的开始状态。使用下列算法构造D的状态集合Dstates和转换表Dtran。如果D的某个状态是至少包含一个N的接受状态的NFA状态集,那么它是D的一个接受状态。 2.子集构造法: 初始时, ε-closure(S0) 是 Dstates 中唯一的状态且未被标记; while Dstates 中存在一个未标记的状态T do begin 标记T; for 每个输入符号 a do begin U := ε-closure ( move (T, a) ); if U 没在Dstates中 then 将U作为一个未被标记的状态添加到 Dstates. Dtran [ T, a ] := U end end 3.ε-closure的计算: 将T中所有状态压入栈stack; 将ε-closure (T) 初始化为T; while stack不空 do begin 将栈顶元素t弹出栈; for 每个这样的状态u:从t到u有一条标记为 ε的边do if u 不在ε-closure ( T )中 do begin 将u 添加到ε-closure ( T ); 将u压入栈stack中 end end 五.程序设计 1.总体设计 2.子程序设计 识别模块 六.程序中的结构说明 1.结构体 Symbolrecord结构体 结构体成员名 成员属性 Symbol[10] 用于存储关键字编码名 id 用于存储关键字对应的编码 entrytype结构体 结构体成员名 成员属性 idname[10] 用于存储识别后标识符名 address 用于存储标识符的地址 type 用于存储标识符的类型 digittype结构体 结构体成员名 成员属性 num 用于存储识别后的数字 address 用于存储标识符数字的地址 tokentype结构体 结构体成员名 成员属性 id 用于存储被识别的类型名 entry 用于存储标识符的地址 idname[10] 用于存储被识别的标识符名 2.符号编码表 符号编码表 符号名 代码 符号名 代码 Begin 0 } 14 End 1 ( 15 If 2 ) 16 Then 3 17 Else 4 = 18 for 5 = 19 do 6 != 20 while 7 21 + 8 = 22 - 9 := 23 * 10 ‘ ’ 24 / 11 Id 25 ; 12 Const 26 { 13 3.重要函数介绍 tokentype recogid(char ch) //识别标识符算法 tokentype recogdig(char ch) ///识别数字函数 tokentype recogdel(char ch) //识别算符和界符函数 tokentype handlecom(char ch) //handlecom函数,识别注释函数 void sort(char ch) //sort函数,读取文件内容,并根据读入内容调用不同的识别函数 void scanner()//scanner函数,打开文件 七.函数代码 #include stdio.h #include string.h #include ctype.h #include stdlib.h //定义单词编码表的数据结构 struct symbolrecord { char symbol[10]; int id; } ; //定义符号表的数据结构 struct entrytype { c

文档评论(0)

xingyuxiaxiang + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档