A = {[M] | M is a turing machine and L(M)=null}; 
Given the language A, we want to write a turing machine R that Decides(I don't mean Recognizes) the language A.