Sujet : Re: DD correctly emulated by HHH --- Totally ignoring invalid rebuttals ---PSR---
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 10. Mar 2025, 14:46:43
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vqmqg3$1c5lp$1@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/10/2025 3:59 AM, Mikko wrote:
On 2025-03-09 13:16:20 +0000, olcott said:>>
When we assume that HHH emulates N steps of DD then
HHH does not present that assumption, which is therefore irrelevant
to the fact that https://github.com/plolcott/x86utm/blob/master/Halt7.c
does not prove anything.
typedef void (*ptr)();
int HHH(ptr P);
int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
int main()
{
HHH(DD);
}
DD correctly emulated by HHH cannot possibly reach
its own "retrun" instruction and terminate normally
because DD calls HHH(DD) in recursive emulation.
If HHH can see the same pattern that every competent
programmer sees then HHH does not need to emulate DD
more than twice to know that HHH cannot possibly reach
its own final state and terminate normally.
Perhaps you are not a competent programmer.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer