实验三-DFA最小化程序的设计与实现(C语言)教学内容.pdf

实 验 三 - DFA 最 小 化 程 序 的 设 计 与 实 现 ( C 语 言 ) 精品文档 实验三 NFA 确定化程序的设计与实现 一、实验目的 通过 NFA 确定化程序的实现理解 NFA-DFA 的转换。 二、实验重难点 DFA 最小化程序编码实现 三、实验内容与要求 1、FA 的程序表示； 2、FA 的类型判定，要求程序能根据给定的 FA 判定是 NFA 还是 DFA ，如 果是 NFA 则进行确定化，如果是 DFA 则给出提示信息并退出。 四、实验学时 4 课时 五、实验设备与环境 Visual C++ 6.0 六、实验过程 1．以教材 P72 页习题 3 为例，构造自动机的 C 语言程序表示； 代码： 收集于网络，如有侵权请联系管理员删除 精品文档 2. 编写程序自动判断该 FA 的类型，并输出类型信息； 代码： 3. 将该 NFA 确定化为 DFA 。 代码： 收集于网络，如有侵权请联系管理员删除 精品文档 4. 写出与该自动机相等价的正规式。 R = 5. 根据正规式，构造一个由 0,1 构成的数字串，并作为输入，通过运行该 自动机程序判断该字符串能否被该自动机所识别。 此处给出测试数据及运行结果。 教师评语： 是否完成实验程序的预备设计？ 是： 不是： 程序能否正常运行？ 是： 不是： 有无测试数据及结果分析 是： 不是： 是否在本次规定时间完成所有项目？ 是： 不是： 收集于网络，如有侵权请联系管理员删除 精品文档 实验成绩等级： 教师签名： N0: 时间： 附录： FA = ({0,1,2,3},{a,b},M,0,{3}) M: M(0,a)=1 M(0,b)=2 M(1,a)=3 M(1,b)=2 M(2,a)=1 M(2,b)=3 M(3,a)=3 M(3,b)=3 参考程序： 收集于网络，如有侵权请联系管理员删除 精品文档 收集于网络，如有侵权请联系管理员删除