第三章有限状态自动机2014.pptVIP

输入的字符同时输出： λ：λ(q0)=ε，λ(q1)=0，λ(q2)=1 λ(q3)=0， λ(q4)=1， λ：λ(q0)=0|1，λ(q1)=0|1，λ(q2)=0|1 λ(q3)= ε ， λ(q4)= ε q0 S q1 q3 0 0 q2 q4 1 1 1 0 例 设计一个Moore机，∑={0，1}，若将输入串看成一个二进制数，要求在读入过程中，能输出它已读过子串的模3余数。 因为模3余数只能有0，1，2三个值，因此取Δ={0，1，2}，并且只设三个状态q0,q1,q2，分别对应这三种余数。 qs S 1 0 q0 q1 1 q2 0 1 1 0 0 * * Mealy机 M=(Q，∑，Δ，δ，λ，q0) Δ——输出字母表。 λ：Q×∑?Δ为输出函数。对?(q，a)∈Q×∑，λ(q，a)=d表示M在状态q读入字符a时输出d。 输入的字符同时输出： λ：λ(q0，0)=0， λ(q0，1)=1， λ(q1，0)=0， λ(q1，1)=1， λ(q2，0)=0， λ(q2，1)=1， q0 S q1 q3 0 0 q2 q4 1 1 1 0 例 给出一个0，1串的集合S，该集合中的串都以00或11结尾。要求设计一个只有两个输出符号（Δ={y,n}）的Mealy机，当它读过属于集合S的串时，输出y，表示接受；当它读过不属于集合S的串时，输出n，表示不接受。 * * Moore机处理该串时每经过一个状态，就输出一个字符：输出字符和状态一一对应； Mealy机处理该串时的每一个移动输出一个字符：输出字符和移动一一对应。 转为Mealy机 * * 希望是接受{x|x∈{0，1}*，且x含有子串00或11}的FA如下： * * 希望是接受{x|x∈{0，1}*，且x 的倒数第10个字符为1}的FA如下 ： * * 这两个图所给的“FA”与前面我们所定义的FA，即DFA，的区别在于： ⑴ 并不是对于所有的(q，a)∈∑×Q,δ(q，a)都有一个状态与它对应； ⑵ 并不是对于所有的(q，a)∈∑×Q,δ(q，a)只对应一个状态。 “FA”在任意时刻可以处于有限多个状态。 * * 对于一个输入字符，NFA与DFA的差异是前者可以进入若干个状态，而后者只能进入一个惟一的状态。虽然从DFA看待问题的角度来说，NFA在某一时刻同时进入若干个状态，但是，这若干个状态合在一起的“总效果”相当于它处于这些状态对应的一个“综合状态”。因此，我们考虑让DFA用一个状态去对应NFA的一组状态。 * * NFA与DFA等价 NFA M1=(Q，∑，δ1，q0，F1)与DFA M2=(Q2，∑，δ2，q0′，F2)的对应关系： NFA从开始状态q0启动，我们就让相应的DFA从状态[q0]启动。所以q0′=[ q0]。 对于NFA 的一个状态组{q1，q2，…，qn}，如果NFA在此状态组时读入字符a后可以进入状态组{p1，p2，…，pm},则让相应的DFA在状态[q1，q2，…，qn]读入字符a时，进入状态[p1，p2，…，pm]。 * * 构造给定NFA等价的DFA策略 先只把开始状态[q0]填入表的状态列中，如果表中所列的状态列有未处理的，则任选一个未处理的状态[q1，q2，…，qn]，对∑中的每个字符a，计算δ([q1，q2，…，qn]，a)，并填入相应的表项中，如果δ([q1，q2，…，qn]，a)在表的状态列未出现过，则将它填入表的状态列。如此重复下去，直到表的状态列中不存在未处理的状态。 从NFA构造等价的DFA更为实用的方法是采取以下步骤： 从状态[q0]出发，通过状态转移函数δ′，逐步扩充状态集；每一步仅对状态集中新增加的状态，才写出状态转移函数；此过程一直继续下去，直到不再增加新的状态为止，最后就得到了DFA。 第一步 从[q0]开始： δ′([q0],0)=[q0,q1], δ′([q0],1)=[q0,q2]。 第二步 处理两个新状态[q0,q1]和[q0,q2] ： δ′( [q0,q1],0)=[q0,q1,q3]， δ′( [q0,q1],1)=[q0,q2]； δ′( [q0,q2],0)=[q0,q1]， δ′( [q0,q2],1)=[q0,q2,q3]。第三步 处理新增加的两个状态[q0,q1,q3]和[q0,q2,q3] ： δ′([q0,q1,q3],0)=[q0,q1,q3], δ′([q0,q1,q3],1)=[q0,q2,q3]； δ′([q0,q2,q3],0)=[q0,q1,q3], δ′([q0,q2,q3],1)=[q0,q2,q3