(仅供参考)利用子集法构造DFA
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
void scanner()//scanner函数,打开文件
七.函数代码
#include <stdio.h> #include <string.h> #include <ctype.h> #include <stdlib.h> //定义单词编码表的数据结构 struct symbolrecord { char symbol[10];
输入:一个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
2.子程序设计 识别模块
F T F T F T
读取字符 字母
识别标识符 数字
识别数字 /
识别注释 打印并结束
六.程序中的结构说明
1.结构体
结构体成员名 Symbol[10] id
Symbolrecord结构体 成员属性 用于存储关键字编码名 用于存储关键字对应的编码
结构体成员名 idname[10] address type
int entry; char idname[10]; }; FILE *fp; struct digittype d[10]; struct entrytype a[40]; int k=0,t=0; //单词编码表初始化 struct symbolrecord s[26]= { "Begin",0, "End",1, "If",2, "Then",3, "Else",4, "for",5, "do",6, "while",7, "+",8, "-",9, "*",10, "/",11, ";",12, "{",13, "}",14, "(",15, ")",16, "<",17,
for 每个这样的状态u:从t到u有一条标记为 ε的边do if u 不在ε-closure ( T )中 do begin 将u 添加到ε-closure ( T ); 将u压入栈stack中 end end
五.程序设计
1.总体设计
读入字符 识别模块 识别标识符 识别分界符、运算符 识别常数
输出
int id; }; //定义符号表的数据结构 struct entrytype { char idname[10];
int address; int type; }; //定义常数表的数据结构 struct digittype { int num; int address; }; //Token字的数据结构 struct tokentype { int id;
entrytype结构体 成员属性 用于存储识别后标识符名 用于存储标识符的地址 用于存储标识符的类型
结构体成员名 num address
digittype结构体 成员属性 用于存储识别后的数字 用于存储标识符数字的地址
结构体成员名 id
tokentype结构体 成员属性 用于存储被识别的类型名
entry idname[10]
用于存储标识符的地址 用于存储被识别的标识符名
2.符号编码表
符号名 Begin End
If Then Else for do while
+ * / ; {
符号编码表
代码
符号名
0
}
1
(
2
)
3
<
4
<=
ቤተ መጻሕፍቲ ባይዱ
5
=
6
!=
7
>
8
>=
9
:=
10
‘’
11
Id
12
Const
13
代码 14 15 16 17 18 19 20 21 22 23 24 25 26
三.实验设备
计算机、Windows 操作系统、Visual C++ 程序集成环境。
四.实验原理
1.NFA-DFA转换原理: 从NFA的矩阵表示中可以看出,表项通常是一状态的集合,而在DFA
的矩阵表示中,表项是一个状态,NFA到相应的DFA的构造的基本思路 是:DFA的每一个状态对应NFA的一组状态。 DFA使用它的状态去记录在 NFA读入一个输入符号后可能到达的所有状态。
实验一:利用子集法构造DFA
一.实验目的
掌握将非确定有限自动机确定化的方法和过程。
二.实验要求、内容及步骤
实验要求: 1.输入一个NFA,输出一个接受同一正规集的DFA; 2.采用C++语言,实现该算法; 3.编制测试程序; 4.调试程序。
实验步骤: 1.输入一个NFA关系图; 2.通过一个转换算法将NFA转换为DFA; 3.显示DFA关系图。
//源文件指针 //定义常数表,个数指针
"<=",18, "=",19, "!=",20, ">",21, ">=",22, ":=",23, " ",24, "const",26 }; //识别标识符算法 tokentype recogid(char ch) { tokentype tokenid; FILE *fs; int flag,fflag; char word[10]={0}; int i,j; i=0; while(isalpha(ch)||isdigit(ch)) { word[i]=ch;
3.重要函数介绍 tokentype recogid(char ch) //识别标识符算法 tokentype recogdig(char ch) ///识别数字函数 tokentype recogdel(char ch) //识别算符和界符函数 tokentype handlecom(char ch) //handlecom函数,识别注释函数 void sort(char ch) //sort函数,读取文件内容,并根据读入内容调 用不同的识别函数
标记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弹出栈;