Path: ...!feed.opticnetworks.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Simulating termination analyzers for dummies
Date: Tue, 18 Jun 2024 19:37:33 +0300
Organization: -
Lines: 61
Message-ID: <v4sd4d$1edq0$2@dont-email.me>
References: <v4oaqu$f9p5$1@dont-email.me> <v4sc6v$1e9dc$1@dont-email.me> <v4scnm$1eb2f$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 18 Jun 2024 18:37:33 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="4e4d7b46df3dc68132e7fe5803e486e2";
	logging-data="1521472"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19GVUNQBGSf7f3uWsYS5Rsv"
User-Agent: Unison/2.2
Cancel-Lock: sha1:i38lwdV4DJK8pR1+f5rcTTrBAWI=
Bytes: 2682

On 2024-06-18 16:30:46 +0000, olcott said:

> On 6/18/2024 11:21 AM, Mikko wrote:
>> On 2024-06-17 03:33:50 +0000, olcott said:
>> 
>>> 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.
>> 
>> The subject line is incorrect. The OP of "Simulating termination analyzers
>> for dummies" should tell what a "simulating termination analyzer" is.
>> The OP of this thread does not.
>> 
> 
> I state the prerequisites if you don't have them
> then you cannot understand. If you have them then
> what I say is self-evidently true.

What you sais ooes not include what the subject line promised.

-- 
Mikko