只为小站
首页
域名查询
文件下载
登录
首页
课程资源
C/C++
编译原理实验 DFA(确定的有穷自动机)的化简
编译原理实验 DFA(确定的有穷自动机)的化简
上传者:
35685675
|
上传时间: 2019-12-21 20:44:52
|
文件大小: 1KB
|
文件类型: rar
DFA化简
C++
编译原理
1. 实验内容 每一个正规集都可以由一个状态数最少的DFA所识别,这个DFA是唯一的(不考虑同构的情况)。任意给定的一个DFA,根据以下算法设计一个C程序,将该DFA 化简为与之等价的最简DFA。 2. 实验设计分析 2.1 实验设计思路 根据实验指导书和书本上的相关知识,实现算法。 2.2 实验算法 (1)构造具有两个组的状态集合的初始划分I:接受状态组 F 和非接受状态组 Non-F。 (2)对I采用下面所述的过程来构造新的划分I-new. For I 中每个组G do Begin 当且仅当对任意输入符号a,状态s和读入a后转换到I的同一组中; /*最坏情况下,一个状态就可能成为一个组*/ 用所有新形成的小组集代替I-new中的G; end (3)如果I-new=I,令I-final=I,再执行第(4)步,否则令I=I=new,重复步骤(2)。 (4)在划分I-final的每个状态组中选一个状态作为该组的代表。这些代表构成了化简后的DFA M'状态。令s是一个代表状态,而且假设:在DFA M中,输入为a时有从s到t转换。令t所在组的代表是r,那么在M’中有一个从s到r的转换,标记为a。令包含s0的状态组的代表是M’的开始状态,并令M’的接受状态是那些属于F的状态所在组的代表。注意,I-final的每个组或者仅含F中的状态,或者不含F中的状态。 (5)如果M’含有死状态(即一个对所有输入符号都有刀自身的转换的非接受状态d),则从M’中去掉它;删除从开始状态不可到达的状态;取消从任何其他状态到死状态的转换。 。。。。。。
文件下载
立即下载
资源详情
[{"title":"( 1 个子文件 1KB ) 编译原理实验 DFA(确定的有穷自动机)的化简","children":[{"title":"simpleDFA.cpp <span style='color:#111;'> 5.42KB </span>","children":null,"spread":false}],"spread":true}]
评论信息
其他资源
STM32 L298N代码
R4烧录卡NDS内核,绝对可用
贪食蛇【C语言 双向链表实现】
基于stc89c51单片机的红外报警系统设计
java+swing+mysql实现的学生信息管理系统.zip
基于JSP的火车票铁路票务预订系统新版 -毕业设计
UPS仿真报告matlab
matlab坐标转换
redis-5.0.4.7z
2021技术趋势报告.pdf
2011年中国统计年鉴
用友U8v13上市金盘
TeeChart Pro v7 注册版 (图表组件)
VC与Matlab混合编程方法实现总结
采用TTL电路设计的数字频率计
System Design with SystemC
jacob Hiding the application window is not allowed
特征提取及分类源码
讲解SVPWM说明
quartus Ⅱ7.2 破解包
《MFC游戏开发》笔记十 碰撞检测 配套源代码
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
张正友相机标定Opencv实现(完整程序+棋盘图)实例源码
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
航迹融合算法MATLAB仿真程序
PSO-LSSVM的MATLAB代码.rar
MPC 模型预测控制matlab仿真程序
故障诊断数据集及实现代码
西安问题电缆-工程伦理案例分析.zip
基于VMD算法的信号降噪.rar
csma/ca和csma/cd的matlab仿真源代码带有详细的注释
基于Matlab的PI/4 DQPSK的调制解调源代吗
多目标优化算法(四)NSGA3的代码(python3.6)
Elsevier爱思唯尔的word模板.zip
先进PID控制Matlab仿真第4版-PDF+代码.zip
simulink仿真实现光伏发电MPPT+能量管理
MVDR,Capon波束形成DO估计.zip
最新下载
opencv特征库级联训练小工具(附代码)
(全彩图)常用电子元件实物图片大全
错题本:微信小程序源码,对错题实现拍照,图片裁剪,图片涂鸦,分类归纳,打印导出,适用于小学、初中、高中各科纸制错题管理
SN_Writer_Tool_exe1632可直接运行.rar
电子科技大学概率论与数理统计课程课件
矩阵分析Roger.A.Horn中文清楚
openCV+qt视频传输
PreScan手册.pdf
原理图,PCB常用元件库
Delphi高性能大容量SOCKET并发完成端口例子完整实例源码(根据SQLDebug_Fan的源码移植)