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

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.
HAVE YOU EVER HEARD OF RICES THEOREM ???
In computability theory, Rice's theorem states that all
non-trivial semantic properties of programs [that
can be encoded as finite strings] are undecidable.
https://en.wikipedia.org/wiki/Rice%27s_theorem
DECIDERS ARE REQUIRED TO REPORT ON THE SEMANTIC
OR SYNTACTIC PROPERTY OF THEIR INPUT FINITE STRINGS.
_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]
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer