Question

6. (12 marks) This question tests your understanding of the equivalence between DFAS and NFAS. Consider NFA M (, q2},{0,1}, 6, qı, {q1}) for o defined as: 0 1 {1, 2} Ø 92} {q1, g2}|{1} (a) (4 marks) Draw the state diagrams for M. (b) (2 marks) Based on the construction of Theorem 1.39 in the text, start to build the DFA M' that is equiva- lent to M by identifying the number of DFA states and listing them. (c) (2 marks) Identify the DFA M' starting and acceptance states (d) (4 marks) Draw the state diagram for the DFA M' equivalent to M based on the construction of Theorem 1.39 in the text (recall the latter proves that DFA8 and NFA8 are equivalent)

Answer 1

talle Given Tramiton for ver Stal diagrom م fonction tartian s(70) 2 s (21112}

s(v2, ) Stal diayram o M (b) Can albove E- NFA The Convekd uoing to OFA fellocos e-cloxare E-dovere (92) ireached fom s (21) tale an mate Compul tranni tion fonction folous

S(an, 0) 3(1,0) 0 (Ca,0} 2 i OFA M The ar 2 2 1/2912 the (C) As NEA givern Vaccepting Mart rala

OFA Stanting ala accaptance rals 2 2 OUre ala diag rarn The 12 S0) s() V2 2)

s(Ent), DFA The 2