Sujet : C function HHH correctly reports that DDD never terminates --- boiled down to two sentences
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.lang.cDate : 13. Oct 2024, 02:03:01
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vef685$ci5v$1@dont-email.me>
References : 1
User-Agent : Mozilla Thunderbird
On 10/11/2024 9:50 PM, olcott wrote:
https://chatgpt.com/share/6709e046-4794-8011-98b7-27066fb49f3e
This link is live for the world. You can click on it
and try to convince ChatGPT that HHH is wrong to reject
DDD because the executed DDD does halt.
It will explain your mistake in clear simple language.
*The paper that this refers to*
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
void DDD()
{
HHH(DDD);
return;
}
When HHH is an x86 emulation based termination analyzer
then each DDD emulated by any HHH that it calls never returns.
Each of the directly executed HHH emulator/analyzers that returns
0 correctly reports the above non-terminating behavior of its input.
Fully operational code is here.
https://github.com/plolcott/x86utm/blob/master/Halt7.c-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer