Overview of proof that the input to HHH(DDD) specifies non-halting behavior

Liste des GroupesRevenir à c theory 
Sujet : Overview of proof that the input to HHH(DDD) specifies non-halting behavior
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 13. Aug 2024, 03:43:49
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v9edol$3metk$1@dont-email.me>
User-Agent : Mozilla Thunderbird
We prove that the simulation is correct.
Then we prove that this simulation cannot possibly
reach its final halt state / ever stop running without being aborted.
The semantics of the x86 language conclusive proves this is true.
Thus when we measure the behavior specified by this finite
string by DDD correctly simulated/emulated by HHH it specifies
non-halting behavior.
https://www.researchgate.net/publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
13 Aug 24 * Overview of proof that the input to HHH(DDD) specifies non-halting behavior29olcott
13 Aug 24 +- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior1Python
13 Aug 24 +- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior1Richard Damon
13 Aug 24 +* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior23Mikko
13 Aug 24 i`* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike22olcott
13 Aug 24 i +* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike15Fred. Zwarts
13 Aug 24 i i`* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point14olcott
13 Aug 24 i i +* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point12Fred. Zwarts
13 Aug 24 i i i`* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point11olcott
13 Aug 24 i i i +* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point9Fred. Zwarts
13 Aug 24 i i i i`* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point8olcott
13 Aug 24 i i i i +* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point6Fred. Zwarts
13 Aug 24 i i i i i`* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point5olcott
14 Aug 24 i i i i i +- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point1Richard Damon
14 Aug 24 i i i i i `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point3Fred. Zwarts
14 Aug 24 i i i i i  `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- in our head2olcott
14 Aug 24 i i i i i   `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- in our head1Fred. Zwarts
14 Aug 24 i i i i `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point1Richard Damon
14 Aug 24 i i i `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point1Richard Damon
14 Aug 24 i i `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point1Richard Damon
14 Aug 24 i `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike6Mikko
14 Aug 24 i  `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike5olcott
14 Aug 24 i   +- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike1Fred. Zwarts
15 Aug 24 i   `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike3Mikko
15 Aug 24 i    `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike2olcott
16 Aug 24 i     `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike1Mikko
13 Aug 24 `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior3olcott
14 Aug 24  +- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior1Richard Damon
14 Aug 24  `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal