Liste des Groupes | Revenir à theory |
On 3/13/2025 6:09 PM, Richard Damon wrote:WHy? The above is NOT a program, as to be a program it needs the full code of HHH included.On 3/13/25 4:46 PM, olcott wrote:void DDD()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 OFAnd not if the input called a different simulator that didn't abort.
THEIR INPUT FINITE STRINGS.
>
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.
Which shows that HHH doesn't correctly emulate its input, unless you just lied and gave the two programs different inputs.
>
{
HHH(DDD);
return;
}
Someone that is not a liar could explain exactly
how DDD emulated by HHH according to the semantics
of the C language must have the same behavior as
DDD emulated by HHH1 according to the semantics
of the C language.
Someone that is a liar will perpetually dodgeThe fact you make the challage shows that you think lying is an acceptable form of argument, and that you are totally clueless as to how logic works.
this challenge.
Les messages affichés proviennent d'usenet.