Sujet : Re: At least 100 people kept denying the easily verified fact --- last communication with Richard
De : acm (at) *nospam* muc.de (Alan Mackenzie)
Groupes : comp.theory sci.logicSuivi-à : comp.theoryDate : 07. Jun 2024, 18:50:45
Autres entêtes
Organisation : muc.de e.V.
Message-ID : <v3vh9l$a5e$2@news.muc.de>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
User-Agent : tin/2.6.3-20231224 ("Banff") (FreeBSD/14.0-RELEASE-p5 (amd64))
[ Followup-To: set ]
In comp.theory olcott <
polcott333@gmail.com> wrote:
[ .... ]
_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.
That's a bit of sudden and substantial change, isn't it? Less than a few
days ago, you were defining a correct simulation as "1 to N instructions"
simulated (without ever specifying what you meant by N). It seems that
the simulation of exactly one instruction would have met your criterion.
That now seems to have changed.
[ .... ]
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
-- Alan Mackenzie (Nuremberg, Germany).