Equivalence of Regular Expressions and Regular Languages