Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: "Chris M. Thomasson" Newsgroups: comp.lang.c,comp.lang.c++ Subject: Re: Can someone please verify the execution trace of this? Date: Mon, 20 May 2024 12:42:51 -0700 Organization: A noiseless patient Spider Lines: 77 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 20 May 2024 21:42:53 +0200 (CEST) Injection-Info: dont-email.me; posting-host="c64270d287de33e0b6496e257486af9b"; logging-data="165370"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/viTtXZLrhjYpmtuuk5ImLmuQkfA0B1tI=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:zCW5qE2yaHVo77EvPaxgzbPquvs= In-Reply-To: Content-Language: en-US Bytes: 4504 On 5/20/2024 12:38 PM, olcott wrote: > On 5/20/2024 2:36 PM, Chris M. Thomasson wrote: >> On 5/20/2024 12:34 PM, olcott wrote: >>> On 5/20/2024 2:30 PM, Chris M. Thomasson wrote: >>>> On 5/20/2024 12:28 PM, olcott wrote: >>>>> On 5/20/2024 2:23 PM, Chris M. Thomasson wrote: >>>>>> On 5/20/2024 12:15 PM, olcott wrote: >>>>>>> On 5/20/2024 1:35 PM, Chris M. Thomasson wrote: >>>>>>>> On 5/20/2024 10:20 AM, olcott wrote: >>>>>>>>> On 5/20/2024 12:15 PM, Bonita Montero wrote: >>>>>>>>>> Am 20.05.2024 um 18:01 schrieb olcott: >>>>>>>>>>> On 5/20/2024 10:16 AM, Bonita Montero wrote: >>>>>>>>>>>> Am 20.05.2024 um 16:47 schrieb olcott: >>>>>>>>>>>> >>>>>>>>>>>>> It is a simple question about the behavior of C functions. >>>>>>>>>>>>> This group's purpose is the C/C++ language. >>>>>>>>>>>> >>>>>>>>>>>> Your question is generic to most languages and you're >>>>>>>>>>>> not asking how to do that in C or how to improve that. >>>>>>>>>>>> And you're asking the same thing for years. >>>>>>>>>>>> >>>>>>>>>>> >>>>>>>>>>> Yes I am very persistent. I keep asking until >>>>>>>>>>> I get an answer. >>>>>>>>>>> >>>>>>>>>> >>>>>>>>>> After some time you should recognize you're doing circles. >>>>>>>>>> >>>>>>>>> >>>>>>>>> I am asking a straight forward question that people >>>>>>>>> keep ignoring it has nothing to do will my circles: >>>>>>>>> Ask until answered stops when answered. >>>>>>>>> >>>>>>>> >>>>>>>> Think of your halt decider running a black box program. >>>>>>> >>>>>>> *It is not even a halt decider in this post it is merely a >>>>>>> simulator* >>>>>> [...] >>>>>> >>>>>> Humm... So, what is your main point? You cannot decide if a >>>>>> program will halt, _unless_ you code the test program? >>>>>> >>>>> >>>>> My ONLY point has been to put the people that have continued to >>>>> lie about the behavior of D correctly simulated by H in their place. >>>>> Several people have consistently lied about this for two years. >>>>> >>>> >>>> My only point is that one cannot 100% totally decide if a black box >>>> program will halt, or not. >>> >>> I am not asking about any black box program. >>> D is fully specified and the only relevant detail about H is that >>> >>> it correctly simulates 1 to ∞ steps of D thus including 0 to ∞ >>> recursive simulations of H simulating itself simulating D. >> >> How do you simulate to infinity, and perhaps beyond? >> > > The Turing machine isomorphism of the H/D pair is off-topic > for this group. Why? > >>> >>> *From this we can conclude* >>> *D correctly simulated by H never reaches its own line 06 and halts* >>> >>> >>> >> >