6. (12 marks) This question tests your understanding of the equivalence between DFAs and NFAs. Consider NFA M = ((a,Y2}, {a,b), , qi, {Y1 }) for defined as: (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 DFAs and NFAs are equivalent)