Liste des Groupes | Revenir à theory |
Am Mon, 29 Jul 2024 11:32:00 -0500 schrieb olcott:On 7/28/2024 3:40 AM, Mikko wrote:On 2024-07-27 14:21:50 +0000, olcott said:On 7/27/2024 2:46 AM, Mikko wrote:in the context of computations, automata, and deciders?On 2024-07-26 16:28:43 +0000, olcott said:
>No decider is ever accountable for the behavior of the computationThat claim is fully unjustified. How do you even define "accountable"
that itself is contained within.Halt deciders report the halt status on the basis of the behavior that aWhich is constructed to be the same as the surrounding computation.
finite string input specifies.
Did you think that halt deciders report the halt status on some otherNo, what do you think the basis was?
basis?
Halt deciders are not allowed to report on the behavior of the actual
computation that they themselves are contained within. They are only
allowed to compute the mapping from input finite strings.
What if the input is the same as the containing computation?It always is except in the case where the decider
Les messages affichés proviennent d'usenet.