Madeeasy

Question

I don’t understand question itself , I understood that because L = {<M>| M is TM that halts on all input , it is decidable , i don’t understood anything else}

Comments

.

they are saying both condition should satisfy.....now if 1st one satisfy then 2nd condition must return false as it is l' so

A and A' is always false so it is decidable ......recursive because it is phi always as both 1 and 2 condition cant be true at same time