Liste des Groupes | Revenir à theory |
Am Thu, 07 Nov 2024 10:31:41 -0600 schrieb olcott:On 11/7/2024 5:56 AM, Richard Damon wrote:On 11/6/24 11:39 PM, olcott wrote:
The code itself does say that within the semanticsThe code by itself doesn’t say "do not return". That is a semanticThat is not what the machine code of DDD that calls the
machine code of HHH says.
property.
Yes, because DDD calls HHH.Right, so that is part of the input, or it can't be emulated.Are you really so ignorant of these things that you think that
The Machine code of HHH says that it will abort its emulation
and return, so that is the only correct result per the x86
language.
the fact that HHH returns to main() causes its emulated DDD to
reach its own final state?
Just repeating your errors, and not even trying to refute theBut the PROGRAM DDD, that it is emulating does. Just its own
PARTIAL emulation of it is aborted before it gets there.
errors pointed out, I guess that means you accept these as
errors.
There is only one program DDD, although it is invoked multiple times.DDD emulated by HHH does have different behavior
We don’t care whether HHH actually simulates the return as long as
it actually derives (not guesses) the right result.
Les messages affichés proviennent d'usenet.