Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.lang.c,comp.lang.c++
Subject: Re: Can you please verify that the analysis of these C functions is
 correct?
Date: Fri, 21 Jun 2024 16:41:12 -0500
Organization: A noiseless patient Spider
Lines: 56
Message-ID: <v54s1p$3boc5$1@dont-email.me>
References: <v4obkj$f9p5$2@dont-email.me>
 <v4pg5p$morv$1@raubtier-asyl.eternal-september.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 21 Jun 2024 23:41:13 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="d3e479354f6c59f79625e93d556f5bfb";
	logging-data="3531141"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18PoR6tHaASqEsssecuZD+K"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:P2nCDH5Tog7baX2TpSWCGWEdADg=
Content-Language: en-US
In-Reply-To: <v4pg5p$morv$1@raubtier-asyl.eternal-september.org>
Bytes: 2643

On 6/17/2024 9:11 AM, Bonita Montero wrote:
> Am 17.06.2024 um 05:47 schrieb olcott:
>> To understand this analysis requires a sufficient knowledge of
>> the C programming language and what an x86 emulator does.
>>
>> typedef void (*ptr)();
>> int H0(ptr P);
>>
>> void Infinite_Loop()
>> {
>>    HERE: goto HERE;
>> }
>>
>> void Infinite_Recursion()
>> {
>>    Infinite_Recursion();
>> }
>>
>> void DDD()
>> {
>>    H0(DDD);
>>    return;
>> }
>>
>> int main()
>> {
>>    H0(Infinite_Loop);
>>    H0(Infinite_Recursion);
>>    H0(DDD);
>> }
>>
>> Every C programmer that knows what an x86 emulator is knows that when H0
>> emulates the machine language of Infinite_Loop, Infinite_Recursion, and
>> DDD that it must abort these emulations so that itself can terminate
>> normally.
>>
>> When this is construed as non-halting criteria then simulating
>> termination analyzer H0 is correct to reject these inputs as non-
>> halting.
>>
>> *My POD24 diagnosis is reducing the time I have left to work on this*
>> Validation of POD24 as a robust early clinical end point of poor
>> survival in FL from 5225 patients on 13 clinical trials
>> https://pubmed.ncbi.nlm.nih.gov/34614146/
>>
> 
> Everything correct, no further questions allowed.
> 

Thanks for your help on this. The Liars on comp.theory are
even lying about what you actually said.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer