Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH

Liste des GroupesRevenir à c theory 
Sujet : Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 28. Feb 2025, 05:25:06
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vprdr3$3gqpb$4@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
User-Agent : Mozilla Thunderbird
On 2/27/2025 7:00 PM, Richard Damon wrote:
On 2/27/25 3:18 PM, olcott wrote:
On 2/27/2025 3:58 AM, Fred. Zwarts wrote:
Op 27.feb.2025 om 05:49 schreef olcott:
On 2/26/2025 10:12 AM, Fred. Zwarts wrote:
Op 26.feb.2025 om 15:45 schreef olcott:
On 2/26/2025 3:29 AM, joes wrote:
Am Tue, 25 Feb 2025 20:13:43 -0600 schrieb olcott:
On 2/25/2025 5:41 PM, Richard Damon wrote:
>
>
The behavior of DD emulated by HHH only refers to DD and the fact that
HHH emulates this DD.
On on hand, the simulator can have no influence on the execution.
>
On the other, that same simulator is part of the program.
You don't understand this simple entanglement.
>
>
Unless having no influence causes itself to
never terminate then the one influence that
it must have is stopping the emulation of this input.
>
>
>
If the influence is that it does not complete the simulation, but aborts it, then the programmer should understand that the simulated simulation has the same behaviour, causing halting behaviour.
>
We have only been talking abort normal termination of a
C function for several weeks. Perhaps you have no
idea what "normal termination" means.
>
It seems that Olcott does not understand the terminology. It has been proven by direct execution that the finite string given to HHH describes a program that terminates normally.
>
>
>
That HHH is unable to reach this normally termination is a failure of HHH. This failure of HHH does not change the behaviour described by this finite string.
>
>
Aborting a program with halting behaviour
>
We have not been talking about halting for a long
time. This term has proven to be far too vague.
Normal termination of a C function means reaching
its "return" instruction. Zero vagueness.
>
Introducing the concept of aborting a program before it can reach its return instruction to prove its 'non-termination' makes it even more vague.
>
>
>
 does not change it into non- halting. It is childish to claim that when you close your eyes, things do not happen.
>
You can't even keep track of what we are talking about.
>
>
Change of subject to avoid a honest discussion.
It is childish to claim that things do not happen when you close your eyes.
>
>
When I say that DD emulated by HHH cannot terminate
normally it is flat out dishonest to say that I am
wrong based on another different DD that has different behavior.
>
 That claim is just flat out dishonest, and proves you don't understand the meaning of the words you are using.
 
DD emulated by HHH explicitly excludes directly executed DD
that has a different execution trace.
It has always been ridiculously stupid for anyone
to expect HHH to report on any behavior besides
the behavior that its finite string input specifies.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
14 Feb 25 * Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH420olcott
14 Feb 25 +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH137Richard Damon
14 Feb 25 i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH136olcott
14 Feb 25 i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH131joes
15 Feb 25 i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH130olcott
15 Feb 25 i i +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
15 Feb 25 i i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH128joes
16 Feb 25 i i  `* DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN127olcott
16 Feb 25 i i   +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
16 Feb 25 i i   +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
16 Feb 25 i i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN124joes
16 Feb 25 i i    +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3olcott
16 Feb 25 i i    i+- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
16 Feb 25 i i    i`- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Fred. Zwarts
20 Feb 25 i i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN120olcott
20 Feb 25 i i     +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN31Mikko
20 Feb 25 i i     i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN30olcott
21 Feb 25 i i     i +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
21 Feb 25 i i     i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN28Mikko
21 Feb 25 i i     i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN27olcott
22 Feb 25 i i     i   +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
22 Feb 25 i i     i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN25Mikko
22 Feb 25 i i     i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN24olcott
22 Feb 25 i i     i     +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3joes
22 Feb 25 i i     i     i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN2olcott
23 Feb 25 i i     i     i `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
23 Feb 25 i i     i     +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
23 Feb 25 i i     i     `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN19Mikko
23 Feb 25 i i     i      `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN18olcott
24 Feb 25 i i     i       +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
24 Feb 25 i i     i       `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN16Mikko
25 Feb 25 i i     i        `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN15olcott
25 Feb 25 i i     i         +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
25 Feb 25 i i     i         +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1dbush
25 Feb 25 i i     i         +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3joes
25 Feb 25 i i     i         i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN2olcott
25 Feb 25 i i     i         i `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1joes
25 Feb 25 i i     i         +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Fred. Zwarts
25 Feb 25 i i     i         `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN8Mikko
25 Feb 25 i i     i          `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN7olcott
26 Feb 25 i i     i           +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN5Richard Damon
26 Feb 25 i i     i           i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN4olcott
26 Feb 25 i i     i           i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3Richard Damon
26 Feb 25 i i     i           i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN2olcott
26 Feb 25 i i     i           i   `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
26 Feb 25 i i     i           `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Mikko
20 Feb 25 i i     +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN87joes
22 Feb 25 i i     i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN86olcott
22 Feb 25 i i     i +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN84joes
22 Feb 25 i i     i i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy83olcott
22 Feb 25 i i     i i +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy67dbush
22 Feb 25 i i     i i i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy66olcott
22 Feb 25 i i     i i i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy65dbush
22 Feb 25 i i     i i i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy64olcott
22 Feb 25 i i     i i i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy63dbush
22 Feb 25 i i     i i i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy62olcott
22 Feb 25 i i     i i i     `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy61dbush
22 Feb 25 i i     i i i      `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy60olcott
22 Feb 25 i i     i i i       `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy59dbush
22 Feb 25 i i     i i i        `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy58olcott
22 Feb 25 i i     i i i         `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy57dbush
22 Feb 25 i i     i i i          `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy56olcott
22 Feb 25 i i     i i i           `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy55dbush
23 Feb 25 i i     i i i            `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy54olcott
23 Feb 25 i i     i i i             +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy52dbush
23 Feb 25 i i     i i i             i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy51olcott
23 Feb 25 i i     i i i             i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy50dbush
24 Feb 25 i i     i i i             i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy49olcott
24 Feb 25 i i     i i i             i   +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy47dbush
24 Feb 25 i i     i i i             i   i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy46olcott
24 Feb 25 i i     i i i             i   i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy45dbush
24 Feb 25 i i     i i i             i   i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy44olcott
24 Feb 25 i i     i i i             i   i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy43dbush
24 Feb 25 i i     i i i             i   i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy42olcott
24 Feb 25 i i     i i i             i   i     `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy41dbush
24 Feb 25 i i     i i i             i   i      `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy40olcott
24 Feb 25 i i     i i i             i   i       +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy37dbush
24 Feb 25 i i     i i i             i   i       i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy36olcott
24 Feb 25 i i     i i i             i   i       i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy35dbush
24 Feb 25 i i     i i i             i   i       i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy34olcott
24 Feb 25 i i     i i i             i   i       i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy33dbush
24 Feb 25 i i     i i i             i   i       i    +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy2dbush
24 Feb 25 i i     i i i             i   i       i    i`- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1olcott
24 Feb 25 i i     i i i             i   i       i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy30olcott
24 Feb 25 i i     i i i             i   i       i     `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy29dbush
24 Feb 25 i i     i i i             i   i       i      `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy28olcott
24 Feb 25 i i     i i i             i   i       i       +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy2joes
25 Feb 25 i i     i i i             i   i       i       i`- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1olcott
24 Feb 25 i i     i i i             i   i       i       `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy25dbush
25 Feb 25 i i     i i i             i   i       i        `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy24olcott
25 Feb 25 i i     i i i             i   i       i         +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy22dbush
25 Feb 25 i i     i i i             i   i       i         i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy21olcott
25 Feb 25 i i     i i i             i   i       i         i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy20dbush
25 Feb 25 i i     i i i             i   i       i         i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy19olcott
25 Feb 25 i i     i i i             i   i       i         i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy18dbush
25 Feb 25 i i     i i i             i   i       i         i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy17olcott
25 Feb 25 i i     i i i             i   i       i         i     `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy16dbush
25 Feb 25 i i     i i i             i   i       i         i      +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy13olcott
25 Feb 25 i i     i i i             i   i       i         i      i+* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy11dbush
25 Feb 25 i i     i i i             i   i       i         i      ii`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy10olcott
25 Feb 25 i i     i i i             i   i       i         i      ii `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy9dbush
25 Feb 25 i i     i i i             i   i       i         i      i`- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1joes
25 Feb 25 i i     i i i             i   i       i         i      `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy2olcott
25 Feb 25 i i     i i i             i   i       i         `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1joes
24 Feb 25 i i     i i i             i   i       `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy2joes
24 Feb 25 i i     i i i             i   `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1dbush
23 Feb 25 i i     i i i             `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1Richard Damon
22 Feb 25 i i     i i +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1joes
23 Feb 25 i i     i i +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1Richard Damon
23 Feb 25 i i     i i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy13Mikko
22 Feb 25 i i     i `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
20 Feb 25 i i     `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
14 Feb 25 i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH4Richard Damon
14 Feb 25 `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH282Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal