Liste des Groupes | Revenir à cl c++ |
On 6/28/2025 10:14 AM, dbush wrote:In other words, you INTENTIONALLY don't read things that prove you wrong.On 6/28/2025 11:04 AM, olcott wrote:I stop at the first counter-factual mistake so I stop here.On 6/28/2025 2:43 AM, wij wrote:>On Fri, 2025-06-27 at 14:36 -0500, olcott wrote:>I am only here for the validation of the behavior>
of DDD correctly simulated by HHH.
The definition of HHH is missing.
The definition is specified in this part that you
dishonestly erased:
>
On 6/27/2025 2:36 PM, olcott wrote:
> Termination Analyzer HHH simulates its input until
> it detects a non-terminating behavior pattern. When
> HHH detects such a pattern it aborts its simulation
> and returns 0.
>
The dishonest one here is YOU, as it was not wij who snipped the below in his reply but YOU:
>
Everything else is ignored.
>
Your failure to reply to the above, and in fact your dishonest erasing of it constitutes your admission of lying to push your agenda.And here is the part that you dishonestly said was erased when in fact it was not.I have included proof that the people on comp.theory>
lied about this at the bottom.
>
typedef void (*ptr)();
int HHH(ptr P);
>
void DDD()
{
HHH(DDD);
return;
}
>
int main()
{
HHH(DDD);
DDD();
}
>
Termination Analyzer HHH simulates its input until
it detects a non-terminating behavior pattern.
HHH(DDD) will run in infinite loop, which conforms to Halting Problem proof.
>When
HHH detects such a pattern it aborts its simulation
and returns 0.
This proves that it is YOU who are lying and will say anything to push your agenda.
>
This looks like a problem specification, but you said "Halting Problem" is
incorrect. Peter Olcott's Own Problem is never clear.
Les messages affichés proviennent d'usenet.