计算理论习题答案CHAP1new.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,