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

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