I need to prove (or disprove, but I think those are proves), that the regular expression:
r = (a+b)*b(a+b)*a(a+b)* (where + is OR and * is Kleene star)
is equivalent to those expressions:
r' = (a+b)*bb*a(a+b)*
r'' = a*b(a+b)*ab*
The prove needs to be done by two-sided containment (that is, prove that L(r) is in L(r') and vice versa). Any help would be appriciated.
Thanks in advance