Sujet : Re: Every sufficiently competent C programmer knows --- Very Stupid Mistake
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theoryDate : 12. Mar 2025, 02:41:10
Autres entêtes
Organisation : Fix this later
Message-ID : <vqqonm$28lh2$1@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
On 12/03/2025 01:22, olcott wrote:
DDD correctly simulated by HHH never reaches its
own "return" instruction and terminates normally
in any finite or infinite number of correctly
simulated steps.
If it correctly simulates infinitely many steps, it doesn't terminate. Look up "infinite".
But your task is to decide for /any/ program, not just DDD. That, as you are so fond of saying, is 'stipulated', and you can't get out of it. The whole point of the Entscheidungsproblem is its universality. Ignore that, and you have nothing.
-- Richard HeathfieldEmail: rjh at cpax dot org dot uk"Usenet is a strange place" - dmr 29 July 1999Sig line 4 vacant - apply within
…