Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: V5 --- Professor Sipser --- Does Ben Bacarisse believe that
 Professor Sipser is wrong?
Date: Mon, 26 Aug 2024 19:12:13 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <6938d5bfb9c786b05c32d0cda7dac621da063929@i2pn2.org>
References: <va104l$376ed$4@dont-email.me> <va24hl$3cvgv$1@dont-email.me>
 <431deaa157cdae1cae73a1b24268a61cf8ec2c1c@i2pn2.org>
 <va38qh$3ia79$1@dont-email.me>
 <7a1c569a699e79bfa146affbbae3eac7b91cd263@i2pn2.org>
 <va3f7o$3ipp3$1@dont-email.me>
 <729cc551062c13875686d266a5453a488058e81c@i2pn2.org>
 <va3kac$3nd5c$1@dont-email.me>
 <148bf4dd91f32379a6d81a621fb7ec3fc1e00db0@i2pn2.org>
 <va3lai$3nd5c$2@dont-email.me> <va46sd$3pr24$1@dont-email.me>
 <va4mle$3s0hu$1@dont-email.me>
 <5591ff08ed8f7b4bdf33813681e156b775efe0ec@i2pn2.org>
 <va63uu$2fo9$1@dont-email.me>
 <b0a86b6a1343ebb5f9112ae757768a7cbbc770b2@i2pn2.org>
 <va65r8$6ht7$1@dont-email.me>
 <da75188ffa7677bd2b6979c8fc6ba82119404306@i2pn2.org>
 <878qwn0wyz.fsf@bsb.me.uk> <vafbb7$1t7ed$1@dont-email.me>
 <vafo8i$20jfl$1@dont-email.me> <vag0vn$22bh7$1@dont-email.me>
 <vag3df$22hmk$1@dont-email.me> <vag437$22sog$1@dont-email.me>
 <vahagp$2c6g7$1@dont-email.me> <vaigmq$2ibdj$1@dont-email.me>
 <vailgd$2j0et$1@dont-email.me> <vaimb7$2jbt3$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 26 Aug 2024 23:12:13 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="4024218"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <vaimb7$2jbt3$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 3655
Lines: 43

On 8/26/24 3:51 PM, olcott wrote:
> On 8/26/2024 2:36 PM, Fred. Zwarts wrote:
>> Op 26.aug.2024 om 20:14 schreef olcott:
>>> On 8/26/2024 2:23 AM, Fred. Zwarts wrote:
>>>> Op 25.aug.2024 om 22:27 schreef olcott:
>   would have halted.
>>>
>>> OK I got it now.
>>>
>>> _DDD()
>>> [00002172] 55         push ebp      ; housekeeping
>>> [00002173] 8bec       mov ebp,esp   ; housekeeping
>>> [00002175] 6872210000 push 00002172 ; push DDD
>>> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
>>> [0000217f] 83c404     add esp,+04
>>> [00002182] 5d         pop ebp
>>> [00002183] c3         ret
>>> Size in bytes:(0018) [00002183]
>>>
>>> [Correctly emulated] is specified to mean emulated
>>> according to the semantics of the x86 language.
>>>
>>> Unlike Ben you do not understand that neither DDD
>>> [correctly emulated] by HHH nor HHH called by this DDD
>>> [correctly emulated] by HHH can possibly return to
>>> their caller.
>> You remind me of somebody who tells the same joke every 15 minutes, 
>> because he is short of memory.
>>
>> I said many times that HHH cannot possibly reach the end of its own 
>> simulation, which proves that the simulation cannot possibly be correct.
> 
> Ridiculously stupidly directly disagreeing with the semantics
> of the x86 language that define what correct simulation means.
> 

Like that a call instruction should be followed by the code that is 
referenced by the call.

YOU are the one disagreeing with the semantics of the x86 language.

You have failed to show a reference which agrees with your interpretation.

Sorry, you are just proven to be a LIAR.