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 : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic
Date : 26. Jun 2024, 03:47:38
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v5frvq$14bcm$8@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Mozilla Thunderbird
On 6/25/24 9:12 AM, olcott wrote:
On 6/25/2024 7:08 AM, Fred. Zwarts wrote:
Op 24.jun.2024 om 23:04 schreef olcott:
On 6/24/2024 2:36 PM, joes wrote:
Am Mon, 24 Jun 2024 08:48:19 -0500 schrieb olcott:
On 6/24/2024 2:37 AM, Mikko wrote:
On 2024-06-23 13:17:27 +0000, olcott said:
On 6/23/2024 3:22 AM, Mikko wrote:
That code is not from the mentined trace file. In that file _DDD()
is at the addresses 2093..20a4. According to the trace no instruction
at the address is executed (because that address points to the last
byte of a three byte instruction.
>
In order to make my examples I must edit the code and this changes the
addresses of some functions.
>
Why do you need to make an example when you already have one in the
file mentioned in the subject line?
>
I had to make a few more examples such as HH1(DD,DD)
AFACT HH1 is the same as HH0, right? What happens when HH1 tries to
simulate a function DD1 that only calls HH1?
>
>
typedef uint32_t u32;
u32 H(u32 P, u32 I);
>
int P(u32 x)
{
   int Halt_Status = H(x, x);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
>
int main()
{
   H(P,P);
}
>
I am going to have to go through my code and standardize my names.
H(P,P) was the original name. Then I had to make a one parameter
version, a version that is identical to H, except P does not call
it and then versions using different algorithms. People have never
been able to understand the different algorithm.
>
typedef void (*ptr)();
typedef int (*ptr2)();
int  HH(ptr2 P, ptr2 I); // used with int D(ptr2 P) that calls HH
int HH1(ptr2 P, ptr2 I); // used with int D(ptr2 P) that calls HH
int  HHH(ptr P);         // used with void DDD() that calls HHH
int HHH1(ptr P);         // used with void DDD() that calls HHH
>
*The different algorithm version has been deprecated*
int  H(ptr2 , ptr2 I);  // used with int D(ptr2 P) that calls H
int H1(ptr2 P, ptr2 I); // used with int D(ptr2 P) that calls H
>
*It is much easier for people to see the infinite recursion*
*behavior pattern when they see it actually cycle through the*
*same instructions twice*
>
Twice is not equal to infinitely. When will you see that?
It is strange that you call that an infinite recursion, when H aborts after two cycles and the simulated H cannot reach its own abort operation, because it is aborted when it had only one more cycle to go.
None of the aborted simulations would cycle more than twice, so infinite recursion is not seen for an H that aborts the simulation of itself.
 typedef void (*ptr)();
int H0(ptr P);
 void DDD()
{
   H0(DDD);
}
 int main()
{
   H0(DDD);
}
 _DDD()
[00002172] 55               push ebp      ; housekeeping
[00002173] 8bec             mov ebp,esp   ; housekeeping
[00002175] 6872210000       push 00002172 ; push DDD
[0000217a] e853f4ffff       call 000015d2 ; call H0(DDD)
[0000217f] 83c404           add esp,+04
[00002182] 5d               pop ebp
[00002183] c3               ret
Size in bytes:(0018) [00002183]
 The call from DDD to H0(DDD) when DDD is correctly emulated
by H0 cannot possibly return.
In the section thaty was correctly simulated.
It can return after that point.
Aborted simulations do NOT stop the behavior represented by the input.

 Until you acknowledge this is true, this is the
only thing that I am willing to talk to you about.
 

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