Re: behaviour and description

Liste des GroupesRevenir à theory 
Sujet : Re: behaviour and description
De : abc (at) *nospam* def.com (olcott)
Groupes : comp.theory
Date : 06. Aug 2024, 19:16:15
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v8tlov$1nl6s$1@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
On 8/6/2024 12:02 PM, joes wrote:
Am Tue, 06 Aug 2024 09:43:30 -0500 schrieb olcott:
Understanding that DDD correctly simulated by HHH cannot possibly reach
its own "return" instruction is a mandatory prerequisite to further
discussion.

There is nothing to discuss after agreeing with your conclusion.
 
Everyone remains convinced that HHH must report on the behavior of the
computation that itself is contained within and not the behavior that
its finite string input specifies.

The construction is not recursive if the description does not describe
the surrounding computation. And that behaviour cannot depend on the
decider, as they should all give the same answer.
 
That is far too vague.
DDD correctly emulated by HHH according to the semantics
of the x86 programming language specifies a single exact
sequence of state changes. None of these state changes
ends up at the x86 machine language address of the "ret"
instruction of DDD.
--
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
10 Nov 24 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal