in Theory of Computation edited by
2,375 views
1 vote
1 vote
For even no a's  RE  over  {a,b}  

1) (b*ab*ab*)* + b*  

2) (b*ab*ab*)*.b*  

3) both are equal?

which one is correct?
in Theory of Computation edited by
2.4k views

4 Comments

both are same and can be used for generating even no of a's.
1
1
Yes Both are same, accepts the even number of a's but the second RE also tries to accept of any number of b's due to concatenation.
Sry fr the wrong ans
0
0
Both are same. multiple expression are possible for any given language.
0
0

1 Answer

3 votes
3 votes
$(b^*ab^*ab^*)^*+b^* \equiv (b^*ab^*ab^*)^*b^* \equiv b^*(b^*ab^*ab^*)^* \equiv b^*(ab^*ab^*)^* \equiv (b^*ab^*a)^*b^*$

Related questions