Sujet : Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.lang.c++Date : 28. Jun 2025, 16:04:45
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <103p0ad$tj08$2@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
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.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer