| Deutsch English Français Italiano |
|
<103p0ad$tj08$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.lang.c++ Subject: Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory Date: Sat, 28 Jun 2025 10:04:45 -0500 Organization: A noiseless patient Spider Lines: 23 Message-ID: <103p0ad$tj08$2@dont-email.me> References: <103mrs1$ar3e$1@dont-email.me> <80aa46a1ad3397065e575771d1ebe57f6a5c5588.camel@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 28 Jun 2025 17:04:46 +0200 (CEST) Injection-Info: dont-email.me; posting-host="4c5709712fc7771c125bfe4c60a9c3b1"; logging-data="969736"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+2Y2S1ZtjkrcFqBXnN5Ig+" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:/tPJHtmsXmgZYbh7ZHTroXIU+f8= X-Antivirus: Norton (VPS 250628-2, 6/28/2025), Outbound message X-Antivirus-Status: Clean Content-Language: en-US In-Reply-To: <80aa46a1ad3397065e575771d1ebe57f6a5c5588.camel@gmail.com> 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; Genius hits a target no one else can see." Arthur Schopenhauer