Would it be wrong to use the fact that L belongs to R, so there's a TM M that decides her and create the following reduction?
for arg w, M' would run M on w, if M accepts, M' accepts and w belongs to L as well.
else, deny.
correctness:
w belongs to L complement -> M do not accept w-> M' denies -> w do not belong to L and symmetrical on the other way?
in the answers to the test, they have specifically pointed out on 2 words n,y that belongs/not to L and just gave the exact answer.
Thank you.