Sujet : Re: DDD specifies recursive emulation to HHH and halting to HHH1
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 29. Mar 2025, 16:12:34
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vs92l3$1fccq$5@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
User-Agent : Mozilla Thunderbird
On 3/28/2025 11:00 PM, dbush wrote:
On 3/28/2025 11:45 PM, olcott wrote:
>
It defines that it must compute the mapping from
the direct execution of a Turing Machine
Which does not require tracing an actual running TM, only mapping properties of the TM described.
The key fact that you continue to dishonestly ignore
is the concrete counter-example that I provided that
conclusively proves that the finite string of machine
code input is not always a valid proxy for the behavior
of the underlying virtual machine.
HHH(DDD) ~= HHH1(DDD) unless one dishonestly ignores
the semantics of the x86 language.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer