By using the NFAs you have constructed in the first question, apply the standard methods as desribed in in Sipser (Figure 1.46, 1.48 and 1.50) to design NFA Na and a NFA Nb such that L(Na) = B 1 B2 and L(Nb ) = B 2 B3.

Your answer should provide, for each DFA, a finite state diagram where all the states, the starting state, all of the accepting states and all the transitions (with the corresponding labels) are displayed/drawn clearly. Show intermediate steps.

21.00 FIGURE 1.46 Construction of an NFA N to recognize Ai U A2