资源描述：
《从nfa到dfa的转化实验报告》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、计算机理论基础实验报告实验题目：从NFA到DFA的转化姓名：院（系）：专业班级：学号：指导教师：设计日期：2013年11月1日locatedintheTomb,DongShenJiabang,deferthenextdayfocusedontheassassination.Linping,Zhejiang,1ofwhichliquorwinemasters(WuzhensaidinformationisCarpenter),whogotAfewbayonets,duetomissedfatal,whennightcame7一、实验目的：1.了解NFA和D
2、FA的概念2.NFA和DFA之间的联系3.从NFA到DFA的转化程序编写二、实验原理1.NFANFA(nondeterministicfinite-stateautomata)即非确定有限自动机,一个非确定的有限自动机NFAM’是一个五元式:NFAM’=(S,Σ∪{ε},δ,S0,F)其中S—有限状态集Σ∪{ε}—输入符号加上ε,即自动机的每个结点所射出的弧可以是Σ中一个字符或是ε.S0—初态集F—终态集δ—转换函数S×Σ∪{ε}→2S(2S--S的幂集—S的子集构成的集合）2.DFADFA(deterministicfinite-stateautoma
3、ta)即确定有限自动机，一个确定的有限自动机DFAM是一个五元式:M=(S,Σ，δ,S0,Z)其中:S—有限状态集Σ—输入字母表δ—映射函数(也称状态转换函数)S×Σ→Sδ(s,a)=S’,S,S’∈S,a∈ΣS0—初始状态S0∈SZ—终止状态集ZÍS3.NFA和DFA之间的联系locatedintheTomb,DongShenJiabang,deferthenextdayfocusedontheassassination.Linping,Zhejiang,1ofwhichliquorwinemasters(Wuzhensaidinformationis
4、Carpenter),whogotAfewbayonets,duetomissedfatal,whennightcame7在非确定的有限自动机NFA中,由于某些状态的转移需从若干个可能的后续状态中进行选择，故一个NFA对符号串的识别就必然是一个试探的过程。这种不确定性给识别过程带来的反复，无疑会影响到FA的工作效率。而DFA则是确定的,将NFA转化为DFA将大大提高工作效率,因此将NFA转化为DFA是有其一定必要的。三、实验设计通过本课程设计教学所要求达到的目的是：充分理解和掌握NFA，DFA以及NFA确定化过程的相关概念和知识，理解和掌握子集法的相关知
5、识和应用，编程实现对输入NFA转换成DFA输出的功能。程序总框图如图1所示：总控模块NFA图结构状态转换表机构图操作初始化状态转换矩阵状态转换操作图1程序总框图1、子集构造法locatedintheTomb,DongShenJiabang,deferthenextdayfocusedontheassassination.Linping,Zhejiang,1ofwhichliquorwinemasters(WuzhensaidinformationisCarpenter),whogotAfewbayonets,duetomissedfatal,whenni
6、ghtcame7已证明：非确定的有限自动机与确定的有限自动机从功能上来说是等价的，也就是说，我们能够从：NFAM’DFAM使得L(M)=L(M’)为了使得NFA确定化，我们首先给出两个定义：定义1:集合I的ε-闭包：令I是一个状态集的子集，定义ε-closure（I）为：1）若s∈I，则s∈ε-closure（I）；2）若s∈I，则从s出发经过任意条ε弧能够到达的任何状态都属于ε-closure（I）。状态集ε-closure（I）称为I的ε-闭包定义2:令I是NFAM’的状态集的一个子集,a∈Σ定义:Ia=ε-closure(J)其中J=∪δ(s,a)
7、——J是从状态子集I中的每个状态出发,经过标记为a的弧而达到的状态集合。——Ia是状态子集,其元素为J中的状态,加上从J中每一个状态出发通过ε弧到达的状态。给定如图2所示的NFA:bbεaab01234locatedintheTomb,DongShenJiabang,deferthenextdayfocusedontheassassination.Linping,Zhejiang,1ofwhichliquorwinemasters(WuzhensaidinformationisCarpenter),whogotAfewbayonets,duetomiss
8、edfatal,whennightcame7图2与之等价的DFA如图3：bab{
