Path: ...!3.eu.feeder.erje.net!feeder.erje.net!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: Proof that DDD specifies non-halting behavior --- point by point
Date: Wed, 14 Aug 2024 11:17:10 +0300
Organization: -
Lines: 14
Message-ID: <v9hp66$ck4s$1@dont-email.me>
References: <v9gv4k$4sc4$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 14 Aug 2024 10:17:10 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c3c24c5ffe79752ad72ef4cdb11b642f";
	logging-data="413852"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+cV0iRw01RSlWu7/I4n9T3"
User-Agent: Unison/2.2
Cancel-Lock: sha1:UITcHnKaGMtW1BpJj25t3n9UbAs=
Bytes: 1164

On 2024-08-14 00:52:36 +0000, olcott said:

> void DDD()
> {
>    HHH(DDD);
>    return;
> }

In order to prove that the above specifies a non-halting behavour
you must prove that HHH(DDD) does not terminate.

-- 
Mikko