Theory Of Computation

Question

please verify the answer

I think BD on ‘b’ going on ‘BD’??

Comments

Given DFA is for $b^*+(ab^+ab^+)^*$

After forgetting all the English grammar lessons and then reading this question, one can get that the DFA is the “AND” condition of

1. All strings over $\{a,b\}$ with even number of a’s
2. All strings over $\{a,b\}$ where every a is immediately followed by at least one b.

---

I guess, you have missed $*$ in $ab^{+}ab^{+}$ for the loop.

---

Thank you. Fixed it.