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 claims this is not telling the truth
Date: Sun, 18 Aug 2024 11:53:28 +0300
Organization: -
Lines: 48
Message-ID: <v9scq8$2b16t$1@dont-email.me>
References: <v9q52r$1tedb$1@dont-email.me> <v9q565$1tedb$2@dont-email.me> <846a94a1a9eaf436668fc101f607cc3900785f3d@i2pn2.org> <v9qcge$1tedb$9@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:53:28 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="65f9434b854ff7a88818fe4e27e130bf";
	logging-data="2458845"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18HbFexZV5RMV1gGSHtzVFL"
User-Agent: Unison/2.2
Cancel-Lock: sha1:PJFcZlmEeyWV/YT0hz3x9lzn5WM=
Bytes: 2552

On 2024-08-17 14:35:58 +0000, olcott said:

> On 8/17/2024 9:10 AM, Richard Damon wrote:
>> On 8/17/24 8:31 AM, olcott wrote:
>>> 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 
>>> 
>>> 
>>> 
>> 
>> And here you admit to your scam.
>> 
>> You call HHH an "emulator" in describeing DDD, but it is a termination 
>> Analyzer when it is ruhn.
>> 
> 
> I am not going to go around and around with you on this.
> Every reply that diverges from the exact words written
> to the tiniest extent will be construed as deception.

Even without a tiniest divergence your words are a decption.

-- 
Mikko