构造一个DFA M 它接受以000结尾的二进制串。
结尾,正确答案
已帮助 人
-
正确答案：接受以000结尾的二进制串的确定的有限自动机： M＝({q0q1q2q3){01}fq0{3}}其中 f(q00)＝q1 f(q01)＝q0 f(q10)＝q2 f(q11)＝q0 f(q20)＝q3 f(q21)＝q0 f(q30)＝q3 f(q31)＝q0
接受以000结尾的二进制串的确定的有限自动机：M＝({q0,q1,q2,q3),{0,1},f,q0,{3}}其中f(q0,0)＝q1f(q0,1)＝q0f(q1,0)＝q2f(q1,1)＝q0f(q2,0)＝q3f(q2,1)＝q0f(q3,0)＝q3f(q3,1)＝q0