编译原理---NFA转化为DFA---DFA最小化（自己看）

最新推荐文章于 2023-11-05 03:25:32 发布

CodeEggs

最新推荐文章于 2023-11-05 03:25:32 发布

阅读量767

点赞数 1

文章标签：编译原理

CodeEggs

本文链接：https://blog.csdn.net/weixin_45787528/article/details/118196126

版权

本文详细解析了如何从非确定有限自动机(NFA)通过空转和输入操作，构造确定有限自动机(DFA)，并演示了最小化DFA的过程。涉及函数E、move和Ee，以及关键步骤如状态转移和DFA构建。案例1和2展示了实际应用过程。

摘要由CSDN通过智能技术生成

在这里插入图片描述
算法描述：
伪代码：

function E(s){
	return NFA中状态s经过空转移到达的状态集合；
}

function Ee(T){
	return NFA中状态集合T中的每个状态通过空转移到达的状态集合；
}

function move(T,a){
	return NFA中状态集合T中某个状态输入a到达的状态集合；
}

D = E(NFA开始节点);
D中状态未被标记；
C = [所有输入字符集合];
DFA = [][];//二维数组，最后的结果
while D中含有没有被标记的状态T {
	标记T;
	for(i = 0;i < C.size();++i){
		a = C[i];//每个输入的字符
		M = move(T,a);
		U = Ee(M);
		if U == empty{
			continue;
		}
		if U not in D{
			D.append(U);
			并且U未被标记；
		}
		NFA[T][a] = U;
	}
}
show(NFA);

DFA最小化

在这里插入图片描述

案例1

在这里插入图片描述

案例2

在这里插入图片描述

CodeEggs

关注

1
点赞
踩
4

收藏

觉得还不错? 一键收藏
打赏
1
评论
编译原理---NFA转化为DFA---DFA最小化（自己看）

算法描述：伪代码：function E(s){ return NFA中状态s经过空转移到达的状态集合；}function Ee(T){ return NFA中状态集合T中的每个状态通过空转移到达的状态集合；}function move(T,a){ return NFA中状态集合T中某个状态输入a到达的状态集合；}D = E(NFA开始节点);D中状态未被标记；C = [所有输入字符集合];DFA = [][];//二维数组，最后的结果while D中含有没有被标记的状态.
复制链接

扫一扫