Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: Sequence of sequence, selection and iteration matters Date: Wed, 10 Jul 2024 09:53:00 -0500 Organization: A noiseless patient Spider Lines: 193 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 10 Jul 2024 16:53:01 +0200 (CEST) Injection-Info: dont-email.me; posting-host="1ca7ba779153ded89a6e04f3275941c5"; logging-data="2058502"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18DFXK33JY9Iv/liZdBt1QQ" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:/kcgTLSyzL6tJCr5RWzOxxp43mY= In-Reply-To: Content-Language: en-US Bytes: 10188 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* ========== REMAINDER OF ARTICLE TRUNCATED ==========