I'm trying to prove that two regular expressions are equivalent. I mean prove in the rigorous sense of the word (i.e. this is a legit proof).
The process is to show that R1 is a subset of R2, and then show R2 is a subset of R1. I'm a bit stuck on moving forward with my problem. Any help would be sweet.
$R_1 = \epsilon + (0+1)^{*}1$
$R_2 = (0^{*}1)^{*}$
Thanks!