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: Sun, 9 Feb 2025 10:43:51 -0600
Organization: A noiseless patient Spider
Lines: 31
Message-ID: <voam08$no4h$2@dont-email.me>
References: <vo6420$3mpmf$1@dont-email.me> <vo7be3$jug$1@dont-email.me>
 <vo7r8d$36ra$3@dont-email.me> <vo9ura$i5ha$1@dont-email.me>
 <voahc5$m3dj$8@dont-email.me>
 <2fe1924f68cb05fd2c204e2fa6988a74bc0c71ce@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 09 Feb 2025 17:43:52 +0100 (CET)
Injection-Info: dont-email.me; posting-host="0d7b7e128809f1e0bad2050f21bb5c16";
	logging-data="778385"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19U4sUPEmbPQqB2RsbxwUJa"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:TtMjJolUXwaUDcCCBR9q4jSV3bc=
Content-Language: en-US
In-Reply-To: <2fe1924f68cb05fd2c204e2fa6988a74bc0c71ce@i2pn2.org>
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250209-4, 2/9/2025), Outbound message
Bytes: 2733

On 2/9/2025 10:39 AM, joes wrote:
> Am Sun, 09 Feb 2025 09:24:53 -0600 schrieb olcott:
>> On 2/9/2025 4:08 AM, Mikko wrote:
>>> On 2025-02-08 14:55:09 +0000, olcott said:
>>>> On 2/8/2025 4:25 AM, Mikko wrote:
>>>>> On 2025-02-07 23:13:04 +0000, olcott said:
> 
>>>>>> The finite string DD specifies non-terminating recursive simulation
>>>>>> to simulating termination analyzer HHH.
>>>>> No, it does not. DD as quoted below pecifies nothing about the
>>>>> behaviour of HHH, only its argument types and return type.
>>>>   >>    int Halt_Status = HHH(DD); // line 3 of DD
>>>> Requires HHH to simulate itself simulating DD recursively.
>>> No, it does not. I only requires that the execution of HHH with a
>>> function pointer to DD must be started. OP does not show what happens
>>> next.
>> Within the context that HHH is a simulating termination analyzer line
>> 3 of DD proves that DD cannot possibly reach its own "if" statement.

> Yes, because HHH doesn’t halt.
> 
No sense talking to people that don't have enough
technical skill to verify the actual facts.

The finite string x86 machine code of C function DD
that is input to HHH(DD) is correctly rejected by
simulating termination analyzer HHH as non-halting.

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