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: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: comp.theory Subject: Re: HHH maps its input to the behavior specified by it --- partial simulation never reaches its halt state, but the program does. Date: Fri, 9 Aug 2024 22:57:30 -0400 Organization: i2pn2 (i2pn.org) Message-ID: <69f5a47bf03695a1d24a44c807a8ae6234b8cf78@i2pn2.org> References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 10 Aug 2024 02:57:30 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="2032647"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird X-Spam-Checker-Version: SpamAssassin 4.0.0 In-Reply-To: Content-Language: en-US Bytes: 2763 Lines: 35 On 8/9/24 1:02 PM, olcott wrote: > On 8/9/2024 10:42 AM, Fred. Zwarts wrote: >> Op 09.aug.2024 om 17:04 schreef olcott: > >>>> void Infinite_Loop() >>> { >>>    HERE: goto HERE; >>> } >>> >>> The correct simulation of the above never halts. >> > > void DDD() > { >   HHH(DDD); >   return; > } > > A correct simulation of N instructions of DDD > A correct simulation of N instructions of DDD. > You are trying to get away with denying a truism. > But not a correct simulation of ALL the instruction of DDD, so doesn't indicate if it halts. I guess you think if you drive one mile on a highway, and then get off because you think the road will never stop, that proves that the road will never stop. Sorry, it doesn't work that way, The only simulation that shows, by itself, that an input to be non-halting, is a simulation that runs forever. Remember, EVERY DDD that calls a different HHH is a different input and has a different correct simulation, and all of the ones that use a HHH that aborts and returns will halt themselves even though HHH's simulation didn't reach there.