Liste des Groupes | Revenir à theory |
On 9/5/2024 2:34 AM, Mikko wrote:We have noticed.On 2024-09-03 13:00:50 +0000, olcott said:DDD emulated by HHH never reaches it final halt state. It looks like IOn 9/3/2024 5:25 AM, Mikko wrote:Nice to see that you don't disagree with what said. Unvortunately IOn 2024-09-02 16:38:03 +0000, olcott said:>
>A halt decider is a Turing machine that computes the mapping from>
its finite string input to the behavior that this finite string
specifies.
A halt decider needn't compute the full behaviour, only whether that
behaviour is finite or infinite.
can't agree with what you say.
HHH terminates, so DDD obviously terminates, too. No valid
C interpretaion of allows DDD to continue forever after HHH jas
terminated.
have to repeat this 10,000 times before anyone ever notices that I said
it at least once.
Show the details of how DDD emulated by HHH reaches its own machineBy HHH returning, which we are guaranteed from its definition as a
address 0000217f.
Les messages affichés proviennent d'usenet.