Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)

On 10/05/2025 09:05, Fred. Zwarts wrote:

Op 09.mei.2025 om 17:48 schreef olcott:

<snip>

When 1 or more statements of DDD are correctly simulated
by HHH this correctly simulated DDD cannot possibly reach
its own "return statement" final halt state.
>

You see? Exactly what I predicted. Now he uses another HHH that does not correctly simulate the whole input, but only makes a start. He will still hold his claim that there is an infinite recursion and may quote a C expert, Keith Thompson, to support his claim. The only way out is that Keith Thompson explicitly explains that his example only holds for the simulator that does not stop after 1 or more statements.

Keith has already clarified that his reply applies only on the assumption that HHH(DDD) simulates DDD correctly, and is tantamount to saying that if X is true then X is true.
X, of course, is not true.
--
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