Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Simulating termination analyzers for dummies
Date: Tue, 18 Jun 2024 11:45:42 -0500
Organization: A noiseless patient Spider
Lines: 73
Message-ID: <v4sdjm$1eb2f$7@dont-email.me>
References: <v4oaqu$f9p5$1@dont-email.me> <v4sc6v$1e9dc$1@dont-email.me>
 <v4scnm$1eb2f$3@dont-email.me> <v4sd4d$1edq0$2@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:45:43 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="817dd47f58e869d78494e0bf13c00909";
	logging-data="1518671"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+c7QdZw13ajgoCF0AiCoVN"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Pny+DQHbt1VgzaORj8nt8pNHl0A=
In-Reply-To: <v4sd4d$1edq0$2@dont-email.me>
Content-Language: en-US
Bytes: 3288

On 6/18/2024 11:37 AM, Mikko wrote:
> 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.
> 

If all that you know is C and what and x86 emulator does
then you do obtain the gist of what a simulating termination
and analyzer does.

Because most people only glance at a couple of my words before
forming their rebuttal I had to make it overly concise.

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