下载  >  课程资源  >  C/C++  > 有穷自动机的化简与确定化

有穷自动机的化简与确定化 评分:

(1) 正规式到DFA的转化; (2) NFA到DFA的转化; (3) DFA的最小化; (4) 对输入字符的测试。

...展开详情
2012-02-18 上传 大小:1.05MB
举报 收藏 (1)
分享
DFA的最小化 (完整可运行代码)

本程序的基本数据结构是string类型的数组,用于储存划分的子集,而子集中的元素的邻接点与权值都在edge结构体数组中存储。 把一个DFA的状态分成一些不相交的子集,使得任何不同的两子集的状态都是可区别的,而同一子集中的任何两个状态都是等价的. 算法假定每个状态射出的弧都是完全的,否则,引入一个新状态,叫死状态,该状态是非终态,将不完全的输入弧都射向该状态,对所有输入,该状态射出的弧还回到自己。 1.构造状态的一初始划分:终态kt 和非终态K- kt两组(group) 2.对∏施用过程PP 构造新划分∏new

立即下载
编译原理实验-不确定有穷状态自动机的确定化(NFA到DFA)

输入:非确定有穷状态自动机NFA 输出:确定化的有穷状态自动机DFA

立即下载
有限状态自动机(NFA)的确定化

编译原理实验 输入有限(穷)状态自动机,输出确定化的有限(穷)状态自动机

立即下载
编译原理实现C语言的NFA确定化和DFA最小化

编译原理实现DFA和NFA,C语言 (凑字数字数字数字数字数)

立即下载
编译原理实验五:有穷自动机的确定化

编译原理实验五:有穷自动机的确定化,zip文件里包含实验报告和源代码两部分。

立即下载
有穷自动机的化简与确定代码报告及PPT

有穷自动机有穷自动机的化简与确定代码报告及PPT的化简与确定 编译原理课程设计 C++

立即下载
编译原理实验 DFA(确定的有穷自动机)的化简

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后转换

立即下载
保存图片到本地相册

保存图片到本地相册,可以在相册查看,Android 6.0以上也可以实现

立即下载