in Theory of Computation retagged by
80 views
0 votes
0 votes

please verify the answer

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

in Theory of Computation retagged by
80 views

3 Comments

edited by

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.
0
0
I guess, you have missed $*$ in $ab^{+}ab^{+}$ for the loop.
1
1
Thank you. Fixed it.
0
0

Please log in or register to answer this question.