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: Python <python@invalid.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: Simulating termination analyzers for dummies
Date: Tue, 18 Jun 2024 14:42:10 +0200
Organization: CCCP
Lines: 43
Message-ID: <v4rvb2$19r3f$5@dont-email.me>
References: <v4oaqu$f9p5$1@dont-email.me> <v4os9e$i70m$1@dont-email.me>
 <v4p9mb$lavj$1@dont-email.me> <v4pdph$l7lf$1@dont-email.me>
 <v4pepj$ln46$15@dont-email.me> <v4pgk3$l7le$2@dont-email.me>
 <v4phhl$mub6$2@dont-email.me> <v4piea$l7le$5@dont-email.me>
 <v4pmb8$nmvq$1@dont-email.me> <v4rekj$180pg$1@dont-email.me>
 <v4rv45$1blnm$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 18 Jun 2024 14:42:10 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="4269dae8db473cc9c4b27ea27f97445b";
	logging-data="1371247"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/WqN9+m6U5ILj2RHzVdNFf"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:gg8AGVGIR8yAW6WpNn9AwBlgfI0=
In-Reply-To: <v4rv45$1blnm$1@dont-email.me>
Content-Language: en-US
Bytes: 2214

Le 18/06/2024 à 14:38, olcott a écrit :
> On 6/18/2024 2:57 AM, Fred. Zwarts wrote:
....
>> It is such a simple fact that H0 cannot possibly correct. 
> 
> Are you pretending to be incompetent about the semantics of the
> x86 language or you you actually incompetent?
> 
> The C people already agreed that I am correct about this:

Definitely NOT. Given that the following code is not an assertion
(and does not even compile, as usual with Peter Olcott productions).

> typedef void (*ptr)();
> int H0(ptr P);
> 
> void Infinite_Loop()
> {
>    HERE: goto HERE;
> }
> 
> void Infinite_Recursion()
> {
>    Infinite_Recursion();
> }
> 
> void DDD()
> {
>    H0(DDD);
> }
> 
> int main()
> {
>    H0(Infinite_Loop);
>    H0(Infinite_Recursion);
>    H0(DDD);
> }

Have you checked weather forecast in Hell as you are likely
to end up there soon?