Re: Simulating termination analyzers for dummies

Liste des GroupesRevenir à theory 
Sujet : Re: Simulating termination analyzers for dummies
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theory sci.logic
Date : 19. Jun 2024, 09:08:59
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v4u3mr$1rrod$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 18.jun.2024 om 18:26 schreef olcott:
On 6/18/2024 10:47 AM, Fred. Zwarts wrote:
Op 18.jun.2024 om 17:33 schreef olcott:
On 6/18/2024 10:20 AM, Fred. Zwarts wrote:
>
It is a verified fact that serious C people have recently
agreed to the following verbatim statement in the C group.
 http://al.howardknight.net/?STYPE=msgid&MSGI=%3Cv4pg5p%24morv%241%40raubtier-asyl.eternal-september.org%3E+
 
You either lack this degree of skill in C or are only
interested in playing head games.
>
I have seen the response. It was most certainly not a serious reply.
But you know apparently to little of C to understand that.
Probably, because you are unable to escape from rebuttal mode, even if the truth is obvious.
>
 I have known C since K&R was the standard and met
Bjarne Stroustrup when he came to our university
to promote his new C++ programming language.
 *You seem to be willfully ignorant*
 
It was your own proof that showed that in
>
        int main()
        {
          return H(main);
        }
>
>
main halts, whereas H reported non-halting. So, it you were honest you would stop claiming that H is correct.
>
 That is merely a more difficult to understand version of this
same pathological relationship.
 int main()
{
   Output("Input_Halts = ", HH0(main));
}
 _main()
[000020c2] 55         push ebp
[000020c3] 8bec       mov ebp,esp
[000020c5] 68c2200000 push 000020c2 ; push main
[000020ca] e833f4ffff call 00001502 ; call HH0
[000020cf] 83c404     add esp,+04
[000020d2] 50         push eax
[000020d3] 6843070000 push 00000743
[000020d8] e885e6ffff call 00000762
[000020dd] 83c408     add esp,+08
[000020e0] eb04       jmp 000020e6
[000020e2] 33c0       xor eax,eax
[000020e4] eb02       jmp 000020e8
[000020e6] 33c0       xor eax,eax
[000020e8] 5d         pop ebp
[000020e9] c3         ret
Size in bytes:(0040) [000020e9]
   machine   stack     stack     machine    assembly
  address   address   data      code       language
  ========  ========  ========  =========  =============
[000020c2][001036c3][00000000] 55         push ebp
[000020c3][001036c3][00000000] 8bec       mov ebp,esp
[000020c5][001036bf][000020c2] 68c2200000 push 000020c2 ; push main
[000020ca][001036bb][000020cf] e833f4ffff call 00001502 ; call HH0
New slave_stack at:103767
 Begin Local Halt Decider Simulation   Execution Trace Stored at:11376f
[000020c2][0011375f][00113763] 55         push ebp      ; begin main
[000020c3][0011375f][00113763] 8bec       mov ebp,esp
[000020c5][0011375b][000020c2] 68c2200000 push 000020c2 ; push main
[000020ca][00113757][000020cf] e833f4ffff call 00001502 ; call HH0
New slave_stack at:14e18f
[000020c2][0015e187][0015e18b] 55         push ebp      ; begin main
[000020c3][0015e187][0015e18b] 8bec       mov ebp,esp
[000020c5][0015e183][000020c2] 68c2200000 push 000020c2 ; push main
[000020ca][0015e17f][000020cf] e833f4ffff call 00001502 ; call HH0
Local Halt Decider: Infinite Recursion Detected Simulation Stopped
 [000020cf][001036c3][00000000] 83c404     add esp,+04
[000020d2][001036bf][00000000] 50         push eax
[000020d3][001036bb][00000743] 6843070000 push 00000743
[000020d8][001036bb][00000743] e885e6ffff call 00000762
Input_Halts = 0
[000020dd][001036c3][00000000] 83c408     add esp,+08
[000020e0][001036c3][00000000] eb04       jmp 000020e6
[000020e6][001036c3][00000000] 33c0       xor eax,eax
[000020e8][001036c7][00000018] 5d         pop ebp
[000020e9][001036cb][00000000] c3         ret           ; exit main
Number of Instructions Executed(10070) == 150 Pages
 
It is easier to understand because a print statement was added.
You proved that it halts, but H0 reports non-halting.
So, it produces a false negative.
So, now it has been proved that H, H0, etc produce false negatives, when used to determine halting behaviour, please, stop to call them halt-deciders, or termination-deciders.
They might be "simulation deciders". When returning true, the simulation was correct, when false, the full simulation was not possible.

Date Sujet#  Auteur
17 Jun 24 * Simulating termination analyzers for dummies169olcott
17 Jun 24 +* Re: Simulating termination analyzers for dummies158Fred. Zwarts
17 Jun 24 i`* Re: Simulating termination analyzers for dummies157olcott
17 Jun 24 i +* Re: Simulating termination analyzers for dummies50Fred. Zwarts
17 Jun 24 i i`* Re: Simulating termination analyzers for dummies49olcott
17 Jun 24 i i `* Re: Simulating termination analyzers for dummies48Fred. Zwarts
17 Jun 24 i i  `* Re: Simulating termination analyzers for dummies47olcott
17 Jun 24 i i   `* Re: Simulating termination analyzers for dummies46Fred. Zwarts
17 Jun 24 i i    `* Re: Simulating termination analyzers for dummies45olcott
18 Jun 24 i i     `* Re: Simulating termination analyzers for dummies44Fred. Zwarts
18 Jun 24 i i      `* Re: Simulating termination analyzers for dummies43olcott
18 Jun 24 i i       +* Re: Simulating termination analyzers for dummies3Python
18 Jun 24 i i       i`* Re: Simulating termination analyzers for dummies2olcott
19 Jun 24 i i       i `- Re: Simulating termination analyzers for dummies1Richard Damon
18 Jun 24 i i       +* Re: Simulating termination analyzers for dummies38Fred. Zwarts
18 Jun 24 i i       i`* Re: Simulating termination analyzers for dummies37olcott
18 Jun 24 i i       i +* Re: Simulating termination analyzers for dummies33Fred. Zwarts
18 Jun 24 i i       i i`* Re: Simulating termination analyzers for dummies32olcott
18 Jun 24 i i       i i +* Re: Simulating termination analyzers for dummies2Python
18 Jun 24 i i       i i i`- Re: Simulating termination analyzers for dummies1olcott
19 Jun 24 i i       i i `* Re: Simulating termination analyzers for dummies29Fred. Zwarts
19 Jun 24 i i       i i  `* Re: Simulating termination analyzers for dummies28olcott
19 Jun 24 i i       i i   +* Re: Simulating termination analyzers for dummies5Fred. Zwarts
19 Jun 24 i i       i i   i`* Re: Simulating termination analyzers for dummies4olcott
19 Jun 24 i i       i i   i `* Re: Simulating termination analyzers for dummies3Fred. Zwarts
19 Jun 24 i i       i i   i  `* Re: Simulating termination analyzers for dummies2olcott
20 Jun 24 i i       i i   i   `- Re: Simulating termination analyzers for dummies1Fred. Zwarts
20 Jun 24 i i       i i   +* Re: Simulating termination analyzers for dummies16Richard Damon
20 Jun 24 i i       i i   i`* Re: Simulating termination analyzers for dummies15olcott
20 Jun 24 i i       i i   i `* Re: Simulating termination analyzers for dummies14Richard Damon
20 Jun 24 i i       i i   i  `* Re: Simulating termination analyzers for dummies13olcott
20 Jun 24 i i       i i   i   `* Re: Simulating termination analyzers for dummies12Richard Damon
20 Jun 24 i i       i i   i    `* Re: Simulating termination analyzers for dummies11olcott
20 Jun 24 i i       i i   i     +* Re: Simulating termination analyzers for dummies3Richard Damon
20 Jun 24 i i       i i   i     i`* Re: Simulating termination analyzers for dummies2olcott
21 Jun 24 i i       i i   i     i `- Re: Simulating termination analyzers for dummies1Richard Damon
21 Jun 24 i i       i i   i     `* Re: Simulating termination analyzers for dummies7joes
21 Jun 24 i i       i i   i      `* Re: Simulating termination analyzers for dummies6olcott
21 Jun 24 i i       i i   i       +* Re: Simulating termination analyzers for dummies2joes
21 Jun 24 i i       i i   i       i`- Re: Simulating termination analyzers for dummies1olcott
21 Jun 24 i i       i i   i       `* Re: Simulating termination analyzers for dummies3Richard Damon
21 Jun 24 i i       i i   i        `* Re: Simulating termination analyzers for dummies2olcott
21 Jun 24 i i       i i   i         `- Re: Simulating termination analyzers for dummies1Richard Damon
20 Jun 24 i i       i i   `* Re: Simulating termination analyzers for dummies6Mikko
20 Jun 24 i i       i i    `* Re: Simulating termination analyzers for dummies5olcott
20 Jun 24 i i       i i     +- Re: Simulating termination analyzers for dummies1Richard Damon
20 Jun 24 i i       i i     `* Re: Simulating termination analyzers for dummies3Mikko
20 Jun 24 i i       i i      `* Re: Simulating termination analyzers for dummies2olcott
21 Jun 24 i i       i i       `- Re: Simulating termination analyzers for dummies1Richard Damon
18 Jun 24 i i       i +* Re: Simulating termination analyzers for dummies2Python
18 Jun 24 i i       i i`- Re: Simulating termination analyzers for dummies1olcott
19 Jun 24 i i       i `- Re: Simulating termination analyzers for dummies1Richard Damon
19 Jun 24 i i       `- Re: Simulating termination analyzers for dummies1Richard Damon
18 Jun 24 i `* Re: Simulating termination analyzers for dummies106Richard Damon
18 Jun 24 i  `* Re: Simulating termination analyzers for dummies105olcott
18 Jun 24 i   `* Re: Simulating termination analyzers for dummies104Richard Damon
18 Jun 24 i    `* Re: Simulating termination analyzers for dummies103olcott
18 Jun 24 i     `* Re: Simulating termination analyzers for dummies102Richard Damon
18 Jun 24 i      `* Re: Simulating termination analyzers for dummies101olcott
18 Jun 24 i       `* Re: Simulating termination analyzers for dummies100Richard Damon
18 Jun 24 i        `* Re: Simulating termination analyzers for dummies99olcott
18 Jun 24 i         `* Re: Simulating termination analyzers for dummies98Richard Damon
18 Jun 24 i          `* Re: Simulating termination analyzers for dummies97olcott
18 Jun 24 i           +* Re: Simulating termination analyzers for dummies95Richard Damon
18 Jun 24 i           i`* Re: Simulating termination analyzers for dummies94olcott
18 Jun 24 i           i +* Re: Simulating termination analyzers by dummies92joes
18 Jun 24 i           i i`* Re: Simulating termination analyzers by dummies --- What does halting mean?91olcott
18 Jun 24 i           i i +* Re: Simulating termination analyzers by dummies --- What does halting mean?47joes
18 Jun 24 i           i i i+* Re: Simulating termination analyzers by dummies --- What does halting mean?5olcott
18 Jun 24 i           i i ii`* Re: Simulating termination analyzers by dummies --- What does halting mean?4joes
18 Jun 24 i           i i ii `* Re: Simulating termination analyzers by dummies --- What does halting mean?3olcott
19 Jun 24 i           i i ii  `* Re: Simulating termination analyzers by dummies --- What does halting mean?2joes
19 Jun 24 i           i i ii   `- Re: Simulating termination analyzers by dummies --- test of dishonesty1olcott
18 Jun 24 i           i i i`* Re: Simulating termination analyzers by dummies --- What does halting mean?41olcott
18 Jun 24 i           i i i `* Re: Simulating termination analyzers by dummies --- What does halting mean?40Alan Mackenzie
18 Jun 24 i           i i i  `* Re: Simulating termination analyzers by dummies --- What does halting mean?39olcott
19 Jun 24 i           i i i   `* Re: Simulating termination analyzers by dummies --- What does halting mean?38Alan Mackenzie
19 Jun 24 i           i i i    `* Re: Simulating termination analyzers by dummies --- What does halting mean?37olcott
19 Jun 24 i           i i i     +* Re: Simulating termination analyzers by dummies --- What does halting mean?5joes
19 Jun 24 i           i i i     i`* Re: Simulating termination analyzers by dummies --- The only reply until addressed4olcott
19 Jun 24 i           i i i     i `* Re: Simulating termination analyzers by dummies --- addressed3joes
19 Jun 24 i           i i i     i  `* Re: Simulating termination analyzers by dummies --- --- the only reply until FULLY addressed2olcott
20 Jun 24 i           i i i     i   `- Re: Simulating termination analyzers by dummies --- --- the only reply until FULLY addressed1joes
20 Jun 24 i           i i i     `* Re: Simulating termination analyzers by dummies --- What does halting mean?31Mikko
20 Jun 24 i           i i i      `* Re: Simulating termination analyzers by dummies --- What does halting mean?30olcott
20 Jun 24 i           i i i       `* Re: Simulating termination analyzers by dummies --- What does halting mean?29Mikko
20 Jun 24 i           i i i        `* Re: Simulating termination analyzers by dummies --- What does halting mean?28olcott
21 Jun 24 i           i i i         +- Re: Simulating termination analyzers by dummies --- What does halting mean?1Richard Damon
21 Jun 24 i           i i i         `* Re: Simulating termination analyzers by dummies --- What does halting mean?26Mikko
21 Jun 24 i           i i i          `* Re: Simulating termination analyzers by dummies --- What does halting mean?25olcott
21 Jun 24 i           i i i           +- Re: Simulating termination analyzers by dummies --- What does halting mean?1Richard Damon
22 Jun 24 i           i i i           `* Re: Simulating termination analyzers by dummies --- What does halting mean?23Mikko
22 Jun 24 i           i i i            `* Re: Simulating termination analyzers by dummies --- What does halting mean?22olcott
22 Jun 24 i           i i i             `* Re: Simulating termination analyzers by dummies --- What does halting mean?21Richard Damon
22 Jun 24 i           i i i              `* Re: Simulating termination analyzers by dummies --- criteria is met20olcott
22 Jun 24 i           i i i               +* Re: Simulating termination analyzers by dummies --- criteria is met3Richard Damon
22 Jun 24 i           i i i               i`* Re: Simulating termination analyzers by dummies --- criteria is met2olcott
22 Jun 24 i           i i i               i `- Re: Simulating termination analyzers by dummies --- criteria is met1Richard Damon
22 Jun 24 i           i i i               +- Re: Simulating termination analyzers by dummies --- criteria is met1joes
23 Jun 24 i           i i i               `* Re: Simulating termination analyzers by dummies --- criteria is met15Mikko
23 Jun 24 i           i i i                `* Re: Simulating termination analyzers by dummies --- criteria is met14olcott
19 Jun 24 i           i i +* Re: Simulating termination analyzers by dummies --- What does halting mean?23Richard Damon
19 Jun 24 i           i i `* Re: Simulating termination analyzers by dummies --- What does halting mean?20Fred. Zwarts
19 Jun 24 i           i `- Re: Simulating termination analyzers for dummies1Richard Damon
18 Jun 24 i           `- Re: Simulating termination analyzers for dummies1Python
18 Jun 24 `* Re: Simulating termination analyzers for dummies10Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal