Deutsch English Français Italiano |
<vprdr3$3gqpb$4@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory Subject: Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH Date: Thu, 27 Feb 2025 22:25:06 -0600 Organization: A noiseless patient Spider Lines: 89 Message-ID: <vprdr3$3gqpb$4@dont-email.me> References: <vo6420$3mpmf$1@dont-email.me> <5cd9bc55c484f10efd7818ecadf169a11fcc58e1@i2pn2.org> <votq5o$ppgs$1@dont-email.me> <vouu57$12hqt$3@dont-email.me> <vp1jkg$1kstl$1@dont-email.me> <vp1qp1$1m05h$2@dont-email.me> <vp46l6$26r1n$1@dont-email.me> <vp5t55$2gt2s$1@dont-email.me> <vp6pmb$2opvi$1@dont-email.me> <vp8700$30tdq$1@dont-email.me> <vp9ct8$3af6t$1@dont-email.me> <vpav34$3jct4$1@dont-email.me> <vpc3u9$3skb7$1@dont-email.me> <vpcsvk$irt$2@dont-email.me> <vpev2e$fgop$1@dont-email.me> <vpfmpp$j7qb$6@dont-email.me> <vphbnb$10gus$1@dont-email.me> <vpivp4$1fvqe$6@dont-email.me> <vpklrk$21jn9$1@dont-email.me> <vplbnp$25vp2$5@dont-email.me> <b122ed1dc2c636321627d4dfc7936e463f920690@i2pn2.org> <vpltcn$28j3a$6@dont-email.me> <7eb818791abdbf7830165a16375b0aa7c82be013@i2pn2.org> <vpn9eu$2jkdj$4@dont-email.me> <vpnehd$2kaqd$2@dont-email.me> <vpoqs2$2vaf3$6@dont-email.me> <vppd06$323f6$4@dont-email.me> <vpqhbe$38ma4$2@dont-email.me> <a32b354038871cac1af0768e09e39e3a5e14ce43@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 28 Feb 2025 05:25:07 +0100 (CET) Injection-Info: dont-email.me; posting-host="de9c75e0e594a6c6f2c98c0fd19b8497"; logging-data="3697451"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/BWvCWF5rkwXtUK2yzbIga" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:rVYOqzHRkwqOc1FpDgKYcAKJgMU= In-Reply-To: <a32b354038871cac1af0768e09e39e3a5e14ce43@i2pn2.org> X-Antivirus: Norton (VPS 250227-10, 2/27/2025), Outbound message Content-Language: en-US X-Antivirus-Status: Clean Bytes: 5433 On 2/27/2025 7:00 PM, Richard Damon wrote: > On 2/27/25 3:18 PM, olcott wrote: >> On 2/27/2025 3:58 AM, Fred. Zwarts wrote: >>> Op 27.feb.2025 om 05:49 schreef olcott: >>>> On 2/26/2025 10:12 AM, Fred. Zwarts wrote: >>>>> Op 26.feb.2025 om 15:45 schreef olcott: >>>>>> On 2/26/2025 3:29 AM, joes wrote: >>>>>>> Am Tue, 25 Feb 2025 20:13:43 -0600 schrieb olcott: >>>>>>>> On 2/25/2025 5:41 PM, Richard Damon wrote: >>>>>> >>>>>> >>>>>>>> The behavior of DD emulated by HHH only refers to DD and the >>>>>>>> fact that >>>>>>>> HHH emulates this DD. >>>>>>> On on hand, the simulator can have no influence on the execution. >>>>>> >>>>>>> On the other, that same simulator is part of the program. >>>>>>> You don't understand this simple entanglement. >>>>>>> >>>>>> >>>>>> Unless having no influence causes itself to >>>>>> never terminate then the one influence that >>>>>> it must have is stopping the emulation of this input. >>>>>> >>>>> >>>>> >>>>> If the influence is that it does not complete the simulation, but >>>>> aborts it, then the programmer should understand that the simulated >>>>> simulation has the same behaviour, causing halting behaviour. >>>> >>>> We have only been talking abort normal termination of a >>>> C function for several weeks. Perhaps you have no >>>> idea what "normal termination" means. >>> >>> It seems that Olcott does not understand the terminology. It has been >>> proven by direct execution that the finite string given to HHH >>> describes a program that terminates normally. >> >> >> >>> That HHH is unable to reach this normally termination is a failure of >>> HHH. This failure of HHH does not change the behaviour described by >>> this finite string. >>> >>>> >>>>> Aborting a program with halting behaviour >>>> >>>> We have not been talking about halting for a long >>>> time. This term has proven to be far too vague. >>>> Normal termination of a C function means reaching >>>> its "return" instruction. Zero vagueness. >>> >>> Introducing the concept of aborting a program before it can reach its >>> return instruction to prove its 'non-termination' makes it even more >>> vague. >>> >>>> >>>> >>>>> does not change it into non- halting. It is childish to claim that >>>>> when you close your eyes, things do not happen. >>>> >>>> You can't even keep track of what we are talking about. >>>> >>> >>> Change of subject to avoid a honest discussion. >>> It is childish to claim that things do not happen when you close your >>> eyes. >>> >> >> When I say that DD emulated by HHH cannot terminate >> normally it is flat out dishonest to say that I am >> wrong based on another different DD that has different behavior. >> > > That claim is just flat out dishonest, and proves you don't understand > the meaning of the words you are using. > DD emulated by HHH explicitly excludes directly executed DD that has a different execution trace. It has always been ridiculously stupid for anyone to expect HHH to report on any behavior besides the behavior that its finite string input specifies. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer