Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Computing the mapping from the input to HHH(DD) --- REFUTES
 INCORRECT REQUIREMENTS
Date: Mon, 12 May 2025 10:07:11 -0500
Organization: A noiseless patient Spider
Lines: 59
Message-ID: <vvt2qv$14pca$6@dont-email.me>
References: <vvla98$2rl0l$19@dont-email.me> <vvmvfs$3dqci$1@dont-email.me>
 <vvnr4s$3in62$6@dont-email.me> <vvpqdi$45o8$1@dont-email.me>
 <vvqj44$gldn$9@dont-email.me> <vvsa20$104j2$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 12 May 2025 17:07:12 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="15cac720ddbb61c7f6586fe023932af8";
	logging-data="1205642"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+RZegfVfkH4a3JpG4/7Oub"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:aEkaurREIEo8DNGHd0e+uozuiO0=
X-Antivirus-Status: Clean
Content-Language: en-US
X-Antivirus: Norton (VPS 250512-2, 5/12/2025), Outbound message
In-Reply-To: <vvsa20$104j2$2@dont-email.me>

On 5/12/2025 3:04 AM, Mikko wrote:
> On 2025-05-11 16:26:44 +0000, olcott said:
> 
>> On 5/11/2025 4:25 AM, Mikko wrote:
>>> On 2025-05-10 15:25:16 +0000, olcott said:
>>>
>>>> On 5/10/2025 2:33 AM, Mikko wrote:
>>>>> On 2025-05-09 16:25:12 +0000, olcott said:
>>>>>
>>>>>> void DDD()
>>>>>> {
>>>>>>    HHH(DDD);
>>>>>>    return;
>>>>>> }
>>>>>>
>>>>>> When 1 or more statements of DDD are correctly
>>>>>> simulated by HHH then this correctly simulated
>>>>>> DDD cannot possibly reach its own “return statement”.
>>>>>> (final halt state)
>>>>>
>>>>> That one or more statements of DDD are correctly simulated does not
>>>>> mean that DDD is correctly simulated.
>>>>
>>>> It is stipulated that when one or more statements
>>>> of DDD are correctly simulated that one or more
>>>> statements of DDD are correctly simulated.
>>>
>>> Thera are only two statements in DDD. HHH does not correctly emulate
>>> the first one, which is a call to HHH, and not at all the second one,
>>> which is the final return.
>>
>> _DDD()
>> [0000219e] 55             push ebp
>> [0000219f] 8bec           mov ebp,esp
>> [000021a1] 689e210000     push 0000219e // push DDD
>> [000021a6] e843f4ffff     call 000015ee // call HHH
>> [000021ab] 83c404         add esp,+04
>> [000021ae] 5d             pop ebp
>> [000021af] c3             ret
>> Size in bytes:(0018) [000021af]
>>
>> There are seven instructions in DDD.
>> When DDD calls HHH(DDD) then HHH emulates
>> itself emulating DDD.
> 
> No, there are seven instructions in a particular translation of DDD.

Not at all. The above sequence of machine code bytes
is named DDD. Every other string of bytes is off topic.
The x86 machine code is the final form.

> But that is irrelevant. My comment was to a message that did not use
> the word "instruction" at all.
> 


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