有限自动机第三章答案.docVIP

第三章 ******************************************************************************* 1．构造下列语言的DFA ( 陶文婧 ) （1）{0，1}* （2）{0，1}+ （3）{x|x({0，1}+且x中不含00的串} （设置一个陷阱状态，一旦发现有00的子串，就进入陷阱状态） （4）{ x|x({0，1}*且x中不含00的串} （可接受空字符串，所以初始状态也是接受状态） （5）{x|x({0，1}+且x中含形如10110的子串} （6）{x|x({0，1}+且x中不含形如10110的子串} （设置一个陷阱状态，一旦发现有00的子串，就进入陷阱状态） （7）{x|x({0，1}+且当把x看成二进制时，x模5和3同余，要求当x为0时，|x|=1,且x(0时，x的首字符为1 } 以0开头的串不被接受，故设置陷阱状态，当DFA在启动状态读入的符号为0，则进入陷阱状态 设置7个状态：开始状态qs,q0:除以5余0的等价类，q1：除以5余1的等价类,q2:除以5余2的等价类，q3:除以5余3的等价类，q4:除以5余4的等价类，接受状态qt 状态转移表为 状态 0 1 q0 q1 q2