6. (20 points) Consider the problem of determining whether a DFA and a regular expres- sion are equivalent. Express this problem as a language and show that it is decidable. (Hint: use theorem 4.5 and theorem 1.54 (or lemma 1.55))