Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Keith Thompson Newsgroups: comp.theory Subject: Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Date: Wed, 14 May 2025 16:43:08 -0700 Organization: None to speak of Lines: 20 Message-ID: <878qmyahdf.fsf@nosuchdomain.example.com> References: <1000dlc$21dtc$5@dont-email.me> <1000qdb$24gr3$4@dont-email.me> <1000rir$24jh0$3@dont-email.me> <1000rqc$24gr3$7@dont-email.me> <1000son$24sr2$3@dont-email.me> <7947826fb84c9c8db49c392b305d395c3669907f@i2pn2.org> <1002dre$2i4bk$14@dont-email.me> <1002vp2$2mbr6$3@dont-email.me> <10030c3$2mivc$3@dont-email.me> <87h61mang3.fsf@nosuchdomain.example.com> <100348f$2mtsb$7@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain Injection-Date: Thu, 15 May 2025 01:43:09 +0200 (CEST) Injection-Info: dont-email.me; posting-host="5a831048c3367e529229a64cc925cf0c"; logging-data="2901297"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX190D81quMZMBC+5ESa1kSNy" User-Agent: Gnus/5.13 (Gnus v5.13) Cancel-Lock: sha1:TPo/9ITvmpEyQdmmQKe2K9Nm2Vs= sha1:b4Xo6CrLxAPgLm68jtHFcdiS7Uw= olcott 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 */