Re: 195 page execution trace of DDD correctly simulated by HH0

Liste des GroupesRevenir à s logic 
Sujet : Re: 195 page execution trace of DDD correctly simulated by HH0
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theory sci.logic
Date : 28. Jun 2024, 10:23:08
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v5lrtd$386u3$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
User-Agent : Mozilla Thunderbird
Op 27.jun.2024 om 19:30 schreef olcott:
On 6/27/2024 4:45 AM, Fred. Zwarts wrote:
Op 26.jun.2024 om 15:30 schreef olcott:
On 6/26/2024 3:01 AM, Fred. Zwarts wrote:
Op 25.jun.2024 om 21:30 schreef olcott:
On 6/25/2024 2:17 PM, Fred. Zwarts wrote:
>
It might be true, but it is irrelevant, because the simulated H0 is aborted prematurely. The simulating H0 aborts after two cycles,
>
*I am not even talking about a simulating halt decider yet dumbo*
>
Neither am I. Why do you mention a simulating halt decider? (Who is the dumbo?)
>
>
Simulated H0 is never aborted.
Only termination analyzers do that.
>
So, you change subject again.
 When you prove that you are totally overwhelmed and confused
by the original issue I break it down into simpler steps.
 If you don't have a slight clue about the C programming
language then the first step is you must learn this language
otherwise it is like trying to talk to someone about
differential calculus that does not know how to count to ten.
If... But since this if does not apply, the the is irrelevant.
You keep repeating irrelevant texts to hide that you cannot show any error in my reasoning.

 typedef void (*ptr)();
int H0(ptr P);
 void Infinite_Loop()
{
   HERE: goto HERE;
}
 void Infinite_Recursion()
{
   Infinite_Recursion();
}
 void DDD()
{
   H0(DDD);
}
 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
by returning 0 to its caller.
 Simulating termination analyzers must report on the behavior that their
finite string input specifies thus H0 must report that DDD correctly
emulated by H0 remains stuck in recursive simulation.
 
Another attempt to distract from the subject.You claim you are not talking about halt-deciders or termination analyzers, but now you bring them up again.
We are discussing an H0 that aborts after two cycles. I do not tolerate to go away from this point.
The examples of Infinite_Loop and Infinite_Recursion do not apply. They are completely different from an H0 that aborts after two cycles.
The last example can be formulated much simpler:
        int main()
        {
          return H(main, 0);
        }
For which you proved that H returns after two cycles, although the simulated H did not return, because it was aborted prematurely when it had only one cycle to go.
This is exactly the same as in the DDD example. There is no infinite recursion, only a H0, the simulation of which is aborted when it had only one cycle to go.
Only an infinite simulation needs to be aborted.
There is no need to abort a simulation of an aborting simulation. So, H0 has no need to abort itself. It only needs to abort another Hx, that does not abort. Saying that it must abort is showing insufficient insight in the verified facts.

Date Sujet#  Auteur
20 Jun 24 * 195 page execution trace of DDD correctly simulated by HH0113olcott
20 Jun 24 +* Re: 195 page execution trace of DDD correctly simulated by HH048Fred. Zwarts
20 Jun 24 i`* Re: 195 page execution trace of DDD correctly simulated by HH047olcott
21 Jun 24 i +* Re: 195 page execution trace of DDD correctly simulated by HH03Richard Damon
21 Jun 24 i i`* Re: 195 page execution trace of DDD correctly simulated by HH02olcott
21 Jun 24 i i `- Re: 195 page execution trace of DDD correctly simulated by HH01Richard Damon
21 Jun 24 i `* Re: 195 page execution trace of DDD correctly simulated by HH043Fred. Zwarts
21 Jun 24 i  `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply42olcott
21 Jun 24 i   +* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply20Richard Damon
21 Jun 24 i   i`* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply19olcott
21 Jun 24 i   i `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply18Richard Damon
21 Jun 24 i   i  `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply17olcott
21 Jun 24 i   i   `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply16Richard Damon
21 Jun 24 i   i    `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply15olcott
21 Jun 24 i   i     +* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply9Richard Damon
21 Jun 24 i   i     i`* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply8olcott
21 Jun 24 i   i     i `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply7Richard Damon
21 Jun 24 i   i     i  `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply6olcott
21 Jun 24 i   i     i   `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply5Richard Damon
21 Jun 24 i   i     i    `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply4olcott
21 Jun 24 i   i     i     `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply3Richard Damon
21 Jun 24 i   i     i      `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply2olcott
21 Jun 24 i   i     i       `- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1Richard Damon
25 Jun 24 i   i     `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply5joes
25 Jun 24 i   i      `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply4olcott
26 Jun 24 i   i       +- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1Richard Damon
26 Jun 24 i   i       `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply2joes
26 Jun 24 i   i        `- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1olcott
22 Jun 24 i   `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply21Fred. Zwarts
22 Jun 24 i    `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply20olcott
22 Jun 24 i     +- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1Richard Damon
22 Jun 24 i     +* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply2joes
22 Jun 24 i     i`- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1Richard Damon
22 Jun 24 i     `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply16Fred. Zwarts
22 Jun 24 i      `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply15olcott
22 Jun 24 i       +* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply9Richard Damon
22 Jun 24 i       i`* DDD correctly emulated by H08olcott
22 Jun 24 i       i `* Re: DDD correctly emulated by H07Richard Damon
23 Jun 24 i       i  `* Re: DDD correctly emulated by H06olcott
23 Jun 24 i       i   `* Re: DDD correctly emulated by H05Richard Damon
23 Jun 24 i       i    `* Re: DDD correctly emulated by H04olcott
23 Jun 24 i       i     `* Re: DDD correctly emulated by H03Richard Damon
23 Jun 24 i       i      `* Re: DDD correctly emulated by H02olcott
23 Jun 24 i       i       `- Re: DDD correctly emulated by H01Richard Damon
23 Jun 24 i       `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply5Fred. Zwarts
23 Jun 24 i        `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply4olcott
24 Jun 24 i         `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply3Fred. Zwarts
24 Jun 24 i          `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply2olcott
25 Jun 24 i           `- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1Richard Damon
24 Jun 24 `* Re: 195 page execution trace of DDD correctly simulated by HH064olcott
25 Jun 24  +- Re: 195 page execution trace of DDD correctly simulated by HH01Richard Damon
25 Jun 24  +* Re: 195 page execution trace of DDD correctly simulated by HH060Fred. Zwarts
25 Jun 24  i`* Re: 195 page execution trace of DDD correctly simulated by HH059olcott
25 Jun 24  i +* Re: 195 page execution trace of DDD correctly simulated by HH055Fred. Zwarts
25 Jun 24  i i`* Re: 195 page execution trace of DDD correctly simulated by HH054olcott
25 Jun 24  i i +* Re: 195 page execution trace of DDD correctly simulated by HH047Fred. Zwarts
25 Jun 24  i i i`* Re: 195 page execution trace of DDD correctly simulated by HH046olcott
25 Jun 24  i i i `* Re: 195 page execution trace of DDD correctly simulated by HH045Fred. Zwarts
25 Jun 24  i i i  `* Re: 195 page execution trace of DDD correctly simulated by HH044olcott
25 Jun 24  i i i   `* Re: 195 page execution trace of DDD correctly simulated by HH043Fred. Zwarts
25 Jun 24  i i i    `* Re: 195 page execution trace of DDD correctly simulated by HH042olcott
26 Jun 24  i i i     `* Re: 195 page execution trace of DDD correctly simulated by HH041Fred. Zwarts
26 Jun 24  i i i      +* Re: 195 page execution trace of DDD correctly simulated by HH08olcott
27 Jun 24  i i i      i`* Re: 195 page execution trace of DDD correctly simulated by HH07Fred. Zwarts
27 Jun 24  i i i      i `* Re: 195 page execution trace of DDD correctly simulated by HH06olcott
28 Jun 24  i i i      i  `* Re: 195 page execution trace of DDD correctly simulated by HH05Fred. Zwarts
28 Jun 24  i i i      i   `* Re: 197 page execution trace of DDD correctly simulated by HHH4olcott
28 Jun 24  i i i      i    `* Re: 197 page execution trace of DDD correctly simulated by HHH3Fred. Zwarts
28 Jun 24  i i i      i     `* Re: 197 page execution trace of DDD correctly simulated by HHH2olcott
28 Jun 24  i i i      i      `- Re: 197 page execution trace of DDD correctly simulated by HHH1Fred. Zwarts
26 Jun 24  i i i      `* Re: 195 page execution trace of DDD correctly simulated by HH032olcott
27 Jun 24  i i i       `* Re: 195 page execution trace of DDD correctly simulated by HH031Fred. Zwarts
27 Jun 24  i i i        `* Re: 195 page execution trace of DDD correctly simulated by HH030olcott
28 Jun 24  i i i         +* Re: 195 page execution trace of DDD correctly simulated by HH015Fred. Zwarts
28 Jun 24  i i i         i`* Re: 197 page execution trace of DDD correctly simulated by HHH14olcott
28 Jun 24  i i i         i `* Re: 197 page execution trace of DDD correctly simulated by HHH13Fred. Zwarts
28 Jun 24  i i i         i  `* Re: 197 page execution trace of DDD correctly simulated by HHH12olcott
28 Jun 24  i i i         i   `* Re: 197 page execution trace of DDD correctly simulated by HHH11Fred. Zwarts
28 Jun 24  i i i         i    `* Re: 197 page execution trace of DDD correctly simulated by HHH10olcott
28 Jun 24  i i i         i     `* Re: 197 page execution trace of DDD correctly simulated by HHH9Fred. Zwarts
28 Jun 24  i i i         i      `* Re: 197 page execution trace of DDD correctly simulated by HHH8olcott
28 Jun 24  i i i         i       `* Re: 197 page execution trace of DDD correctly simulated by HHH7Fred. Zwarts
28 Jun 24  i i i         i        `* Re: 197 page execution trace of DDD correctly simulated by HHH6olcott
28 Jun 24  i i i         i         `* Re: 197 page execution trace of DDD correctly simulated by HHH5Fred. Zwarts
28 Jun 24  i i i         i          `* Re: 197 page execution trace of DDD correctly simulated by HHH4olcott
29 Jun 24  i i i         i           `* Re: 197 page execution trace of DDD correctly simulated by HHH3Fred. Zwarts
30 Jun 24  i i i         i            `* Re: 197 page execution trace of DDD correctly simulated by HHH2olcott
30 Jun 24  i i i         i             `- Re: 197 page execution trace of DDD correctly simulated by HHH1Richard Damon
28 Jun 24  i i i         `* Re: 197 page execution trace of DDD correctly simulated by HHH14olcott
3 Jul 24  i i i          `* Re: 197 page execution trace of DDD correctly simulated by HHH13olcott
3 Jul 24  i i i           `* Re: 197 page execution trace of DDD correctly simulated by HHH12Richard Damon
3 Jul 24  i i i            `* Re: 197 page execution trace of DDD correctly simulated by HHH11olcott
3 Jul 24  i i i             `* Re: 197 page execution trace of DDD correctly simulated by HHH10Richard Damon
3 Jul 24  i i i              `* Re: 197 page execution trace of DDD correctly simulated by HHH --- clueless9olcott
3 Jul 24  i i i               `* Re: 197 page execution trace of DDD correctly simulated by HHH --- clueless8Richard Damon
3 Jul 24  i i i                `* Re: 197 page execution trace of DDD correctly simulated by HHH --- Richard proves that he is clueless7olcott
3 Jul 24  i i i                 `* Re: 197 page execution trace of DDD correctly simulated by HHH --- Richard proves that he is clueless6Richard Damon
3 Jul 24  i i i                  `* Re: 197 page execution trace of DDD correctly simulated by HHH --- Richard proves that he is clueless5olcott
3 Jul 24  i i i                   `* Re: 197 page execution trace of DDD correctly simulated by HHH --- Richard proves that he is clueless4Richard Damon
3 Jul 24  i i i                    `* Re: 197 page execution trace of DDD correctly simulated by HHH --- Richard proves that he is clueless3olcott
3 Jul 24  i i i                     +- Re: 197 page execution trace of DDD correctly simulated by HHH --- Richard proves that he is clueless1Richard Damon
3 Jul 24  i i i                     `- Re: 197 page execution trace of DDD correctly simulated by HHH --- Richard proves that he is clueless1Richard Damon
26 Jun 24  i i `* DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure6olcott
26 Jun 24  i `* Re: 195 page execution trace of DDD correctly simulated by HH03Richard Damon
25 Jun 24  `* Re: 195 page execution trace of DDD correctly simulated by HH02joes

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal