Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH

olcott <polcott333@gmail.com> writes:
[...]

HHH does correctly simulate DDD until
HHH correctly determines that its simulated DDD
would never stop running unless aborted.

[...]

And my understanding is that it is mathematically impossible for HHH
to do what you claim it does, and that that fact is consistent with
Sipser's supposed agreement.  Sipser "agreed" with somthing similar
to the 4-sided triangle example I recently posted.  You snipped
that example, which is unusual for you, your posts typically include
hundreds of lines of quoted text from previous posts.

And it's still entirely possible that I've missed something.
I'm waiting for someone whose judgement I trust to comment.

--
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */