Path: ...!news.mixmin.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: Sequence of sequence, selection and iteration matters
Date: Thu, 11 Jul 2024 10:22:26 +0300
Organization: -
Lines: 196
Message-ID: <v6o17i$2bu9u$1@dont-email.me>
References: <v6e7va$c4sv$1@dont-email.me> <v6g444$pdc2$1@dont-email.me> <v6go4d$sg7f$1@dont-email.me> <v6ikv5$19h6q$1@dont-email.me> <v6jguf$1ctoi$5@dont-email.me> <v6ji1d$1dpoc$1@dont-email.me> <v6jig0$1ctoi$11@dont-email.me> <v6jkib$1e3jq$1@dont-email.me> <v6jpe5$1eul0$1@dont-email.me> <v6jpqo$1e3jq$2@dont-email.me> <v6jqfg$1eul0$2@dont-email.me> <v6k6md$1h3a7$1@dont-email.me> <v6k9ef$1hicb$1@dont-email.me> <v6lc9v$1q8jn$1@dont-email.me> <v6lva1$1tj30$1@dont-email.me> <v6m4nk$1uean$1@dont-email.me> <v6m53s$1ugv5$1@dont-email.me> <v6m6i9$1uean$3@dont-email.me> <v6m78d$1uq86$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 11 Jul 2024 09:22:26 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="d915db998623bee0999786efb2838ac1";
	logging-data="2488638"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/euJJf4vZALY+KF4k1zc1G"
User-Agent: Unison/2.2
Cancel-Lock: sha1:IyiaxBSOkjsrjV5dospF0Ymzkzo=
Bytes: 10288

On 2024-07-10 14:53:00 +0000, olcott said:

> On 7/10/2024 9:41 AM, Fred. Zwarts wrote:
>> Op 10.jul.2024 om 16:16 schreef olcott:
>>> On 7/10/2024 9:09 AM, Fred. Zwarts wrote:
>>>> Op 10.jul.2024 om 14:37 schreef olcott:
>>>>> On 7/10/2024 2:13 AM, Fred. Zwarts wrote:
>>>>>> Op 09.jul.2024 om 23:18 schreef olcot
>>>>> _DDD()
>>>>> [00002163] 55         push ebp      ; housekeeping
>>>>> [00002164] 8bec       mov ebp,esp   ; housekeeping
>>>>> [00002166] 6863210000 push 00002163 ; push DDD
>>>>> [0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
>>>>> 
>>>>> DDD correctly emulated by any pure function HHH that
>>>>> correctly emulates 1 to ∞ steps of DDD can't make it
>>>>> past the above line of code no matter what.
>>>>> 
>>>>> [00002170] 83c404     add esp,+04
>>>>> [00002173] 5d         pop ebp
>>>>> [00002174] c3         ret
>>>>> Size in bytes:(0018) [00002174]
>>>>>> 
>>>>>> Which proves that HHH does not interpret x86 code correctly.
>>>>> 
>>>>> *It interprets the code correctly*
>>>>> https://github.com/wfeldt/libx86emu
>>>> 
>>> 
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
>>> *correctly emulates 1 to ∞ steps of DDD*
========== REMAINDER OF ARTICLE TRUNCATED ==========