Sujet : Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theoryDate : 17. May 2025, 05:09:42
Autres entêtes
Organisation : Fix this later
Message-ID : <1009266$1bg1$4@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : Mozilla Thunderbird
On 17/05/2025 04:49, olcott wrote:
<snip>
It is possible to create a C function that
simulates the source-code of other C functions.
The essential idea of this is a C interpreter.
No. You clearly have no idea what an interpreter is.
A C interpreter translates C, just as a C compiler translates C, the difference being that the compiler writes down the translation (like a book translator in a publishing house) while the interpreter says it out loud, so to speak (like an interpreter at a United Nations meeting).
In each case, the input is C, not machine code.
The actual HHH uses x86 emulation that is way
over most peoples heads.
Clearly not a C interpreter, then.
-- Richard HeathfieldEmail: rjh at cpax dot org dot uk"Usenet is a strange place" - dmr 29 July 1999Sig line 4 vacant - apply within