编译原理实验NFA确定化为DFA.docVIP

实用标准文档 文案大全 PAGE 1 2016.11.02 不确定有穷状态自动机的确定化  目录 TOC \o 1-3 \h \z \u 一、实验名称 2 二、实验目的 2 三、实验原理 2 1、NFA定义 2 2、DFA的定义 2 3、closure函数 2 4、move函数 3 四、实验思路 3 1、输入 3 2、closure算法 3 3、move算法 3 4、构造子集 4 5、输出 4 五、实验小结 4 1、输入存储问题 4 2、closure算法问题 4 3、输出问题 5 六、附件 5 1、源代码 5 2、运行结果截图 7 一、实验名称 不确定有穷状态自动机的确定化 二、实验目的 输入：非确定有穷状态自动机NFA 输出：确定化的有穷状态自动机DFA 三、实验原理 1、NFA定义 一个不确定的有穷自动机M是一个五元组，M=(K,E,f,S,Z)其中 K是一个有穷集，它的每个元素称为一个状态； E是一个有穷字母表，它的每个元素称为一个输入符号； f是一个从K×E*到K的子集的映像，即：K*E*-2k，其中2k表示K的幂集； S包含于K，是一个非空初态集； Z包含于K，是一个终态集。 2、DFA的定义 一个确定的有穷自动机M是一个五元组，M=