Deutsch English Français Italiano |
<van30n$3f6c0$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory Subject: Re: Ben Bacarisse fails understand that deciders COMPUTE THE MAPPING FROM INPUTS --- I proved that I am correct and Mikko Ignored it Date: Wed, 28 Aug 2024 06:51:51 -0500 Organization: A noiseless patient Spider Lines: 50 Message-ID: <van30n$3f6c0$2@dont-email.me> References: <va104l$376ed$4@dont-email.me> <cd375f68f97a737988bab8c1332b7802509ff6ea@i2pn2.org> <va13po$376ed$7@dont-email.me> <d42e5d30ea5f1c067283cb04d8a7293e2117188e@i2pn2.org> <va24hl$3cvgv$1@dont-email.me> <431deaa157cdae1cae73a1b24268a61cf8ec2c1c@i2pn2.org> <va38qh$3ia79$1@dont-email.me> <7a1c569a699e79bfa146affbbae3eac7b91cd263@i2pn2.org> <va3f7o$3ipp3$1@dont-email.me> <729cc551062c13875686d266a5453a488058e81c@i2pn2.org> <va3kac$3nd5c$1@dont-email.me> <148bf4dd91f32379a6d81a621fb7ec3fc1e00db0@i2pn2.org> <va3lai$3nd5c$2@dont-email.me> <va46sd$3pr24$1@dont-email.me> <va4mle$3s0hu$1@dont-email.me> <5591ff08ed8f7b4bdf33813681e156b775efe0ec@i2pn2.org> <va63uu$2fo9$1@dont-email.me> <b0a86b6a1343ebb5f9112ae757768a7cbbc770b2@i2pn2.org> <va65r8$6ht7$1@dont-email.me> <da75188ffa7677bd2b6979c8fc6ba82119404306@i2pn2.org> <878qwn0wyz.fsf@bsb.me.uk> <efacnfsQdv-ErlT7nZ2dnZfqnPadnZ2d@brightview.co.uk> <87le0jzc8f.fsf_-_@bsb.me.uk> <vaj1kd$2kvg9$1@dont-email.me> <vamk31$3d76g$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Wed, 28 Aug 2024 13:51:52 +0200 (CEST) Injection-Info: dont-email.me; posting-host="fac62f6084ae4030e082c32c7cff718b"; logging-data="3643776"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/RqufVc0I/f3zaJF9mIwFZ" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:TSTqbk/Mmfo3oz1mI1jfodk7xIY= In-Reply-To: <vamk31$3d76g$1@dont-email.me> Content-Language: en-US Bytes: 3536 On 8/28/2024 2:37 AM, Mikko wrote: > This group is for discussions about the theory of computation and related > topics. Discussion about people is off-topic. > Try to point to the tiniest lack of clarity in this fully specified concrete example. void DDD() { HHH(DDD); return; } _DDD() [00002172] 55 push ebp ; housekeeping [00002173] 8bec mov ebp,esp ; housekeeping [00002175] 6872210000 push 00002172 ; push DDD [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD) [0000217f] 83c404 add esp,+04 [00002182] 5d pop ebp [00002183] c3 ret Size in bytes:(0018) [00002183] HHH computes the mapping from DDD to behavior that never reaches its "return" statement on the basis of the x86 emulation of DDD by HHH according to the semantics of the x86 language. For all the years people said that this simulation is incorrect never realizing that they were disagreeing with the semantics of the x86 language. Now that I point this out all that I get for "rebuttal" is bluster and double talk. The same thing applies to this more complex example that is simply over-the-head of most reviewers: int DD() { int Halt_Status = HHH(DD); if (Halt_Status) HERE: goto HERE; return Halt_Status; } -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer