计算理论习题解答3.docVIP

计算理论习题解答 练习 1.1 图给出两台DFA M1和M2的状态图. 回答下述有关问题. M1的起始状态是q1 M1的接受状态集是{q2} M2的起始状态是q1 M2的接受状态集是｛q1，q4｝ 对输入aabb,M1经过的状态序列是q1，q2，q3，q1，q1 M1接受字符串aabb吗？否 M2接受字符串ε吗？是 1.2 给出练习2.1中画出的机器M1和M2的形式描述. M1=(Q1,Σ,δ1,q1,F1) 其中 Q1={q1,q2,q3,}; Σ={a,b}; δ1为： a b q1 q2 q3 q2 q1 q3 q3 q2 q1 q1是起始状态 F1={q2} M2=(Q2,Σ,δ2,q2,F2) 其中 Q2={q1,q2,q3,q4}; Σ={a,b}; 3）δ2为： a b q1 q2 q3 q4 q1 q2 q3 q4 q2 q1 q3 q4 q2是起始状态 F2={q1,q4} 1.3 DFA M的形式描述为 ( {q1，q2，q3，q4，q5}，{u,d},δ,q3，{q3}),其中δ在表2-3中给出。试画出此机器的状态图。 1.6 画出识别下述语言的DFA的状态图。 a){w | w从1开始以0结束} b){w | w至少有3个1} c) {w | w含有子串0101} d) {w