User blog comment:LittlePeng9/Random Turing machines/@comment-5150073-20130609110636/@comment-1605058-20130609115404

Your input doesn't work, because my machine can't exectute Sxyz->xz(yz) yet.

And, no :P This is same question as if we can program TM to resolve oracle for TMs.