Path: ...!2.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: Anyone that disagrees with this is not telling the truth
Date: Sun, 18 Aug 2024 11:50:44 +0300
Organization: -
Lines: 33
Message-ID: <v9scl4$2b0t0$1@dont-email.me>
References: <v9q52r$1tedb$1@dont-email.me> <v9q565$1tedb$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 18 Aug 2024 10:50:44 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="65f9434b854ff7a88818fe4e27e130bf";
	logging-data="2458528"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19T6cnlj4O4PAw+wwBl4axz"
User-Agent: Unison/2.2
Cancel-Lock: sha1:ttw+BF5f72gnOLLdwwpw0BoA4VM=
Bytes: 1999

On 2024-08-17 12:31:01 +0000, olcott said:

> On 8/17/2024 7:29 AM, olcott wrote:
>> void DDD()
>> {
>>   HHH(DDD);
>> }
>> 
>> _DDD()
>> [00002172] 55         push ebp      ; housekeeping
>> [00002173] 8bec       mov ebp,esp   ; housekeeping
>> [00002175] 6872210000 push 00002172 ; push DDD
>> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
>> [0000217f] 83c404     add esp,+04
>> [00002182] 5d         pop ebp
>> [00002183] c3         ret
>> Size in bytes:(0018) [00002183]
>> 
>> *It is a basic fact that DDD emulated by HHH according to*
>> *the semantics of the x86 language cannot possibly stop*
>> *running unless aborted* (out of memory error excluded)
>> 
> 
> Simulating Termination Analyzer H is Not Fooled by Pathological Input D
> 
> https://www.researchgate.net/publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D 
> 

That attempt should be discussed separately, and to some extent already is.

-- 
Mikko