Does this set of all turing machines contain the given turing machine? If yes, then it would seem that you can never simulate even a single iteration of the inner loop. If no, then you are not actually simulating all the programs are you?<p>This goes a little beyond NP hard complexity, I believe.