原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
实验一：利用子集法构造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(S ) 是 Dstates 中唯一的状态且未被标记;
0
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.子程序设计
识别模块
读取字符
字母
识别标识符
数字
识别数字
/
文档评论（0）