Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: Overcoming the proof of undecidability of the Halting Problem by
 a simple example in C
Date: Sat, 17 May 2025 05:09:42 +0100
Organization: Fix this later
Lines: 29
Message-ID: <1009266$1bg1$4@dont-email.me>
References: <1005jsk$3akrk$1@dont-email.me>
 <bc6f0f045212bdfb7f7d883426873a09e37789ea@i2pn2.org>
 <1005u6v$3cpt2$1@dont-email.me> <1005v0p$3b07v$1@dont-email.me>
 <10063u0$3dmiv$1@dont-email.me> <1006on8$3l9t7$1@dont-email.me>
 <1007kgq$3qb7l$9@dont-email.me> <1007mp8$3r37u$1@dont-email.me>
 <1008jgl$j63$3@dont-email.me> <1008o88$1bg1$1@dont-email.me>
 <1008s18$5uqc$1@dont-email.me> <1008t5g$1bg1$2@dont-email.me>
 <1008tr4$66kl$2@dont-email.me> <100901g$1bg1$3@dont-email.me>
 <10090vl$6mor$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 17 May 2025 06:09:42 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="445299cc285a28acbbdaee421187330b";
	logging-data="44545"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+PBeu+Zc6fm8NdbqvPmiLUpd9CFikxb/dTi9NNWvllfg=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:KQAlyh5NrBDGVCTBHDWVekkQW9s=
In-Reply-To: <10090vl$6mor$2@dont-email.me>
Content-Language: en-GB

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 Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within