Newsportal USENET - Re: Every sufficiently competent C programmer knows --- Semantic Property of Finite String

Sujet : Re: Every sufficiently competent C programmer knows --- Semantic Property of Finite String
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 13. Mar 2025, 21:46:51

Autres entêtes

Organisation : A noiseless patient Spider
Message-ID : <vqvg7s$3s1qt$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird

On 3/13/2025 4:27 AM, joes wrote:

Am Wed, 12 Mar 2025 21:41:34 -0500 schrieb olcott:
On 3/12/2025 7:56 PM, dbush wrote:
On 3/12/2025 8:41 PM, olcott wrote:
>
NOT WHEN IT IS STIPULATED THAT THE BEHAVIOR BEING MEASURED IS
>
The direct execution of DDD
>
is proven to be different than the behavior of DDD emulated by HHH
according to the semantics of the x86 language.
Which is weird, considering that a simulator should produce the same
behaviour.

DECIDERS ARE REQUIRED TO REPORT ON THE SEMANTIC OR SYNTACTIC PROPERTY OF
THEIR INPUT FINITE STRINGS.
And not if the input called a different simulator that didn't abort.

DDD correctly emulated by HHH cannot possibly
reach its own final state no matter what HHH
does.
DDD correctly emulated by HHH1 does reach its
own final state.
If someone was not a liar they would say that
these are different computations.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date	Sujet	#		Auteur
27 Apr 26	…

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal