- 1、本文档共19页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 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中 endend
五.程序设计
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
您可能关注的文档
- 冷压缩机与设备教学课.ppt
- 净月潭登山健身步道项目简介.doc
- 凝血酶原时间测定PT.doc
- 几种常见磁场、安培定则练习题.doc
- 凯锐公司质疑回复1.doc
- 凸透镜成像规律实验专题含答案.docx
- 出师表课件课件.ppt
- 出租车计价器文献综述.doc
- 出院记录的方案写要求.ppt
- 函数奇偶性经典题目含答案.doc
- 新的一年工作展望.docx
- 医生年终个人工作的述职报告(3篇).docx
- 2023年消防设施操作员之消防设备中级技能考前冲刺练习题附答案详解.docx
- 2022-2023年环境影响评价工程师之环评技术导则与标准通关练习题包括详细解答.docx
- 2023年中级注册安全工程师之安全生产管理考前冲刺检测卷和答案.docx
- 2023年中级银行从业资格之中级银行管理考前冲刺测试卷提供答案解析.docx
- 2023年公共营养师之二级营养师通关模拟考试试卷附带答案.docx
- 证券分析师之发布证券研究报告业务考前冲刺模拟题库.docx
- 2022-2023年二级建造师之二建建设工程法规及相关知识综合提升测试卷附答案.docx
- 2023年二级建造师之二建机电工程实务通关模拟考试试卷提供答案解析.docx
文档评论(0)