画出下列有限自机的状态转换图.docVIP

习题3 3-1 画出下列有限自动机的状态转换图，并说明它所识别或接受的语言是什么？ M＝({S，A，B，C}，{0，1}，f，S，{S})，其转换函数为： f(S，0)=B f(B，0)= S f(S，1)=A f(B，1)= C f(A，0)=C f(C，0)= A f(A，1)=S f(C，1)= B 参考答案：有限自动机的状态转换图 它所识别或接受的语言是： L(M)={(,00,11,0101,0110,1001,1010,0011,0000,1111,…,} 由偶数个0或偶数个1组成的二进制串。 M＝({0，1，2}，{a，b}，f，0，{2})，其状态转移矩阵为： 符号 状态 a b 0 {1,2} {0} 1 {0,1} ( 2 {0,2} {1} 解答：有限自动机M的状态转换图： 有限自动机M所识别或接受的语言是： L(M)={a,aaa,abaa,ba,baaa,babaa,…} 3-2设计字母表∑={a,b}上的确定有限自动机，使它能识别或接受下列语言： 以aa为首的所有符号串集合； 解答： 正则式e=aa(a | b)* NFA： DFA： a b 0 1 ( 1 2,3,4 ( 2,3,4 3,4 3,4 3,4 3,4 3,4 最小化： a b 2 3 3 3 3 3 2，3等价，合并。