Re: Every D(D) simulated by H presents non-halting behavior to H ###

Liste des GroupesRevenir à c theory 
Sujet : Re: Every D(D) simulated by H presents non-halting behavior to H ###
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 21. May 2024, 15:54:09
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v2i921$jvcs$5@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 22 23 24 25 26 27 28 29 30 31
User-Agent : Mozilla Thunderbird
On 5/19/2024 8:48 AM, Mikko wrote:
On 2024-05-19 12:34:08 +0000, olcott said:
 
On 5/19/2024 2:53 AM, Mikko wrote:
On 2024-05-18 15:34:36 +0000, James Kuyper said:
>
On 5/18/24 09:02, Mikko wrote:
On 2024-05-17 17:14:01 +0000, olcott said:
>
I recommend ignoring olcott - nothing good ever comes from paying
attention to him.
>
On 5/17/2024 5:53 AM, Mikko wrote:
On 2024-05-16 14:50:19 +0000, olcott said:
>
On 5/16/2024 5:48 AM, Mikko wrote:
On 2024-05-15 15:24:57 +0000, olcott said:
...
typedef int (*ptr)();  // ptr is pointer to int function
00 int H(ptr x, ptr x);
01 int D(ptr x)
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 int main()
10 {
11   H(D,D);
12   return 0;
13 }
>
Can you find any compiler that is liberal enough to accept that?
>
>
It has been fully operational code under Windows and
Linux for two years.
>
If your compiler does not reject that program it is not a conforming
C compiler. The semantics according to C standard is that a diagnostic
message must be given. The standard does not specify what happens if
you execute that program anyway.
>
>
It is not nit picky syntax that is the issue here.
The SEMANTICS OF THE C PROGRAMMING LANGUAGE SPECIFIES
>
No D simulated correctly by any H of every H/D pair specified
by the above template ever reaches its own line 06 and halts.
>
The standard allows that an program is executed but does not
specify what happens when an invalid program is executed.
>
You've cross-posted this to comp.lang.c after a long-running discussion
solely on comp.theory. Presumably you're doing that because you want
some discussion about what the standard says about this code. For the
sake of those of us who have not been following that discussion on
comp.theory, could you please identify what it is that you think renders
this code invalid? Offhand, I don't see anything wrong with it, but I'm
far more reliable when I say "I see an error" than when I say "I don't
see an error".
>
>
Fully operational software that runs under Widows and Linux
proves that the above is true EMPIRICALLY.
>
No, it does not. As the program is not strictly comforming
and uses a non-standard extension some implementation may
execute it differently or refuse to execute.
>
Which non-standard extension does it use?
>
The main question is whether both arguments of H on the line 00 can have
the same name.
>
That was a typo that I did not believe when told because so may people
continue to lie about the behavior of D correctly simulated by H.
 How does the D that is correctly simulated by H different from any
D that is incorrectly simulated by H nor not simulated by H?
 
I initially read that as nonsense.
You are asking for the definition of correct simulation
that I have been providing for quite a while recently.
A c function is correctly simulated when its machine language
instructions are emulated with an x86 emulator in the order
that they are specified by the x86 machine language of this
c function.  For non-terminating functions we can only correctly
simulate N machine language instructions.
For the H/D pair we can simulate 1 to N instructions of D that
results in 0 to M recursive simulations of H simulating itself
simulating 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
5 May 24 * Every D(D) simulated by H presents non-halting behavior to H643olcott
5 May 24 +* Re: Every D(D) simulated by H presents non-halting behavior to H64Richard Damon
5 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
5 May 24 ii`- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
5 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H43olcott
5 May 24 ii`* Re: Every D(D) simulated by H presents non-halting behavior to H42Richard Damon
5 May 24 ii +* Re: Every D(D) simulated by H presents non-halting behavior to H18olcott
5 May 24 ii i`* Re: Every D(D) simulated by H presents non-halting behavior to H17Richard Damon
6 May 24 ii i `* Re: Every D(D) simulated by H presents non-halting behavior to H16olcott
6 May 24 ii i  +* Re: Every D(D) simulated by H presents non-halting behavior to H11Richard Damon
6 May 24 ii i  i+* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii i  ii`* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii i  ii `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii i  ii  `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii i  i  `* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii i  i   `* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii i  i    `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
7 May 24 ii i  i     `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii i  `* Re: Every D(D) simulated by H presents non-halting behavior to H4Mikko
6 May 24 ii i   `* Re: Every D(D) simulated by H presents non-halting behavior to H3olcott
7 May 24 ii i    +- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
7 May 24 ii i    `- Re: Every D(D) simulated by H presents non-halting behavior to H1Mikko
6 May 24 ii `* Re: Every D(D) simulated by H presents non-halting behavior to H23olcott
6 May 24 ii  +- Re: Every D(D) simulated by H presents non-halting behavior to H --- typo1olcott
6 May 24 ii  `* Re: Every D(D) simulated by H presents non-halting behavior to H21Richard Damon
6 May 24 ii   +* Re: Every D(D) simulated by H presents non-halting behavior to H10olcott
6 May 24 ii   i`* Re: Every D(D) simulated by H presents non-halting behavior to H9Richard Damon
6 May 24 ii   i +* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii   i i`- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   i `* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii   i  `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii   i   `* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii   i    `* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii   i     `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
7 May 24 ii   i      `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   +* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii   i`* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii   i `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii   i  `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   `* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii    `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii     `* Re: Every D(D) simulated by H presents non-halting behavior to H ---4olcott
6 May 24 ii      `* Re: Every D(D) simulated by H presents non-halting behavior to H ---3Richard Damon
6 May 24 ii       `* Re: Every D(D) simulated by H presents non-halting behavior to H ---2olcott
7 May 24 ii        `- Re: Every D(D) simulated by H presents non-halting behavior to H ---1Richard Damon
5 May 24 i`* Re: Every D(D) simulated by H presents non-halting behavior to H18olcott
5 May 24 i +* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
5 May 24 i i`* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 i i `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
7 May 24 i `* Re: Every D(D) simulated by H presents non-halting behavior to H14immibis
7 May 24 i  `* Re: Every D(D) simulated by H presents non-halting behavior to H +++13olcott
7 May 24 i   +* Re: Every D(D) simulated by H presents non-halting behavior to H +++10Richard Damon
7 May 24 i   i+* Re: Every D(D) simulated by H presents non-halting behavior to H +++8olcott
7 May 24 i   ii`* Re: Every D(D) simulated by H presents non-halting behavior to H +++7Richard Damon
7 May 24 i   ii `* Re: Every D(D) simulated by H presents non-halting behavior to H +++6olcott
7 May 24 i   ii  `* Re: Every D(D) simulated by H presents non-halting behavior to H +++5Richard Damon
7 May 24 i   ii   `* Re: Every D(D) simulated by H presents non-halting behavior to H +++4olcott
7 May 24 i   ii    `* Re: Every D(D) simulated by H presents non-halting behavior to H +++3Richard Damon
7 May 24 i   ii     `* Re: Every D(D) simulated by H presents non-halting behavior to H +++2olcott
8 May 24 i   ii      `- Re: Every D(D) simulated by H presents non-halting behavior to H +++1Richard Damon
9 May 24 i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H +++1immibis
9 May 24 i   `* Re: Every D(D) simulated by H presents non-halting behavior to H +++2immibis
9 May 24 i    `- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1olcott
6 May 24 +* Re: Every D(D) simulated by H presents non-halting behavior to H577Mikko
6 May 24 i`* Re: Every D(D) simulated by H presents non-halting behavior to H576olcott
7 May 24 i +* Re: Every D(D) simulated by H presents non-halting behavior to H45Richard Damon
7 May 24 i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===44olcott
7 May 24 i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===43Richard Damon
7 May 24 i i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===42olcott
7 May 24 i i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===41Richard Damon
7 May 24 i i    `* Re: Every D(D) simulated by H presents non-halting behavior to H ===40olcott
7 May 24 i i     +* Re: Every D(D) simulated by H presents non-halting behavior to H ===38Richard Damon
7 May 24 i i     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===37olcott
7 May 24 i i     i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===36Richard Damon
7 May 24 i i     i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ===6olcott
8 May 24 i i     i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===5Richard Damon
8 May 24 i i     i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===4olcott
8 May 24 i i     i  i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===3Richard Damon
8 May 24 i i     i  i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
8 May 24 i i     i  i    `- Re: Every D(D) simulated by H presents non-halting behavior to H ===1Richard Damon
7 May 24 i i     i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===29olcott
8 May 24 i i     i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===28Richard Damon
8 May 24 i i     i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ===23olcott
8 May 24 i i     i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===22Richard Damon
8 May 24 i i     i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===21olcott
8 May 24 i i     i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===20Richard Damon
8 May 24 i i     i    i   `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@19olcott
8 May 24 i i     i    i    +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@11olcott
8 May 24 i i     i    i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H @@@10Richard Damon
8 May 24 i i     i    i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@9olcott
9 May 24 i i     i    i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@8Richard Damon
9 May 24 i i     i    i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2olcott
9 May 24 i i     i    i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1Richard Damon
9 May 24 i i     i    i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2olcott
9 May 24 i i     i    i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1Richard Damon
9 May 24 i i     i    i    i   `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@3olcott
9 May 24 i i     i    i    i    `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2Richard Damon
9 May 24 i i     i    i    i     `- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1joes
8 May 24 i i     i    i    `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@7Richard Damon
8 May 24 i i     i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
8 May 24 i i     i    `* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
9 May 24 i i     `- Re: Every D(D) simulated by H presents non-halting behavior to H ===1immibis
7 May 24 i `* Re: Every D(D) simulated by H presents non-halting behavior to H530Mikko
7 May 24 `- Re: Every D(D) simulated by H presents non-halting behavior to H1immibis

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal