Path: ...!local-2.nntp.ord.giganews.com!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 05 Aug 2024 12:37:12 +0000
Date: Mon, 5 Aug 2024 07:37:12 -0500
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: Everyone here seems to consistently lie about this
Newsgroups: comp.theory
References: <v8hf52$2jl7d$1@dont-email.me> <v8kodp$3bu46$1@dont-email.me>
 <v8lces$3f6vr$3@dont-email.me> <v8ld7u$3fcgg$1@dont-email.me>
 <v8lebl$3ftpo$1@dont-email.me> <v8lgb8$3gadt$1@dont-email.me>
 <v8lgnt$3ge64$1@dont-email.me> <v8n62m$3tv07$1@dont-email.me>
 <v8ns92$1n09$2@dont-email.me> <v8pum8$ibmo$1@dont-email.me>
Content-Language: en-US
From: olcott <NoOne@NoWhere.com>
In-Reply-To: <v8pum8$ibmo$1@dont-email.me>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <jfWdnR3xHenlWi37nZ2dnZfqlJydnZ2d@giganews.com>
Lines: 107
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-qLza7t6VHPikUzIRAAmXarJ/stfekY8WPEHpWHWDefOSlTJYicg4MQhrSty4Z4RhaEV55Nxvd60Pg26!7N0S7MP4hlNxIbjVxnCm8/by738X8qisvkKTMVvvhWUpCQEatJtTP8qsrzU3PRbjouoF5G1jwns=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 4317

On 8/5/2024 2:23 AM, Mikko wrote:
> On 2024-08-04 12:30:26 +0000, olcott said:
> 
>> On 8/4/2024 1:11 AM, Fred. Zwarts wrote:
>>> Op 03.aug.2024 om 17:01 schreef olcott:
>>>> On 8/3/2024 9:54 AM, Fred. Zwarts wrote:>>>
>>>>> Talking nonsense does not hide you problem. I don't disagree with 
>>>>> that semantics.
>>>>> It is HHH that deviates from the semantics of the x86 language by 
>>>>> skipping the last few instructions of a halting program, changing 
>>>>> its behaviour in this way.
>>>>
>>>> There are no last few instructions of any halting program
>>>> that DDD correctly emulated by HHH skips.
>>>
>>> Why substituting facts by dreams?
>>> DDD halts when HHH halts. HHH skips tte last cycle of the simulated 
>>> HHH,after which it would return to DDD, which would then return too.
>>>
>>>>
>>>> Within the semantics of C and the semantics of the x86
>>>> language (thus specifying a correct simulation) the call
>>>> to HHH(DDD) from the simulated DDD cannot possibly return.
>>>>
>>>
>>> Indeed, that is why it is incorrect.
>>
>> Would the call from DDDD to ExecuteInput(DDDD) return?
>>
>> // This is ordinary C and I compiled and ran it.
>>
>> typedef void (*ptr)();
>>
>> void ExecuteInput(ptr x)
>> {
>>    x();
>> }
>>
>> void DDDD()
>> {
>>    ExecuteInput(DDDD);
>>    return;
>> }
>>
>> int main()
>> {
>>    ExecuteInput(DDDD);
>> }
> 
> Most likely it will abort or clrash for stack overflow. 

YES

void DDD()
{
   HHH(DDD);
   return;
}

int main()
{
   HHH(DDD);
}

Just like DDD correctly emulated by HHH never reaches its
own "return" instruction halt state, DDDD never reaches its
own "return" instruction halt state. ExecuteInput() is a
proxy for HHH.

_ExecuteInput()
[00002157] 55               push ebp
[00002158] 8bec             mov ebp,esp
[0000215a] ff5508           call dword [ebp+08] ; call DDDD
[0000215d] 5d               pop ebp
[0000215e] c3               ret
Size in bytes:(0008) [0000215e]

_DDDD()
[00002167] 55               push ebp
[00002168] 8bec             mov ebp,esp
[0000216a] 6867210000       push 00002167 ; push DDDD
[0000216f] e8e3ffffff       call 00002157 ; call execute input
[00002174] 83c404           add esp,+04
[00002177] 5d               pop ebp
[00002178] c3               ret
Size in bytes:(0018) [00002178]

_main()
[00002187] 55               push ebp
[00002188] 8bec             mov ebp,esp
[0000218a] 6867210000       push 00002167 ; push DDDD
[0000218f] e8c3ffffff       call 00002157 ; call ExecuteInput
[00002194] 83c404           add esp,+04
[00002197] 33c0             xor eax,eax
[00002199] 5d               pop ebp
[0000219a] c3               ret
Size in bytes:(0020) [0000219a]




-- 
Copyright 2024 Olcott

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