Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Flat out dishonest or totally ignorant?
Date: Mon, 1 Jul 2024 20:25:40 -0500
Organization: A noiseless patient Spider
Lines: 46
Message-ID: <v5vkun$1b0k9$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 02 Jul 2024 03:25:43 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="be8a74d1ebb79f081dc40b5f7175e5aa";
	logging-data="1409673"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+Qv+yAqc8TkH5Sd64jkGwD"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:2h3zcr1G0nbDFzdC3wP7tTrT9a8=
Content-Language: en-US
Bytes: 2091

typedef void (*ptr)();
int HHH(ptr P);

void Infinite_Loop()
{
   HERE: goto HERE;
}

void Infinite_Recursion()
{
   Infinite_Recursion();
}

void DDD()
{
   HHH(DDD);
}

int main()
{
   HHH(Infinite_Loop);
   HHH(Infinite_Recursion);
   HHH(DDD);
}

Every C programmer that knows what an x86 emulator is knows
that when HHH 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 HHH is correct to reject these inputs as
non-halting by returning 0 to its caller.

Simulating termination analyzers must report on the behavior
that their finite string input specifies thus HHH must report
that DDD correctly emulated by HHH remains stuck in recursive
simulation.

Everyone else seems to be flat out dishonest or totally ignorant.
At least one of my reviewers does not seem to understand that
infinite recursion does not halt.

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