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