Liste des Groupes | Revenir à theory |
On 7/10/2024 3:49 PM, olcott wrote:Why are you twisting my words? Is English such a difficult language for you?On 7/10/2024 1:55 PM, Alan Mackenzie wrote:In other words he is using deceitful weasel wording toFred. Zwarts <F.Zwarts@hetnet.nl> wrote:>Op 10.jul.2024 om 20:12 schreef Alan Mackenzie:>[ Followup-To: set ]>In comp.theory Fred. Zwarts <F.Zwarts@hetnet.nl> wrote:>[ .... ]>Proving that the simulation is incorrect. Because a correct simulation
would not abort a halting program halfway its simulation.>Just for clarity, a correct simulation wouldn't abort a non-halting
program either, would it? Or have I misunderstood this correctness?>[ .... ]
>A non-halting program cannot be simulated correctly in a finite time.>
So, it depends whether we can call it a correct simulation, when it does
not abort. But, for some meaning of 'correct', indeed, a simulator
should not abort a non-halting program either.
OK, thanks!
>
In other words he is saying that when you do
1 step correctly you did 0 steps correctly.
>
try to escape a truism.
We stipulate that the only measure of a correct emulation is the semantics of the x86 programming language. By this measure when 1 to ∞ steps of DDD are correctly emulated by each pure function x86 emulator HHH (of the infinite set of every HHH that can possibly exist) then DDD cannot possibly reach past its own machine address of 0000216b and halt.And since HHH is a program that halts, this proves that the simulation was aborted halfway, which makes it incorrect.
_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)
[00002170] 83c404 add esp,+04
[00002173] 5d pop ebp
[00002174] c3 ret
Size in bytes:(0018) [00002174]
On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
> But H determines (correctly) that D would not halt
> if it were not halted. That much is a truism.
Les messages affichés proviennent d'usenet.