But those are just toy programs (P was just a simple program to show
classical halting to not be useful)
What USEFUL resutls can be gotten with your decider. Based on the
following answers, its hard to see one.
>>
>> You also need to clarify the rules of you computation system, as you
>> have previously commented that it can't obey the "normal" rules used
>> in computability theory.
>
> I believe you are referring to the fact that the halt decider function
> and the intrinsic H(...) are a property of the machine itself, H is much
> like the "move tape left" function of a Turing Machine. The only thing
> "abnormal" about it is that such a function is not included in the
> traditional definition of a Turing Machine.
Your whole model of computation is at significant variance from the
classical theoretical model.
>
>>
>> Also, how does your decider determine if the branch it is following is
>> non-halting.
>
> The way any simulating halt decider would: through the detection of
> repeated state given the machine and its resources are finite in size.
So only able to detect non-halting in machines goig into repeating
loops, and not just that the computation keeps growing unbounded.
A very small set of the problems of normal interest in the theory.
>
> /Flibble