Path: ...!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: Simulating termination analyzers for dummies
Date: Sun, 16 Jun 2024 22:33:50 -0500
Organization: A noiseless patient Spider
Lines: 45
Message-ID: <v4oaqu$f9p5$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 17 Jun 2024 05:33:50 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="24f2a1964fe8769a85c52084edf5324e";
	logging-data="501541"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18hUat9/5IUh0QrQzUSCLoO"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Z8x8ZGnFkR2gZr1YhhRw2hd9vOc=
Content-Language: en-US
Bytes: 2012

To understand this analysis requires a sufficient knowledge of
the C programming language and what an x86 emulator does.

Unless every single detail is made 100% explicit false assumptions
always slip though the cracks. This is why it must be examined at
the C level before it is examined at the Turing Machine level.

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.

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