Re: HHH maps its input to the behavior specified by it --- never reaches its halt state

Liste des GroupesRevenir à theory 
Sujet : Re: HHH maps its input to the behavior specified by it --- never reaches its halt state
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theory
Date : 08. Aug 2024, 20:04:56
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v934sq$5kjd$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : Mozilla Thunderbird
Op 08.aug.2024 om 20:48 schreef olcott:
On 8/8/2024 1:44 PM, Fred. Zwarts wrote:
Op 08.aug.2024 om 15:15 schreef olcott:
On 8/8/2024 3:24 AM, Fred. Zwarts wrote:
Op 07.aug.2024 om 15:01 schreef olcott:
On 8/7/2024 3:16 AM, Fred. Zwarts wrote:
Op 04.aug.2024 om 15:11 schreef olcott:
On 8/4/2024 1:26 AM, Fred. Zwarts wrote:
Op 03.aug.2024 om 17:20 schreef olcott:>>
When you try to show how DDD simulated by HHH does
reach its "return" instruction you must necessarily
must fail unless you cheat by disagreeing with the
semantics of C. That you fail to have a sufficient
understanding of the semantics of C is less than no
rebuttal what-so-ever.
>
Fortunately that is not what I try, because I understand that HHH cannot possibly simulate itself correctly.
>
>
void DDD()
{
   HHH(DDD);
   return;
}
>
In other words when HHH simulates itself simulating DDD it
is supposed to do something other than simulating itself
simulating DDD ???  Do you expect it to make a cup of coffee?
>
>
Is English too difficult for you. I said HHH cannot do it correctly.
>
*According to an incorrect criteria of correct*
You keep trying to get away with disagreeing with
the semantics of the x86 language. *That is not allowed*
>
Again accusations without evidence.
We proved that HHH deviated from the semantics of the x86 language by skipping the last few instructions of a halting program.
>
void DDD()
{
   HHH(DDD);
   return;
}
>
Each HHH of every HHH that can possibly exist definitely
*emulates zero to infinity instructions correctly* In
none of these cases does the emulated DDD ever reach
its "return" instruction halt state.
>
*There are no double-talk weasel words around this*
*There are no double-talk weasel words around this*
*There are no double-talk weasel words around this*
>
Indeed. And this correctly proves that the simulation failed, not because of an instruction simulated incorrectly, but because instructions are skipped.
 void Infinite_Recursion()
{
   Infinite_Recursion();
   return;
}
Dreaming again of an infinite recursion?

 The return instruction in both cases is unreachable code.
DDD correctly emulated by HHH and Infinite_Recursion
correctly emulated by HHH cannot reach the "return"
instruction.
It cannot reach it, because it was programmed to abort one cycle before the program would end.

 If you don't know the first thing about programming you
might not notice this.
 
You forget that I know that HHH cannot reach its end, because it was aborted too soon.
As an experienced programmer I know that aborting a halting program too soon causes it to not reach its end.
It seems that you do not know that.
void Finite_Recursion (int N) {
   if (N > 0) Finite_Recursion (N - 1);
}
When Finite_Recursion needs 10 recursions and it is aborted after two recursions, it does not reach its end. That does not prove that it is a non-halting program. It proves that the abort came too soon.
Similarly, when HHH needs two cycles, but its simulation is aborted after one cycle, it only shows that the abort came too soon.
It does not help to dream of a HHH that does not abort. Dreams are no substitute for facts.
HHH cannot possibly simulate itself correctly, because it cannot reach its end.

Date Sujet#  Auteur
2 Aug 24 * Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?395olcott
2 Aug 24 +* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?11Richard Damon
3 Aug 24 i`* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?10olcott
3 Aug 24 i `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?9Richard Damon
3 Aug 24 i  `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?8olcott
3 Aug 24 i   `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?7Richard Damon
3 Aug 24 i    `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?6olcott
3 Aug 24 i     `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?5Richard Damon
3 Aug 24 i      `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?4olcott
3 Aug 24 i       `* Re: Olcott is too stupid to know that only the DDD correctly simulated by onlly the HHH that doesn't abort cannot possibly reach its own return instruction?3Richard Damon
3 Aug 24 i        `* Who here is too stupid to know that DDD correctly simulated,by HHH cannot possibly reach its own return instruction?2olcott
3 Aug 24 i         `- Re: Who here is too stupid to know that DDD correctly simulated,by HHH cannot possibly reach its own return instruction?1Richard Damon
3 Aug 24 +* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?287Fred. Zwarts
3 Aug 24 i`* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?286olcott
3 Aug 24 i +* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?284Fred. Zwarts
3 Aug 24 i i`* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?283olcott
3 Aug 24 i i +- Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?1Fred. Zwarts
3 Aug 24 i i `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?281Richard Damon
3 Aug 24 i i  `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?280olcott
3 Aug 24 i i   +* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?278Richard Damon
3 Aug 24 i i   i`* Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?277olcott
3 Aug 24 i i   i `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?276Richard Damon
3 Aug 24 i i   i  `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?275olcott
3 Aug 24 i i   i   +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?29Richard Damon
3 Aug 24 i i   i   i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?28olcott
3 Aug 24 i i   i   i `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?27Richard Damon
3 Aug 24 i i   i   i  `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?26olcott
3 Aug 24 i i   i   i   `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?25Richard Damon
3 Aug 24 i i   i   i    `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?24olcott
3 Aug 24 i i   i   i     `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?23Richard Damon
3 Aug 24 i i   i   i      `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?22olcott
3 Aug 24 i i   i   i       `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD21Richard Damon
3 Aug 24 i i   i   i        `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD20olcott
3 Aug 24 i i   i   i         `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD19Richard Damon
3 Aug 24 i i   i   i          `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD18olcott
4 Aug 24 i i   i   i           `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD17Richard Damon
4 Aug 24 i i   i   i            `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD16olcott
4 Aug 24 i i   i   i             `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD15Richard Damon
4 Aug 24 i i   i   i              `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD14olcott
4 Aug 24 i i   i   i               `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD13Richard Damon
4 Aug 24 i i   i   i                `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD12olcott
4 Aug 24 i i   i   i                 `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD11Richard Damon
4 Aug 24 i i   i   i                  `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD10olcott
4 Aug 24 i i   i   i                   +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD3Richard Damon
4 Aug 24 i i   i   i                   i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD2olcott
4 Aug 24 i i   i   i                   i `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD1Richard Damon
5 Aug 24 i i   i   i                   `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD6Mikko
5 Aug 24 i i   i   i                    `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD5olcott
7 Aug 24 i i   i   i                     `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD4Mikko
7 Aug 24 i i   i   i                      `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?3olcott
8 Aug 24 i i   i   i                       +- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
8 Aug 24 i i   i   i                       `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Mikko
4 Aug 24 i i   i   `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?245Fred. Zwarts
4 Aug 24 i i   i    `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?244olcott
4 Aug 24 i i   i     `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?243Richard Damon
4 Aug 24 i i   i      `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?242olcott
4 Aug 24 i i   i       +- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
5 Aug 24 i i   i       +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?236Mikko
5 Aug 24 i i   i       i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?235olcott
6 Aug 24 i i   i       i +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?25Richard Damon
6 Aug 24 i i   i       i i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?24olcott
6 Aug 24 i i   i       i i `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?23Richard Damon
6 Aug 24 i i   i       i i  `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?22olcott
6 Aug 24 i i   i       i i   +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?4wij
6 Aug 24 i i   i       i i   i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?3olcott
6 Aug 24 i i   i       i i   i +- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
6 Aug 24 i i   i       i i   i `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1wij
6 Aug 24 i i   i       i i   +- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
6 Aug 24 i i   i       i i   `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?16Mike Terry
6 Aug 24 i i   i       i i    +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?14olcott
6 Aug 24 i i   i       i i    i+* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?5Richard Damon
6 Aug 24 i i   i       i i    ii`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?4olcott
6 Aug 24 i i   i       i i    ii `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?3Richard Damon
6 Aug 24 i i   i       i i    ii  `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?2olcott
6 Aug 24 i i   i       i i    ii   `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
6 Aug 24 i i   i       i i    i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?8Mike Terry
6 Aug 24 i i   i       i i    i `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?7olcott
6 Aug 24 i i   i       i i    i  +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?5Mike Terry
6 Aug 24 i i   i       i i    i  i+* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?3olcott
6 Aug 24 i i   i       i i    i  ii`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?2Mike Terry
6 Aug 24 i i   i       i i    i  ii `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1olcott
6 Aug 24 i i   i       i i    i  i`- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1olcott
7 Aug 24 i i   i       i i    i  `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
6 Aug 24 i i   i       i i    `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
7 Aug 24 i i   i       i `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?209Mikko
7 Aug 24 i i   i       i  `* HHH computes the mapping from its input finite sting to the actual behavior specified by this finite string208olcott
7 Aug 24 i i   i       i   +* Re: HHH maps its input to the behavior specified by it206joes
7 Aug 24 i i   i       i   i+* Re: HHH maps its input to the behavior specified by it204olcott
8 Aug 24 i i   i       i   ii`* Re: HHH maps its input to the behavior specified by it203Richard Damon
8 Aug 24 i i   i       i   ii `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state202olcott
8 Aug 24 i i   i       i   ii  `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state201Richard Damon
8 Aug 24 i i   i       i   ii   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state2olcott
8 Aug 24 i i   i       i   ii   i`- Re: HHH maps its input to the behavior specified by it --- HHH never reaches its halt state so never decides, or it decides wrong.1Richard Damon
8 Aug 24 i i   i       i   ii   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state2olcott
8 Aug 24 i i   i       i   ii   i`- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state1Richard Damon
8 Aug 24 i i   i       i   ii   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state2olcott
8 Aug 24 i i   i       i   ii   i`- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state1Richard Damon
8 Aug 24 i i   i       i   ii   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state2olcott
8 Aug 24 i i   i       i   ii   i`- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state1Richard Damon
8 Aug 24 i i   i       i   ii   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state2olcott
8 Aug 24 i i   i       i   ii   i`- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state1Richard Damon
8 Aug 24 i i   i       i   ii   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state186olcott
8 Aug 24 i i   i       i   ii   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state2olcott
8 Aug 24 i i   i       i   ii   `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state2olcott
8 Aug 24 i i   i       i   i`- Re: HHH maps its input to the behavior specified by it1Mikko
8 Aug 24 i i   i       i   `- Re: HHH computes the mapping from its input finite sting to the actual behavior specified by this finite string (Which is the results of running the input)1Richard Damon
7 Aug 24 i i   i       `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?4Keith Thompson
4 Aug 24 i i   `- Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?1Fred. Zwarts
3 Aug 24 i `- Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?1Richard Damon
3 Aug 24 `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?96Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal