Peter Linz Edition 4 Exercise 4.1 Question 2 (Page No. 108)

Question

Find nfa's that accept
(a) $L ((a + b) a^*) ∩ L (baa^*)$.
(b) $L (ab^*a^*) ∩ L (a^*b^*a)$.

Answer 1

(a)   L((a+b)a*) intersection L(baa*) = L( a+,b,ba+ ) intersection L( ba+ )

                                                               = L( ba+ )

        For which we can easy make a NFA

 

(b)     L(ab*a*) intersection L(a*b*a) = L( a+ , ab*a)

          For which we can easy make a NFA

Comments

I think the intersection languages for option b is L(ab*a).

---

then what about single a because single a is also accepted according to option b

---

According to you, ab*a  won't acceptable but should be.