Gegeven is taal V = {⟨M⟩ | M is een dfa die w^R accepteert d.e.s.d.a. hij w accepteert}. Is V beslis- baar? Geef een bewijs. Hint: in het bewijs kun je gebruikmaken van een Turingmachine die de taal L(M)^R accepteert.