310 views
$(a+b)^* =a^*(ba^*)^*$

As this identity already proved. But $a^*(ba^*)^*$ couldn't generate "bab" . But $(a+b)^*$ could generate all strings over {a,b}. Then the above identity seen to be proved false. Please discuss how this is possible.

@Dhananjay15, Brother if it is already proved means it should be correct...

If we didn't get that string, it means I hope we did somewhere mistake

Let's generate bab -

(ba*)* = { ε , (ba*), (ba*)(ba*) ....... }

a*        = { ε , a, aa, aaa.....}

I am expanding (ba*)* twice i.e. (ba*)* = (ba*)(ba*)

a*(ba*)* = a*(ba*)(ba*)

= ε(b a )(b ε )

= bab                                         .......... [ ε .b = b or b . ε = b]

a^* (ba^*)^* =( ba^*)^* = (ba)(ba^*) = bab

1
4,741 views
1 vote