第7课 第4章_词法分析_FA.pptVIP

有穷自动机finite automata 有穷自动机作为一种工具，可以识别正规集。它分为两种： 确定的有穷自动机(DFA) 不确定的有穷自动机(NFA) DFA的定义 A set of states K A set of input symbols Σ A set of transition function move that maps state-symbol pairs to states A state s0 as the only initial state A set of states Z as final states DFA举例 DFA M=({S，U，V，Q}，{a，b}，f，S，{Q})，其中f定义为： f (S，a)=U f (V，a)=U f (S，b)=V f (V，b)=Q f (U，a)=Q f (Q，a)=Q f (U，b)=V f (Q，b)=Q 运行 一个输入符号串t，（将它表示成Tt1的形式，其中T∈∑，t1∈ ∑*）在DFA M=（K，Σ，f，S，Z）上运行的定义为： f(Q， Tt1) =f(f(Q，T)，t1)，其中Q∈K 扩充转换函数f为 K×Σ*→K上的映射，且： f(ki，?)= ki 识别 ∑*上的符号串t被DFA M接受 M=（K，Σ，f，S，Z） 若t? ∑*，f(S，t)=P，其中S为 M的开始状态，P ? Z，Z为终态集。 则称t为DFA M所接受（识别）. 例子 NFA的定义 NFA M=?K，?，f，S，Z?，其中K为状态的有穷非空集， ? 为有穷输入字母表，f为K? ?* 到K的子集（2 K）的一种映射，S?K是初始状态集，Z ?K为终止状态集. NFA的例子 NFA M=（{S，P，Z}，{0，1}，f， {S，P}，{Z}） 其中 f（S，0）={P} f（S，1）={S，Z} f（Z，0）={P} f（Z，1）={P} f（P，1）={Z} NFA的状态图 NFA的矩阵表示 NFA的运行与接受 ∑*上的符号串t在NFA M上运行： 一个输入符号串t，（我们将它表示成Tt1的形式，其中T∈∑，t1∈ ∑*）在NFA M上运行的定义为： f（Q， Tt1）=f（f（Q，T），t1） 其中Q∈K. ∑*上的符号串t被NFA M接受 若t? ∑*，f(S0，t)=P，其中S0 ∈S，P ? Z， 则称t为NFA M所接受（识别） 对于Σ﹡中的任何一个串t，若存在一条从某一初态结到某一终态结的道路，且这条道路上所有弧的标记字依序连接成的串(不理采那些标记为ε的弧)等于t，则称t可为NFA M所识别(读出或接受)。若M的某些结既是初态结又是终态结，或者存在一条从某个初态结到某个终态结的道路,其上所有弧的标记均为ε，那么空字可为M所接受。 具有?转移的NFA 定理 对任何一个具有?转移的不确定的有穷自动机NFA 　N，一定存在一个不具有?转移的不确定的有穷自动机NFA　Ｍ ，使得L(M)=L(N)。 例子 NFA转化函数的多值性决定了NFA难于用计算机程序模拟。 因此，我们要探讨NFA和DFA之间的关系 作业 * * 例如 baab 与DFA对比 P57有一个“KONG”道路，什么意思 aa, abb, abba, baa等是可以接受的 a, b, aba等是不可以接受的 b S U V Q a a a b a，b b b S P Z 0 0,1 1 1 1 1 2 ? ? 3 a b c 1 2 ? ? 3 a b c 具有a*b*c*形式的串都能被接受 而形如bac, cca, ccb等则不能被接受 使用时，直接删除本页！ 精品课件，你值得拥有！ 精品课件，你值得拥有！ 使用时，直接删除本页！ 精品课件，你值得拥有！ 精品课件，你值得拥有！ * 例如 baab 与DFA对比 P57有一个“KONG”道路，什么意思 * *