计算理论习题答案CHAP1newedit.doc

练习 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 | w的长度不小于

文档评论(0)

1亿VIP精品文档

相关文档