NFA确定化和DFA最小化.docx
文本预览下载声明
Code711.cn
编译原理实验报告
（一）实验内容
NFA的确定化
给定一个NFA，将其确定化，成为DFA。
已知NFAM=K,sigma,f,S,Z
构造DFAM2=K2,sigma2,f2,S2,Z2
使得L(M)=L(M2)
以上过程称为NFA的确定化。
DFA的最小化
给定一个DFA，将其最小化，使得相同状态合并，成为最小化DFA。
基本思想
NFA的确定化
在转换NFA为DFA之前，需要确定每个状态的闭包，其闭包求法为：
对于任意q属于I，则q属于closure（I）
若p属于closure（I）,
NFA的确定化算法如下：
令q0=closure({S})，K2={q0}
显示全部