Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connections
Warning: mysqli::query(): Couldn't fetch mysqli in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\index.php on line 66
Article <v3v96q$1o9el$3@dont-email.me>
Deutsch   English   Français   Italiano  
<v3v96q$1o9el$3@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: news2@immibis.com
Newsgroups: comp.theory,sci.logic
Subject: Re: How Partial Simulations incorrectly determine non-halting
 ---Ben's 10/2022 analysis
Date: Fri, 7 Jun 2024 17:32:42 +0200
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <v3v96q$1o9el$3@dont-email.me>
References: <v3j20v$3gm10$2@dont-email.me>
 <J_CdnTaA96jxpcD7nZ2dnZfqnPudnZ2d@brightview.co.uk>
 <87h6eamkgf.fsf@bsb.me.uk> <v3kcdj$3stk9$1@dont-email.me>
 <v3l7uo$13cp$8@dont-email.me> <v3lcat$228t$3@dont-email.me>
 <v3mq9j$chc3$1@dont-email.me> <v3mrli$chc4$1@dont-email.me>
 <_gWdnbwuZPJP2sL7nZ2dnZfqn_GdnZ2d@brightview.co.uk>
 <v3nkqr$h7f9$3@dont-email.me> <v3p4ka$sk6h$1@dont-email.me>
 <v3pp7p$v133$8@dont-email.me> <v3s27e$1f9kd$1@dont-email.me>
 <v3sf1n$1gra7$11@dont-email.me> <v3sjo9$1ialb$1@dont-email.me>
 <v3skoo$1iedv$1@dont-email.me> <v3u9ej$1v7rn$1@dont-email.me>
 <v3v6i7$23l33$1@dont-email.me> <v3v70o$21qlc$3@dont-email.me>
 <v3v7j8$242e9$2@dont-email.me> <v3v8tp$39q1p$3@i2pn2.org>
 <v3v92q$242e9$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 07 Jun 2024 17:32:42 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="24c9e250534ae0eda986f30a88f700b9";
	logging-data="1844693"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+rrMI7oRMxYy2vA+dgUkMK"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:5CKN4Rk0Yhi/DJf4QrXMZjPvj8E=
Content-Language: en-US
In-Reply-To: <v3v92q$242e9$6@dont-email.me>
Bytes: 2562

On 7/06/24 17:30, olcott wrote:
> 
> Try to show how this DD correctly simulated by any HH ever
> stops running without having its simulation aborted by HH.
> 
> _DD()
> [00001e12] 55         push ebp
> [00001e13] 8bec       mov  ebp,esp
> [00001e15] 51         push ecx
> [00001e16] 8b4508     mov  eax,[ebp+08]
> [00001e19] 50         push eax      ; push DD
> [00001e1a] 8b4d08     mov  ecx,[ebp+08]
> [00001e1d] 51         push ecx      ; push DD
> [00001e1e] e85ff5ffff call 00001382 ; call HH
> 
> A {correct simulation} means that each instruction of the
> above x86 machine language of DD is correctly simulated
> by HH and simulated in the correct order.

The next instruction after "call HH" - the one at address 00001382 - is 
simulated incorrectly.