第三章 有限状态自动机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，表示接受；当它