Sujet : Re: People are still trying to get away with disagreeing with the semantics of the x86 language
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logicDate : 02. Jul 2024, 04:00:31
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v5vmvv$1oana$3@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla Thunderbird
On 7/1/24 9:42 PM, olcott wrote:
On 7/1/2024 7:38 PM, Richard Damon wrote:
On 7/1/24 8:49 AM, olcott wrote:
On 7/1/2024 6:08 AM, Richard Damon wrote:
On 6/30/24 10:27 PM, olcott wrote:
On 6/30/2024 9:16 PM, Richard Damon wrote:
On 6/30/24 9:38 PM, olcott wrote:
On 6/30/2024 8:24 PM, Richard Damon wrote:
On 6/30/24 9:03 PM, olcott wrote: >> On 6/30/2024 7:44 PM, Richard Damon wrote:
>
I had to dumb this down because even the smartest
people here were overwhelmed:
>
The call from DDD to HHH(DDD) when N steps of DDD are
correctly emulated by any pure function x86 emulator
HHH at machine address 0000217a cannot possibly return.
>
But that is NOT the "behavior of the input", and CAN NOT BE SO DEFINED.
>
>
I don't understand why you so stupidly lie about this.
>
_DDD()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
>
DDD is correctly emulated by HHH which calls an
emulated HHH(DDD) to repeat the process until aborted.
>
>
And, since the HHH that DDD calls will abort is emulation, it WILL return to DDD and it will return also.
>
>
How can stopping the emulation the first four
instructions of DDD possibly do anything besides stop?
>
>
The emulation stops, and the emulating behavor of HHH stops, but not the behavior of the input.
>
When DDD is no longer being emulated all of its behavior
stops. DDD is the input.
>
>
Nope. YOU don't understand the meaning of the terms, perhaps because you don't understand what REALITY is.
>
The "Behavior of the Input" comes from the input alone, and doesn't depend on the emulator doing anything.
>
Static strings do not become dynamic processes unless
and until they are simulated.
And THAT behavior is of the simulator.
Static Strings for Behavior Questions need to represent something that HAS Behavior, which is a program, and the behavior in question will be when that program is run.
Your definition doesn't work, as the "Behavior of the Input" isn't a function of just the input, but also of the decider.
It is exactly like asking "What is the sum of two plus?"
The emulation only REVEALS the behavior to the decider, not create it.
>