第3章作业及参考答案..docVIP

1、针对DFA M1， 1请给出在处理字符串1011001的过程中经过的状态序列。 解：经过的状态序列为：q0q3q1q3q2q3q1q3 2请给出形式描述。 争议：M1的形式化还是接受过程的形式化？ 解：M1的形式描述为M1q0,q1,q2,q3,0,1,δ, q0, q3 其中δ定义为： δq0,0 q1，δq0,1 q3 δq1,0 q2，δq1,1 q3 δq2,0 q3，δq2,1 q0 δq3,0 q1，δq3,1 q2 接受过程的形式化：1q座机电话号码├10q111001├101q31001├1011q2001├10110q301├101100q11├1011001q3 注意：谈及自动机形式化描述，一定是用五元组表示，将δ函数直接写出来 2、构造识别下列语言的DFA （要求写出形式化描述，另外，写出设计过程对理清你的思维更有益） 3 x| x∈0,1+且x中不含形如00的子串 或：对, 但稍嫌麻烦 错解:x∈0,1* 不接受1, 可接受000 5 x| x∈0,1+且x中含形如10110的子串 q0：起始状态，以及未读入1的状态； q1：读入了10110中第1个符号1的状态； q2：读入了10110中第2个符号0的状态； q3：读入了10110中第3个符号1的状态； q4：读入了10110中第4个符号1的状态； q5：读入了10110中第5个符号0的状态； 易犯的错误: 状态转移时, 不考虑已接受一些字符后所处状态, 一味地转到开始状态，不利用阶段性成果，狗熊掰棒子！ 7 x| x∈0,1+且把x看成二进制数时，x模5与3同余，要求中当x为0时，|x|1，且x≠0时，x首字符是1 提示: 和P98例3-5属同一类型, 这种设计如不写清楚设计过程, 不能服人, 也不能反映你的设计方法. 解：按题意，当x为0时，x的长度为1，即不能出现多于1个0的全0串；当x不为0时，必须以1开始。又由于0模5与3不同余，故在开始状态qs读入0，则直接进入陷阱状态qt，即δqs,0 qt。其余状态为：q1：对应x模5与1同余的等价类；q2：对应x模5与2同余的等价类；q3：对应x模5与3同余的等价类终止状态；q4：对应x模5与4同余的等价类；q5：对应x模5与0同余的等价类x≠0； 所以，要构造的DFA为：Mqs,q1,q2,q3,q4,q5,qt,0,1,δ, qs, q3 状态转换函数δ定义如下： 0在初始状态qs，δqs,0 qt，δqs,1 q1 1当处于q1状态时，已读入的x5n+1, n≥0由2x+05×2n+2，有δq1,0 q2由2x+15×2n+3，有δq1,1 q3 2当处于q2状态时，已读入的x5n+2, n≥0由2x+05×2n+4，有δq2,0 q4由2x+15×2n+1+0，有δq2,1 q5 3当处于q3状态时，已读入的x5n+3, n≥0由2x+05×2n+1+1，有δq3,0 q1由2x+15×2n+1+2，有δq3,1 q2 4当处于q4状态时，已读入的x5n+4, n≥0由2x+05×2n+1+3，有δq4,0 q3由2x+15×2n+2+4，有δq4,1 q4 5当处于q5状态时，已读入的x5n, n1由2x+05×2n+0，有δq5,0 q5由2x+15×2n+1，有δq5,1 q1 6在陷阱状态qt，有δqt,0 qt，δqt,1 qt 10 x| x∈0,1+且x中至少含两个1 或 错解: 10、构造识别下列语言的NFA 要求写出形式化描述 2 x| x∈0,1+且x中含形如10110的子串 错解: -----用的是DFA思维 另一不能算错的错误: 设计DFA 形式化描述时易犯的错误: δq3,1 q2 或δq3,1 q2 8 x| x∈0,1+且x的首字符和尾字符相同 或 或后面的这两个解更好!严格讲, 前两解不全对 或 111、根据给定的NFA，构造与之等价的DFA 状态说明 状态 输入字符 0 1 2 开始状态 [q0] q0 q1 [q0 q2] [q0 q2] [q0 q1] [q0 q1 q3] [q0 q2] [q0 q2] [q0 q2] [q0 q1] [q0 q1 q2 q3] [q0 q1 q2] 终止状态 [q0 q1 q3] [q0 q1 q2 q3] [q0 q2 q3] [q0 q2] [q0 q1 q2] [q0 q1 q3] [q0 q1 q2 q3] [q0 q1 q2] 终止状态 [q0 q2 q3] [q0 q1 q2 q3] [q0 q1 q2 q3] [q0 q1 q2] 终止状态 [q0 q1 q2 q3] [q0 q1 q2 q3] [