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 <ve3dbs$274jb$1@dont-email.me>
Deutsch   English   Français   Italiano  
<ve3dbs$274jb$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article 
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Simulating Termination Analyzer HHH(DDD) rejects input DDD
Date: Tue, 8 Oct 2024 16:50:52 +0300
Organization: -
Lines: 21
Message-ID: <ve3dbs$274jb$1@dont-email.me>
References: <ve1gbe$1r7s8$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 08 Oct 2024 15:50:53 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="48c7620539385c913d1cc47634daaca2";
	logging-data="2331243"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/lC446KbMvfcfPe0yuAjAM"
User-Agent: Unison/2.2
Cancel-Lock: sha1:BUfs0BxkZasOd3EHDIHuG1SMuzg=
Bytes: 1480

On 2024-10-07 20:29:33 +0000, olcott said:

> *Simulating Termination Analyzer HHH(DDD) rejects input DDD*
> HHH is an emulating termination analyzer that takes the machine
> address of DDD as input then emulates the x86 machine language
> of DDD until a non-terminating behavior pattern is recognized.
> 
> *HHH recognizes this pattern when HHH emulates itself emulating DDD*
> 
> void DDD()
> {
>    HHH(DDD);
>    return;
> }

The above code shows that if HHH(DDD) rejects then DDD halts, which
means that no program that rejects DDD is a halting decider.

-- 
Mikko