Re: Can you please verify that the analysis of these C functions is correct?

On 6/16/2024 10:47 PM, olcott wrote:

To understand this analysis requires a sufficient knowledge of
the C programming language and what an x86 emulator does.
 typedef void (*ptr)();
int H0(ptr P);
 void Infinite_Loop()
{
   HERE: goto HERE;
}
 void Infinite_Recursion()
{
   Infinite_Recursion();
}
 void DDD()
{
   H0(DDD);
   return;
}
 int main()
{
   H0(Infinite_Loop);
   H0(Infinite_Recursion);
   H0(DDD);
}
 Every C programmer that knows what an x86 emulator is knows that when H0
emulates the machine language of Infinite_Loop, Infinite_Recursion, and
DDD that it must abort these emulations so that itself can terminate
normally.
 When this is construed as non-halting criteria then simulating
termination analyzer H0 is correct to reject these inputs as non-
halting.
 *My POD24 diagnosis is reducing the time I have left to work on this*
Validation of POD24 as a robust early clinical end point of poor
survival in FL from 5225 patients on 13 clinical trials
https://pubmed.ncbi.nlm.nih.gov/34614146/
 

I wrote this whole paper all over again from scratch to make
it most easily understood by C/C++ software engineers like
myself. It also has some key technical details for computer
scientists.
*Termination Analyzer H is Not Fooled by Pathological Input P*
https://www.researchgate.net/publication/381636432_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_P --
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer