1 (40 points) Consider the following NFAs (a) and (b) below:
-
6
a.b
a,b
(a)
(b)
Answer the following questions:
(a) (5 points) Give a formal definition of the NFA (a) (b) (10 points) As discussed in class, every NFA has an equivalent DFA. Give the for- mal definition of the DFA A (equivalent to NFA (a)) according to the construction given in Theorem 1.39.
(d) (5 points) Give a formal definition of the NFA (b)
(e) (10 points) As discussed in class, every NFA has an equivalent DFA. Give the for mal definition of the DFA B (equivalent to NFA (b)) according to the construction given in Theorem 1.39.
(f) (5 points) Draw the state diagram of the DFA B.