For a Turing machine M(.) with an input w, let M(w) be the output on the output tape if it stops in finite steps. Let L={(M1, M2, w)| M1 and M2 are Turing machines, w is an input, and M1(w ) is not equal to M2(w)}. Prove that L is undecidable by finding a reduction from to it, where ={ |Turing machine M accepts w}.
Already registered? Login
Not Account? Sign up
Enter your email address to reset your password
Back to Login? Click here