Let B denote the complement of A-TM and L = { : |L(M)| <= 3 }
(a) Design a many-one reduction from B to L and prove it is a correct reduction.(You have seen the right reduction in lectures, between other languages. Focus on the proof.)
(b) Let L' denote the complement of L. Show that L' is recognizable. No need for a detailed proof here.
(c) What can be said about the class that L belongs to and does not belong to? Try to use brief arguments and use existing results from lecture.