How would I go about proving the following two regular expressions are equal to one another:
( a + b )* a ( a + b )* b( a + b )* = (a + b)* ab(a + b)*
I can "see" why they are equal to one another because the second
( a + b )* is a redundant term as the expression will always have an ab together. But how can I formalize this and show, in general, that this is true ?