On 2024-01-24 19:10:19 +0000, olcott said:
On 1/24/2024 12:58 PM, immibis wrote:
On 1/24/24 19:56, olcott wrote:
On 1/24/2024 12:53 PM, immibis wrote:
On 1/24/24 19:18, olcott wrote:
On 1/24/2024 12:15 PM, immibis wrote:
On 1/24/24 19:08, olcott wrote:
[nonsense]
The directly executed D(D) reaches a final state and exits normally. >>>>>
The directly executed D(D) reaches a final state and exits normally. >>>>> BECAUSE ANOTHER ASPECT OF THE SAME COMPUTATION HAS BEEN ABORTED,
Thus meeting the correct non-halting criteria if any step of
a computation must be aborted to prevent its infinite execution
then this computation DOES NOT HALT (even if it looks like it does). >>>>>
A program which reaches a final state and exits normally halts.
A program which is aborted does not reach a final state and exit normally. >>>
Infinite recursion that has its second recursive call
aborted superficially seems to halt.
An aborted simulation returns normal control to the simulator.
01 int Infinite_Recursion(u32 N)
02 {
03 Infinite_Recursion(N);
04 return 1;
05 }
When ONLY the recursive invocation is aborted
(H simply skips line 03) then Infinite_Recursion()
returns 1 to its caller.
If Infinite_Recursion returns to its caller it is executed
incorrectly. If incorrect execution is allowed then anuthing
is possible. But the basic theory of computation is only about
correctly performed computations.
Mikko
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)