Path: ...!3.eu.feeder.erje.net!feeder.erje.net!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: Wed, 19 Jun 2024 11:03:17 -0500
Organization: A noiseless patient Spider
Lines: 69
Message-ID: <v4uvg6$21os1$2@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: Wed, 19 Jun 2024 18:03:18 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c0498080d6b8a2710b4ab7de903a0762";
	logging-data="2155393"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX197YvPz4T8rMtpMfvaM074S"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:26LtlbCbyqLjveyu2sjl2NllLjE=
Content-Language: en-US
In-Reply-To: <v4pg5p$morv$1@raubtier-asyl.eternal-september.org>
Bytes: 3192

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.
> 

The reason that I have to come to the C/C++ forum with these
things is that C/C++ software engineers understand that code
does do what this code actually does do.

On the comp.theory forum people disagree that code does do what
it actually does do. They believe that their own misconceptions
carry more weight than the actual verified facts.

I say this full well knowing that some C functions do not
meet the requirements of Turing computable functions. The
functional result of my C functions <is> Turing computable.

*Entirely written in C besides x86utm.cpp*
https://github.com/plolcott/x86utm


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