Article <v3v2fr$1o9em$1@dont-email.me>

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 connections
Warning: mysqli::query(): Couldn't fetch mysqli in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\index.php on line 66
Article <v3v2fr$1o9em$1@dont-email.me>

Deutsch English Français Italiano

<v3v2fr$1o9em$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <news2@immibis.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: DD correctly simulated by HH --- never stops running without
 aborting its simulation
Date: Fri, 7 Jun 2024 15:38:03 +0200
Organization: A noiseless patient Spider
Lines: 11
Message-ID: <v3v2fr$1o9em$1@dont-email.me>
References: <v3svh3$1k5vr$1@dont-email.me> <v3uen8$1vn0h$1@dont-email.me>
 <v3v1gf$22vrk$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 07 Jun 2024 15:38:04 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="24c9e250534ae0eda986f30a88f700b9";
	logging-data="1844694"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18twqopbCAntvac3k5ppZYq"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:E+76RCZwj4mVU2UX2XgLr7NInXA=
Content-Language: en-US
In-Reply-To: <v3v1gf$22vrk$2@dont-email.me>
Bytes: 1566

On 7/06/24 15:21, olcott wrote:
> 
> main() does meet the Sipser approved criteria and you cannot
> possibly show otherwise.
> 
>     If simulating halt decider HH correctly simulates its input main
>     until HH correctly determines that its simulated main would never
>     stop running unless aborted then

It does not meet the criteria because the simulating halt decider HH 
does not correctly simulate its input.