Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connectionsPath: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon
Newsgroups: comp.theory
Subject: Re: How do simulating termination analyzers work? (V2)
Date: Sat, 21 Jun 2025 16:25:19 -0400
Organization: i2pn2 (i2pn.org)
Message-ID:
References: <1034bjk$6kj0$2@dont-email.me> <103608e$10jag$1@dont-email.me>
<1036ent$13pfn$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 21 Jun 2025 20:55:08 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="1477546"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
In-Reply-To: <1036ent$13pfn$1@dont-email.me>
On 6/21/25 10:14 AM, olcott wrote:
> On 6/21/2025 5:07 AM, Mikko wrote:
>> On 2025-06-20 19:08:36 +0000, olcott said:
>>
>>> void Infinite_Recursion()
>>> {
>>> Infinite_Recursion();
>>> return;
>>> }
>>>
>>> void Infinite_Loop()
>>> {
>>> HERE: goto HERE;
>>> return;
>>> }
>>>
>>> void DDD()
>>> {
>>> HHH(DDD);
>>> return;
>>> }
>>>
>>> int Sipser_D()
>>> {
>>> if (HHH(Sipser_D) == 1)
>>> return 0;
>>> return 1;
>>> }
>>>
>>> int DD()
>>> {
>>> int Halt_Status = HHH(DD);
>>> if (Halt_Status)
>>> HERE: goto HERE;
>>> return Halt_Status;
>>> }
>>>
>>> My claim is that each of the above functions correctly
>>> simulated by any termination analyzer HHH that can possibly
>>> exist will never stop running unless aborted by HHH.
>>>
>>> *No one has ever provided a correct rebuttal to that*
>>> *In the several years that it has been reviewed*
>>
>> When there is V2 on the subject line the message should start with
>> a short description of the main difference from the previous version.
>>
>
> Slightly clearer words.
>
You mean trying to be better at hiding the lies of equivocation.